30. HICSS 1997: Maui, Hawaii, USA - Volume 5

Engineering Complex Computer System

• Alberto Broggi, Alexander D. Stoyenko:
  Engineering Complex Computer Systems. 2-13
  
• Peter Bach, Michael Braun, Arno Formella, Jörg Friedrich, Thomas Grün, Cédric Lichtenau:
  Building the 4 Processor SB-PRAM Prototype. 14-23
  
• V. J. Fazio, R. D. Pose:
  Distributed Route Initialization Algorithms for the Monash Secure RISC Multiprocessor. 24-33
  
• Fabio Panzieri, Marco Roccetti:
  Communication Support for Critical Distributed Multimedia Applications: an Experimental Study. 34-43
  
• Hans Hansson, Mikael Sjödin, Ken Tindell:
  Guaranteeing Real-Time Traffic Through an ATM Network. 44-53
  
• Garret Okamoto, Guanghan Xu:
  Multimedia Communications over Wireless LANs via the SWL Protocol. 54-63
  
• Miriam A. M. Capretz:
  Conceptual Model for a Software Maintenance Environment. 64-70
  
• Habib Ammari:
  Towards Program Debugging and Dynamic Reverse Engineering Using Multi-procedure Program Dynamic Decomposition. 71-80
  
• Hee Beng Kuan Tan, Tok Wang Ling:
  Recovery of Functional Dependencies from Data-Intensive Business Programs. 81-88
  
• Keiko Takahashi, Isao Ono, Hiroshi Satoh, Shigenobu Kobayashi:
  An Efficient Genetic Algorithm for Reachability Problems. 89-98
  
• Fabio A. Schreiber, Marcello L. Falleni:
  Analysis of Data Transmission Performance over a GSM Cellular Network. 99-108
  
• Anthony Burrell, Panayota Papantoni-Kazakos:
  An Integrated Approach to Signaling, Transmission, and Traffic Monitoring for Dynamic Capacity Allocation in Mobile ATM Networks. 109-118
  
• Olli-Matti Penttinen, Tino Pyssysalo, Leo Ojala:
  Performance Analysis of Adaptive Video on Demand Using Stochastic Petri Nets. 119-124
  
• Reiner W. Hartenstein, Jürgen Becker:
  A Two-level Co-Design Framework for Xputer-based data-driven reconfigurable Accelerators. 125-134
  
• Bernd J. Krämer:
  A Case Study in Developing Complex Safety Critical Systems. 135-143
  
• Tangny Le Quenven, Alexander Hayward:
  Use of Optimization and Simulation in the Implementation of the Process. 144-151
  
• Catherine H. Gebotys, Robert J. Gebotys:
  Performance-Power Optimization of Memory Components for Complex Embedded Systems. 152-159
  
• Enzo Mumolo, Giulia Bernardis:
  A Novel Demand Prefetching Algorithm Based on Volterra Adaptive Prediction for Virtual Memory Management Systems. 160-167
  
• David Channon, David Koch:
  Performance Analysis of Re-configurable Partitioned TLBs. 168-177
  
• Billibon H. Yoshimi, Peter K. Allen:
  Integrating Real-Time Vision And Manipulation. 178-187
  
• Vladimir Tucakov, Michael Sahota, Don Murray, Alan K. Mackworth, James J. Little, Stewart Kingdon, Cullen Jennings, Rod Barman:
  Spinoza: A Stereoscopic Visually Guided Mobile Robot. 188-197
  
• Stig Fr. Mjølsnes, Rolf Michelsen:
  Open Transnational System for Digital Currency Payments. 198-207
  
• Monica Alderighi, Giacomo R. Sechi, Riccardo P. G. Mazzei, Francesco Tisato:
  Broadcast Automata: a Parallel Scalable Architecture for Prototypal Embedded Processors for Space Applications. 208-217
  
• Raymond J. A. Buhr, Alex Hubbard:
  Use Case Maps for Engineering Real Time and Distributed Computer. 218-229
  
• Maurizio Piaggio, Renato Zaccaria:
  An Information Exchange Protocol in a Multi-Layer Distributed Architecture. 230-237
  
• Christophe Diot, Aruna Seneviratne:
  Quality of Service in Heterogeneous Distributed Systems. 238-
  

Techniques for Safety Critical Software Develoopment

• James D. Kiper, Brent Auernheimer, Charles K. Ames:
  Techniques for Safety Critical Software Develoopment. 249-251
  
• Cui Zhang, Brian R. Becker, Dave Peticolas, Mark Heckman, Karl N. Levitt, Ronald A. Olsson:
  Verification of a Distributed Computing. 252-261
  
• Paul E. Black, Phillip J. Windley:
  Verifying Resilient Software. 262-266
  
• Herbert Hecht, Myron Hecht:
  Test-Linked Specification For Safety-Critical Software. 267-272
  
• Tien-fu Chang, Alejandro Danylyzsn, So Norimatsu, Jose Rivera, David Shepard, Anthony Lattanze, James E. Tomayko:
  "Continuous Verification" in Mission Critical Software Development. 273-
  

Emerging Paradingms for Intelligent Systems

• Christer Carlsson, Pirkko Walden, Deepak N. Kumar:
  Emerging Paradingms for Intelligent Systems. 286-286
  
• Seppo Puuronen, Vagan Y. Terziyan:
  The Voting-Type Technique in the Refinement of Multiple Expert Knowledge. 287-296
  
• Gerd Kamp, Bernd Neumann:
  Knowledge-based Inference Methods for Modeling Technical Systems. 297-306
  
• Hannu Vanharanta, Pekka Pihlanto, Ai-Mei Chang:
  Decision Support for Strategic Management in a Hyperknowledge Environment and The Holistic Concept of Man. 307-316
  
• Pirkko Walden, Christer Carlsson, Ossi Kokkonen:
  Hyperknowledge in Practice - Users' Attitudes to Active DSS. 317-323
  
• Christer Carlsson:
  Fuzzy Logic and Hyperknowledge A New, Effect Paradigm for Active DSS. 324-
  

Logic Modeling

• Steven O. Kimbrough, Donald Nute:
  Logic Modeling. 335
  
• Frank Dignum, Ruurd Kuiper:
  Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines. 336-346
  
• Hong-Gee Kim:
  Formalizing Perspectival Defeasible Reasoning. 347-353
  
• Donald Nute, Christopher Henderson, Zachary Hunter:
  d-Graph: An Argument-Based System Incorporating Defensible Graphs. 354-362
  
• Steven O. Kimbrough, William J. Vachula:
  Towards a Logic Model for Object-Oriented Systems Analysis and Design. 363-372
  
• Filipe A. A. Santos, Andrew J. I. Jones, José Carmo:
  Action Concepts for Describing Organised Interaction. 373-382
  
• Guo-Qiang Zhang, Chang Huang, William C. Rounds:
  A Modal Logic for Reasoning about Belief. 383-
  

Modeling and Decision Technologies

• Daniel R. Dolk:
  Logic Modeling. 393-394
  
• Hua Hua, Steven O. Kim:
  A Case Study in Model Management: The US Coast Guard, GAO, TEFA-2, and Structured Modeling with Embedded Languages. 395-404
  
• Hemant K. Bhargava, Ramayya Krishnan, Stephen F. Roehrig, Michael Casey, David Kaplan, Rudolf Müller:
  Model Management in Electronic Markets for Decision Technologies: A Software Agent Approach. 405-415
  
• Major Bill Branley, Russell Fradin, Steven O. Kimbrough, Tate Shafer:
  On Heuristic Mapping of Decision Surfaces for Post-Evaluation Analysis. 416-425
  
• Joobin Choobineh:
  A Meta ERM and its Relational Translation for a Database Design System. 426-433
  
• Walter D. Potter:
  Defensible Dependencies for Relational Database Design. 434-441
  
• Martin Hitz, Hannes Werthner:
  Earning Benefits of the Object-Oriented Paradigm in Dynamic System Simulation. 442-
  

Complex and Chaotic Systems

• Suleiman K. Kassicieh, Thomas L. Paez, Gautam Vora:
  Complex and Chaotic Systems. 453-454
  
• Martin Natter:
  Conditional Market Segmentation by Neural Networks. 455-473
  
• Nittida Nuansri, Tharam S. Dillon, Samar Singh:
  An Application of Neural Network and Rule-Based System for Network Management: Application Level Problems. 474-483
  
• Suleiman K. Kassicieh, Thomas L. Paez, Gautam Vora:
  Investment Decisions Using Genetic Algorithms. 484-490
  
• Norman F. Hunter:
  State Analysis of Nonlinear Systems Using Local Canonical Variate Analysis. 491-500
  
• Patrick Barney, Carlos Ferregut, Luis E. Perez, Norman F. Hunter, Thomas L. Paez:
  Statistical Validation Of System Models. 501-520
  
• Melody Y. Kiang, Uday R. Kulkarni, Michael Goul, Robert T. H. Chi, Efraim Turban, Andrew Philippakis:
  Improving the Effectiveness of Self-Organizing Map Networks Using a Circular Kohonen Layer. 521-529
  
• Radu Drossu, Zoran Obradovic:
  Regime Signaling Techniques for Non-stationary Time Series. 530-538
  
• Hemant K. Bhargava, David L. Jacobson:
  Genetic Storms: Investigating the Gulf War Syndrome. 539-548
  
• Zuohong Pan, Xiaodi Liu, Olugbenga Mejabi:
  A Neural-Fuzzy System for Forecasting. 549-
  

Restructuring the Electric Power Industry: Emerging Issues, Methods and Tools

• Robert J. Thomas:
  Restructuring the Electric Power Industry: Emerging Issues, Methods and Tools. 560-560
  
• Robert J. Thomas, Thomas R. Schneider:
  Underlying Technical issues in Electricity Deregulation. 561-570
  
• Fernando Alvarado, Robert J. Camfield, Rajesh Rajaraman:
  Open Transmission Access: An Efficient Minimal Role for the ISO. 571-580
  
• Robert Lasseter:
  Unbundling Power Quality Services: Technical Issues. 581-588
  
• Peter W. Sauer:
  Technical Challenges of Computing Available Transfer Capability (ATC). 589-593
  
• Shmuel Oren, Alva J. Svoboda, Raymond B. Johnson:
  Volatility of Unit Commitment in Competitive Electricity Markets. 594-601
  
• Pravin Varaiya, Felix Wu:
  MinISO: A Minimal Independent System Operator. 602-
  
• Power Auctions and Network Constraints. 508-
  
• Mark J. Kempker, Niusha Rostamkolai:
  Electric Utility Industry Restructuring and its Impact on Power Engineering Education. 615-623
  
• Benoit S. Lecinq, Marija D. Ilie:
  Peak-load Pricing for Electric Power Transmission. 624-633
  
• Thomas J. Overbye, Peter W. Sauer, George Gross, Mark J. Laufenberg, Jamie D. Weber:
  A Simulation Tool for Analysis of Alternative Paradigms for the New Electricity Business. 634-640
  
• Yong Tian, George Gross:
  Simulation of the Multi-Node Open Access Same-Time Information System. 641-647
  
• Yuri V. Makarov, David J. Hill, Jovica V. Milanovic:
  Effect of Load Uncertainty on Small Disturbance Stability Margins in Open-Access Power Systems. 648-657
  
• Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold:
  A Transformational Approach Applied to Outage Management of Nuclear Power Plants. 658-667
  
• Zhao Yang Dong, Yuri V. Makarov, David J. Hill:
  Computing the Aperiodic and Oscillatory Small Signal Stability Boundaries in Modern Power Grids. 668-675
  
• Minetada Osano, Miriam A. M. Capretz:
  A Distributed Method for Solving Nonlinear Equations Applying the Power Load Flow Calculation. 676-680
  
• Eric Sakk, Robert J. Thomas, Ray Zimmerman:
  Power System Bidding Tournaments for a Deregulated Environment. 681-