The Community for Technology Leaders
Proceedings of the Thirtieth Hawaii International Conference on System Sciences (1997)
Wailea, HI, USA
Jan. 7, 1997 to Jan. 10, 1997
ISSN: 1060-3425
ISBN: 0-8186-7743-0
TABLE OF CONTENTS

Introduction to the Minitrack on Engineering Complex Computer Systems (PDF)

A. Broggi , New Jersey Institute of Technology Newark, New Jersey
pp. 2,3

Advanced techniques for maintaining reliability of complex computer systems (PDF)

A.S. Lim , Dept. of Comput. Sci., Clark Atlanta Univ., GA, USA
pp. 4-13

Building the 4 processor SB-PRAM prototype (PDF)

P. Bach , Fachbereich Inf., Saarlandes Univ., Saarbrucken, Germany
pp. 14-23

Distributed route initialization algorithms for the Monash Secure RISC Multiprocessor (PDF)

V.J. Fazio , Dept. of Comput. Sci., Monash Univ., Clayton, Vic., Australia
pp. 24-33

Guaranteeing real-time traffic through an ATM network (PDF)

H. Hansson , Dept. of Comput. Syst., Uppsala Univ., Sweden
pp. 44-53

Multimedia communications over wireless LANs via the SWL protocol (PDF)

G. Okamoto , Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
pp. 54-63

Conceptual model for a software maintenance environment (Abstract)

M.A.M. Capretz , Software Eng. Lab, Univ. of Aizu, Aizu-Wakamatsu City, Japan
pp. 64,65,66,67,68,69,70

Recovery of functional dependencies from data-intensive business programs (PDF)

Hee Beng Kuan Tan , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 81-88

An efficient genetic algorithm for reachability problems (PDF)

K. Takahashi , Dept. of Comput. Intelligence & Syst. Sci., Tokyo Inst. of Technol., Japan
pp. 89-98

Analysis of data transmission performance over a GSM cellular network (PDF)

F.A. Schreiber , Dipt. di Elettronica e Inf., Politecnico di Milano, Italy
pp. 99-108

Performance analysis of adaptive video on demand using stochastic Petri nets (PDF)

O.-M. Penttinen , Digital Syst. Lab., Helsinki Univ. of Technol., Espoo, Finland
pp. 119-124

Performance-power optimization of memory components for complex embedded systems (PDF)

C.H. Gebotys , Dept. of Electr. & Comput. Eng., Waterloo Univ., Ont., Canada
pp. 152-159

Performance analysis of re-configurable partitioned TLBs (PDF)

D. Channon , Dept. of Comput. Sci. & Software Eng., Newcastle Univ., NSW, Australia
pp. 168-177

Integrating real-time vision and manipulation (PDF)

B.H. Yoshimi , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
pp. 178-187

Spinoza: a stereoscopic visually guided mobile robot (PDF)

V. Tucakov , Dept. of Comput. Sci., British Columbia Univ., Vancouver, BC, Canada
pp. 188-197

Quality of service in heterogeneous distributed systems (PDF)

C. Diot , Inst. Nat. de Recherche en Inf. et Autom., Sophia Antipolis, France
pp. 238-247

Techniques For Safety Critical Software Development (PDF)

J.D. Kiper , Department of Systems Analysis, Miami University
pp. 249-251

Verifying resilient software (PDF)

P.E. Black , Dept. of Comput. Sci., Brigham Young Univ., Provo, UT, USA
pp. 262-266

Test-linked specification for safety-critical software (PDF)

H. Hecht , SoHaR inc., Beverly Hills, CA, USA
pp. 267-272

Introduction To The Minitrack On Emerging Paradigms For Intelligent Systems (PDF)

C. Carlsson , Intitute for Advanced Management Systems Research, Abo Akademi University, Finland
pp. 286

Hyperknowledge in practice-users attitudes to active DSS (PDF)

P. Walden , Inst. for Adv. Manage. Syst., Abo Akademi, Finland
pp. 317-323

Combining dynamic deontic logic and temporal logic for the specification of deadlines (PDF)

F. Dignum , Fac. of Math. & Comput. Sci., Eindhoven Univ. of Technol., Netherlands
pp. 336-346

Formalizing perspectival defeasible reasoning (PDF)

Hong-Gee Kim , Dept. of Philos., Georgia Univ., Athens, GA, USA
pp. 347-353

d-Graph: an argument-based system incorporating defeasible graphs (PDF)

D. Nute , Artificial Intelligence Center, Georgia Univ., Athens, GA, USA
pp. 354-362

Towards a logic model for object-oriented systems analysis and design (PDF)

S.O. Kimbrough , Wharton Sch., Pennsylvania Univ., Philadelphia, PA, USA
pp. 363-372

Action concepts for describing organised interaction (PDF)

F.A.A. Santos , Dept. of Manage. Sci., ISCTE, Lisboa, Portugal
pp. 373-382

A modal logic for reasoning about belief (PDF)

Guo-Qiang Zhang , Dept. of Comput. Sci., Georgia Univ., Athens, GA, USA
pp. 383-391

A case study in model management: the US Coast Guard, GAO, TEFA-2 and structured modeling with embedded languages (PDF)

Hua Hua , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 395-404

On heuristic mapping of decision surfaces for post-evaluation analysis (PDF)

B. Branley , US Army Artificial Intelligence Center, Washington, DC, USA
pp. 416-425

A meta ERM and its relational translation for a database design system (PDF)

J. Choobineh , Dept. of Bus. Anal. & Res., Texas A&M Univ., College Station, TX, USA
pp. 426-433

Defeasible dependencies for relational database design (PDF)

W.D. Potter , Dept. of Comput. Sci., Georgia Univ., Athens, GA, USA
pp. 434-441

Earning benefits of the object-oriented paradigm in dynamic system simulation (PDF)

M. Hitz , Inst. of. Angewandt Inf. und Informationsyst., Wien Univ., Austria
pp. 442-451

Complex and Chaotic Systems: Introduction to The Track (PDF)

S.K. Kassicieh , Department of Finance, International and Technology Management, University of New Mexico
pp. 453-454

Conditional market segmentation by neural networks (PDF)

M. Natter , Dept. of Inst. Inf. Process., Vienna Univ. of Econ. & Bus. Adm., Austria
pp. 455-464

An application of neural network and rule-based system for network management: application level problems (PDF)

N. Nuansri , Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Melbourne, Vic., Australia
pp. 474-483

Investment decisions using genetic algorithms (PDF)

S.K. Kassicieh , Dept. of Finance, Int. & Technol. Manage., New Mexico Univ., Albuquerque, NM, USA
pp. 484-490

State analysis of nonlinear systems using local canonical variate analysis (PDF)

N.F. Hunter , Mech. Testing Sect., Los Alamos Nat. Lab., NM, USA
pp. 491-500

Regime signaling techniques for non-stationary time series forecasting (PDF)

R. Drossu , Sch. of Electr. Eng. & Comput. Sci., Washington State Univ., Pullman, WA, USA
pp. 530-538

Genetic storms: investigating the Gulf War Syndrome (PDF)

H.K. Bhargava , Naval Postgraduate Sch., Monterey, CA, USA
pp. 539-548

A neural-fuzzy system for forecasting (PDF)

Zuohong Pan , Dept. of Econ., Western Connecticut State Univ., CT, USA
pp. 549-558

Open transmission access: an efficient minimal role for the ISO (PDF)

F.L. Alvarado , Dept. of Electr. & Comput. Eng., Wisconsin Univ., Madison, WI, USA
pp. 571-580

Unbundling power quality services: technical issues (PDF)

R. Lasseter , Wisconsin Univ., Madison, WI, USA
pp. 581-588

Technical challenges of computing available transfer capability (ATC) in electric power systems (PDF)

P.W. Sauer , Dept. of Electr. & Comput. Eng., Illinois Univ., Urbana, IL, USA
pp. 589-593

MinISO: a minimal independent system operator [electric power industry] (PDF)

P. Varaiya , Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
pp. 602-607

Power auctions and network constraints (PDF)

H. Singh , Pacific Gas & Electr. Co., San Francisco, CA, USA
pp. 608-614

Electric utility industry restructuring and its impact on power engineering education (PDF)

M.J. Kempker , Syst. Protection & Control, Indianapolis Power & Light Co., IN, USA
pp. 615-623

A distributed method for solving nonlinear equations applying the power load flow calculation (Abstract)

M. Osano , Sch. of Comput. Sci. & Eng., Univ. of Aizu, Fukushima, Japan
pp. 676,677,678,679,680

Author index (PDF)

pp. 710-720
87 ms
(Ver 3.3 (11022016))