The Community for Technology Leaders
Proceedings of the Thirtieth 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)

Peter Bach , Universitat des Saarlandes, FB14 Informatik, 66041 Saarbrucken, Germany
Michael Braun , 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
Thomas Grun , Universitat des Saarlandes, FB14 Informatik, 66041 Saarbrucken, Germany
Cedric Lichtenau , 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
Mikael Sjodin , Dept. of Computer Systems, Uppsala University
Ken Tindell , Dept. of Computer Systems, Uppsala University
pp. 44

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

Garret Okamoto , The University of Texas at Austin
Guanghan Xu , 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)

Keiko TAKAHASHI , 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
Shigenobu KOBAYASHI , Dept. of Computational Intelligence and Systems Science, Tokyo Institute of Technology
pp. 89

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

Fabio A. Schreiber , Dipartimento di Elettronica e Informazione - Politecnico di Milano
Marcello L. Falleni , 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
Tino Pyssysalo , Helsinki University of Technology
Leo Ojala , 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)

Tangny Le Quenven , Electncitk De France Research Division Power Plant Control Department
Alexander Hayward , 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)

Enzo Mumolo , Universita' di Trieste, Via Valerio 10, 34127 Trieste
Giulia Bernardis , 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)

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

Spinoza: A Stereoscopic Visually Guided Mobile Robot (PDF)

Vladimir Tucakov , University of British Columbia
Michael Sahota , University of British Columbia
Don Murray , University of British Columbia
Alan Mackworth , University of British Columbia
Jim Little , University of British Columbia
Stewart Kingdon , University of British Columbia
Cullen Jennings , University of British Columbia
Rod Barman , 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
Giacomo Sechi , Tecnologie Relative, Italy
Riccardo Mazzei , Universita' di Milano
Francesco Tisato , Universita' di Milano
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)

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

Quality of Service in Heterogeneous Distributed Systems (PDF)

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

Verification of a Distributed Computing (PDF)

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
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
pp. 252

Verifying Resilient Software (PDF)

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

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

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

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

Tien-fu Chang , China Steel Corporation, Taipei, Taiwan
Alejandro Danylyzsn , Deloitte Touche LLP, San Francisco, CA
So Norimatsu , Nomura Research Institute, Ltd., Tokyo, Japan
Jose Rivera , Bunco de la Republics de Columbia, Bogata, Colombia
David Shepard , Digital Equipment Corporation, Waltham, Massachusetts
Anthony Lattanze , United States Air Force, Edwards AFB, CA.
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)

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

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

Gerd Kamp , University of Hamburg, Vogt-Kolln-Str.30, D-22527 Hamburg
Bernd Neumann , 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)

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

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

Pirkko Walden , Institute for Advanced Management Systems Research, ?bo Akademi University
Christer Carlsson , Institute for Advanced Management Systems Research, ?bo Akademi University
Ossi Kokkone , 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
Christopher Henderson , The University of Georgia
Zachary Hunter , The University of Georgia
pp. 354

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

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

A Modal Logic for Reasoning about Belief (PDF)

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

Logic Modeling (PDF)

pp. 393

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

Hemant K. Bhargava , Naval Postgraduate School
Ramayya Krishnan , Carnegie Mellon University
Stephen Roehrig , Carnegie Mellon University
Michael Casey , Naval Postgraduate School
David Kaplan , Carnegie Mellon University
Rudolf Muller , Humboldt-Universitat Berlin
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
Thomas L. Paez , Department of Experimental Structural Dynamics
Gautam Vora , Department of Finance, International and Technology Management
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)

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

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

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

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

M.Y. Kiang , Arizona State University
U.R. Kulkarni , Arizona State University
M. Goul , Arizona State University
R.T. Chi , California State University at Long Beach
E. Turban , California State University at Long Beach
A. Philippakis , 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)

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

A Neural-Fuzzy System for Forecasting (PDF)

Zuohong Pan , Western Connecticut State Univ.
Xiaodi Liu , Wayne State University
Olugbenga Mejabi , Wayne State University
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)

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

MinISO: A Minimal Independent System Operator (PDF)

Pravin Varaiya , University of California, Berkeley, CA 94720
Felix Wu , 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)

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

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

Yong Tian , Univ. of Illinois at Urbana-Champaign
George Gross , 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
David J. Hill , University of Sydney, Australia
Jovica V. Milanovic , Engineering, University of Tasmania
pp. 648

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

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

Author Index (PDF)

pp. 710
92 ms
(Ver 3.3 (11022016))