The Community for Technology Leaders
2014 47th Hawaii International Conference on System Sciences (1997)
Maui, Hawaii
Jan. 3, 1997 to Jan. 6, 1997
ISSN: 1060-3425
ISBN: 0-8186-7743-0
TABLE OF CONTENTS

Preface (PDF)

pp. x

Introduction (PDF)

pp. xi

Referees (PDF)

pp. xii
Engineering Complex Computer Systems

Building the 4 Processor SB-PRAM Prototype (PDF)

Thomas Grun , Universitat des Saarlandes, FB14 Informatik, 66041 Saarbrucken, Germany
Arno Formella , Universitat des Saarlandes, FB14 Informatik, 66041 Saarbrucken, Germany
Jorg Friedrich , Universitat des Saarlandes, FB14 Informatik, 66041 Saarbrucken, Germany
Cedric Lichtenau , Universitat des Saarlandes, FB14 Informatik, 66041 Saarbrucken, Germany
Peter Bach , Universitat des Saarlandes, FB14 Informatik, 66041 Saarbrucken, Germany
Michael Braun , Universitat des Saarlandes, FB14 Informatik, 66041 Saarbrucken, Germany
pp. 14

Communication Support for Critical Distributed Multimedia Applications: an Experimental Study (PDF)

Fabio Panzieri , Dipartimento di Scienze dell?Informazione, Universita di Bologna
Marco Roccetti , Dipartimento di Scienze dell?Informazione, Universita di Bologna
pp. 34

Guaranteeing Real-Time Traffic Through an ATM Network (PDF)

Hans Hansson , Dept. of Computer Systems, Uppsala University
Ken Tindell , Dept. of Computer Systems, Uppsala University
Mikael Sjodin , Dept. of Computer Systems, Uppsala University
pp. 44

Multimedia Communications over Wireless LANs via the SWL Protocol (PDF)

Guanghan Xu , The University of Texas at Austin
Garret Okamoto , The University of Texas at Austin
pp. 54

Conceptual Model for a Software Maintenance Environment (PDF)

Miriam. A. M. Capretz , University of Aizu Aizu-Wakamatsu City
pp. 64

Towards Program Debugging and Dynamic Reverse Engineering Using Multi-procedure Program Dynamic Decomposition (PDF)

Habib Ammari , University of Tunis, Telecommunications Institute of Tunis, Department of Computer Science
pp. 71

Recovery of Functional Dependencies from Data-Intensive Business Programs (PDF)

Hee Beng Kuan Tan , National University of Singapore
Tok Wang Ling , National University of Singapore
pp. 81

An Efficient Genetic Algorithm for Reachability Problems (PDF)

Shigenobu KOBAYASHI , Dept. of Computational Intelligence and Systems Science, Tokyo Institute of Technology
Isao ONO , Dept. of Computational Intelligence and Systems Science, Tokyo Institute of Technology
Hiroshi SATOH , Dept. of Computational Intelligence and Systems Science, Tokyo Institute of Technology
Keiko TAKAHASHI , Dept. of Computational Intelligence and Systems Science, Tokyo Institute of Technology
pp. 89

Analysis of Data Transmission Performance over a GSM Cellular Network (PDF)

Marcello L. Falleni , Dipartimento di Elettronica e Informazione - Politecnico di Milano
Fabio A. Schreiber , Dipartimento di Elettronica e Informazione - Politecnico di Milano
pp. 99

Performance Analysis of Adaptive Video on Demand Using Stochastic Petri Nets (PDF)

Olli-Matti Penttinen , Helsinki University of Technology
Leo Ojala , Helsinki University of Technology
Tino Pyssysalo , Helsinki University of Technology
pp. 119

A Case Study in Developing Complex Safety Critical Systems (PDF)

Bernd J. Kramer , FernUniversitat Hagen, 58084 Hagen, Germany
pp. 135

Use of Optimization and Simulation in the Implementation of the Process (PDF)

Alexander Hayward , Electncitk De France Research Division Power Plant Control Department
Tangny Le Quenven , Electncitk De France Research Division Power Plant Control Department
pp. 144

A Novel Demand Prefetching Algorithm Based on Volterra Adaptive Prediction for Virtual Memory Management Systems (PDF)

Giulia Bernardis , Universita' di Trieste, Via Valerio 10, 34127 Trieste
Enzo Mumolo , Universita' di Trieste, Via Valerio 10, 34127 Trieste
pp. 160

Performance Analysis of Re-configurable Partitioned TLBs (PDF)

David Channon , University of Newcastle, NSW 2308, Australia
David Koch , University of Newcastle, NSW 2308, Australia
pp. 168

INTEGRATING REAL-TIME VISION AND MANIPULATION (PDF)

Peter K. Allen , Department of Computer Science, Columbia University, New York, NY 10027
Billibon H. Yoshimi , Department of Computer Science, Columbia University, New York, NY 10027
pp. 178

Spinoza: A Stereoscopic Visually Guided Mobile Robot (PDF)

Rod Barman , University of British Columbia
Cullen Jennings , University of British Columbia
Don Murray , University of British Columbia
Vladimir Tucakov , University of British Columbia
Michael Sahota , University of British Columbia
Alan Mackworth , University of British Columbia
Stewart Kingdon , University of British Columbia
Jim Little , University of British Columbia
pp. 188

Open Transnational System for Digital Currency Payments (PDF)

Stig F. Mj?lsnes , SINTEF Telecom and Informatics
Rolf Michelsen , SINTEF Telecom and Informatics
pp. 198

Broadcast Automata: a Parallel Scalable Architecture for Prototypal Embedded Processors for Space Applications (PDF)

Monica Alderighi , Tecnologie Relative, Italy
Riccardo Mazzei , Universita' di Milano
Francesco Tisato , Universita' di Milano
Giacomo Sechi , Tecnologie Relative, Italy
pp. 208

Use Case Maps for Engineering Real Time and Distributed Computer (PDF)

R. J. A. Buhr , Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada
A. Hubbard , Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada
pp. 218

An Information Exchange Protocol in a Multi-Layer Distributed Architecture (PDF)

Renato Zaccaria , D.I.S.T., University of Genoa
Maurizio Piaggio , D.I.S.T., University of Genoa
pp. 230

Quality of Service in Heterogeneous Distributed Systems (PDF)

Aruna Seneviratne , University of Technology, Sydney, Australia, Ph
Christophe Diot , INRIA Sophia Antipolis, France, Ph.
pp. 238
Techniques for Safety Critical Software Develoopment

Verification of a Distributed Computing (PDF)

Karl Levitt , Department of Computer Science, University of California, Davis, CA 95616
Ronald A. Olsson , Department of Computer Science, University of California, Davis, CA 95616
Cui Zhangy , Department of Computer Science, University of California, Davis, CA 95616
Brian R. Becker , Department of Computer Science, University of California, Davis, CA 95616
Dave Peticolas , Department of Computer Science, University of California, Davis, CA 95616
Mark Heckman , Department of Computer Science, University of California, Davis, CA 95616
pp. 252

Verifying Resilient Software (PDF)

P. J. Windley , Brigham Young University
P. E. Black , Brigham Young University
pp. 262

Test-Linked Specification For Safety-Critical Software (PDF)

Myron Hecht , Beverly Hills, California
Herbert Hecht , Beverly Hills, California
pp. 267

"Continuous Verification" in Mission Critical Software Development (PDF)

Anthony Lattanze , United States Air Force, Edwards AFB, CA.
Jose Rivera , Bunco de la Republics de Columbia, Bogata, Colombia
Alejandro Danylyzsn , Deloitte Touche LLP, San Francisco, CA
So Norimatsu , Nomura Research Institute, Ltd., Tokyo, Japan
David Shepard , Digital Equipment Corporation, Waltham, Massachusetts
Tien-fu Chang , China Steel Corporation, Taipei, Taiwan
Dr. James Tomayko , School of Computer Science, Carnegie Mellon University, PA.
pp. 273
Emerging Paradingms for Intelligent Systems

The Voting-Type Technique in the Refinement of Multiple Expert Knowledge (PDF)

Vagan Terziyan , Kharkov Technical University, Ukraine
Seppo Puuronen , University of Jyvaskyla, Finland
pp. 287

Knowledge-based Inference Methods for Modeling Technical Systems (PDF)

Bernd Neumann , University of Hamburg, Vogt-Kolln-Str.30, D-22527 Hamburg
Gerd Kamp , University of Hamburg, Vogt-Kolln-Str.30, D-22527 Hamburg
pp. 297

Decision Support for Strategic Management in a Hyperknowledge Environment and The Holistic Concept of Man (PDF)

Ai-Mei Chang , National Defence University
Hannu Vanharanta , Lappeenranta University of Technology
Pekka Pihlanto , Finance, Turku School of Economics and Business Administration
pp. 307

Hyperknowledge in Practice - Users? Attitudes to Active DSS (PDF)

Ossi Kokkone , Institute for Advanced Management Systems Research, ?bo Akademi University
Christer Carlsson , Institute for Advanced Management Systems Research, ?bo Akademi University
Pirkko Walden , Institute for Advanced Management Systems Research, ?bo Akademi University
pp. 317
Logic Modeling

Logic Modeling (PDF)

pp. 335

Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines (PDF)

F. Dignum , Eindhoven University of Technology
R. Kuiper , Eindhoven University of Technology
pp. 336

Formalizing Perspectival Defeasible Reasoning (PDF)

Hong-Gee Kim , The University of Georgia, Athens, GA 30602, U.S.A
pp. 347

d-Graph: An Argument-Based System Incorporating Defensible Graphs (PDF)

Donald Nute , The University of Georgia
Zachary Hunter , The University of Georgia
Christopher Henderson , The University of Georgia
pp. 354

Towards a Logic Model for Object-Oriented Systems Analysis and Design (PDF)

William J. Vachula , University of Pennsylvania
Steven O. Kimbrough , University of Pennsylvania
pp. 363

A Modal Logic for Reasoning about Belief (PDF)

Chang Huang , University of Georgia
William C. Rounds , University of Michigan
Guo-Qiang Zhang , University of Georgia
pp. 383
Modeling and Decision Technologies

Logic Modeling (PDF)

pp. 393

Model Management in Electronic Markets for Decision Technologies: A Software Agent Approach (PDF)

Rudolf Muller , Humboldt-Universitat Berlin
Ramayya Krishnan , Carnegie Mellon University
David Kaplan , Carnegie Mellon University
Hemant K. Bhargava , Naval Postgraduate School
Stephen Roehrig , Carnegie Mellon University
Michael Casey , Naval Postgraduate School
pp. 405
Complex and Chaotic Systems

Conditional Market Segmentation by Neural Networks (PDF)

Martin Natter , Vienna University of Economics Business Administration
pp. 455

An Application of Neural Network and Rule-Based System for Network Management: Application Level Problems (PDF)

Nittida Nuansri , Department of Computer Science and Computer Engineering
Tharam S. Dillon , Department of Computer Science and Computer Engineering
Samar Singh , Department of Computer Science and Computer Engineering
pp. 474

Investment Decisions Using Genetic Algorithms (PDF)

Suleiman K. Kassicieh , University of New Mexico, Albuquerque, NM 87131
Gautam Vora , Department of Finance, International and Technology Management
Thomas L. Paez , Department of Experimental Structural Dynamics
pp. 484

State Analysis of Nonlinear Systems Using Local Canonical Variate Analysis (PDF)

Norman F. Hunter , Mechanical Testing Section Los Alamos National Laboratory
pp. 491

STATISTICAL VALIDATION OF SYSTEM MODELS (PDF)

Luis E. Perez , The University of Texas at El Paso
Norman F. Hunter , Los Alamos National Laboratory
Patrick Barney , Sandia Nationul Laboratories
Thomas L. Paez , Sandia Nationul Laboratories
pp. 501

Use of Artificial Neural Networks for Engineering Analysis of Complex Physical Systems (PDF)

Ronald Rodeman , Sandia National
Thomas L. Paez , Sandia National
Chris O'German , Sandia National
Brad Altman , Sandia National
Allan Benjamin , Sandia Nationul
pp. 511

Improving the Effectiveness of Self-Organizing Map Networks Using a Circular Kohonen Layer (PDF)

R.T. Chi , California State University at Long Beach
E. Turban , California State University at Long Beach
A. Philippakis , Arizona State University
M.Y. Kiang , Arizona State University
U.R. Kulkarni , Arizona State University
M. Goul , Arizona State University
pp. 521

Regime Signaling Techniques for Non-stationary Time Series (PDF)

Zoran Obradovi , School of Electrical Engineering and Computer Science
pp. 530

Genetic Storms: Investigating the Gulf War Syndrome (PDF)

David L. Jacobson , Naval Postgraduate School Monterey CA 93943
Hemant K. Bhargava , Naval Postgraduate School Monterey CA 93943
pp. 539

A Neural-Fuzzy System for Forecasting (PDF)

Olugbenga Mejabi , Wayne State University
Xiaodi Liu , Wayne State University
Zuohong Pan , Western Connecticut State Univ.
pp. 549
Restructuring the Electric Power Industry: Emerging Issues, Methods and Tools

Unbundling Power Quality Services: Technical Issues (PDF)

Robert Lasseter , University of Wisconsin-Madison
pp. 581

Technical Challenges of Computing Available Transfer Capability (ATC) (PDF)

A Peter W. Sauer , University of Illinois at Urbana-Champaign
pp. 589

Volatility of Unit Commitment in Competitive Electricity Markets (PDF)

Raymond B. Johnson , Pacific Gas and Electric Co.
Shmuel S. Oren , University of California at Berkeley
Alva J. Svoboda , Consultant to Pacific Gas and Electric Co.
pp. 594

MinISO: A Minimal Independent System Operator (PDF)

Felix Wu , University of California, Berkeley, CA 94720
Pravin Varaiya , University of California, Berkeley, CA 94720
pp. 602

Electric Utility Industry Restructuring and its Impact on Power Engineering Education (PDF)

Mark J. Kempker , Indianapolis Power & Light Company
Niusha Rostamkolai , Rose-Hulman Institute of Technology
pp. 615

Peak-load Pricing for Electric Power Transmission (PDF)

Marija D. Ilie , Massachusetts Institute of Technology
Benoit S. Lecinq , Massachusetts Institute of Technology,
pp. 624

Simulation of the Multi-Node Open Access Same-Time Information System (PDF)

George Gross , Univ. of Illinois at Urbana-Champaign
Yong Tian , Univ. of Illinois at Urbana-Champaign
pp. 641

Effect of Load Uncertainty on Small Disturbance Stability Margins in Open-Access Power Systems (PDF)

Yuri V. Makarov , University of Sydney, Australia
Jovica V. Milanovic , Engineering, University of Tasmania
David J. Hill , University of Sydney, Australia
pp. 648

Computing the Aperiodic and Oscillatory Small Signal Stability Boundaries in Modern Power Grids (PDF)

David J. Hill , The University of Sydney
Zhao Yang Dong , The University of Sydney
Yuri V. Makarov , The University of Sydney
pp. 668
Author Index-Volumes I, II, III, IV, and VI
Author Index

Author Index (PDF)

pp. 710
95 ms
(Ver 3.1 (10032016))