30. HICSS 1997:
Maui,
Hawaii,
USA - Volume 5
30th Annual Hawaii International Conference on System Sciences (HICSS-30),
7-10 January 1997,
Maui,
Hawaii. IEEE Computer Society,
1997,
ISBN 0-8186-7734-1,
Volume 5
Engineering Complex Computer System
- Alberto Broggi, Alexander D. Stoyenko:
Engineering Complex Computer Systems.
2-13
Electronic Edition (link) BibTeX
- Peter Bach, Michael Braun, Arno Formella, Jörg Friedrich, Thomas Grün, Cédric Lichtenau:
Building the 4 Processor SB-PRAM Prototype.
14-23
Electronic Edition (link) BibTeX
- V. J. Fazio, R. D. Pose:
Distributed Route Initialization Algorithms for the Monash Secure RISC Multiprocessor.
24-33
Electronic Edition (link) BibTeX
- Fabio Panzieri, Marco Roccetti:
Communication Support for Critical Distributed Multimedia Applications: an Experimental Study.
34-43
Electronic Edition (link) BibTeX
- Hans Hansson, Mikael Sjödin, Ken Tindell:
Guaranteeing Real-Time Traffic Through an ATM Network.
44-53
Electronic Edition (link) BibTeX
- Garret Okamoto, Guanghan Xu:
Multimedia Communications over Wireless LANs via the SWL Protocol.
54-63
Electronic Edition (link) BibTeX
- Miriam A. M. Capretz:
Conceptual Model for a Software Maintenance Environment.
64-70
Electronic Edition (link) BibTeX
- Habib Ammari:
Towards Program Debugging and Dynamic Reverse Engineering Using Multi-procedure Program Dynamic Decomposition.
71-80
Electronic Edition (link) BibTeX
- Hee Beng Kuan Tan, Tok Wang Ling:
Recovery of Functional Dependencies from Data-Intensive Business Programs.
81-88
Electronic Edition (link) BibTeX
- Keiko Takahashi, Isao Ono, Hiroshi Satoh, Shigenobu Kobayashi:
An Efficient Genetic Algorithm for Reachability Problems.
89-98
Electronic Edition (link) BibTeX
- Fabio A. Schreiber, Marcello L. Falleni:
Analysis of Data Transmission Performance over a GSM Cellular Network.
99-108
Electronic Edition (link) BibTeX
- Anthony Burrell, Panayota Papantoni-Kazakos:
An Integrated Approach to Signaling, Transmission, and Traffic Monitoring for Dynamic Capacity Allocation in Mobile ATM Networks.
109-118
Electronic Edition (link) BibTeX
- Olli-Matti Penttinen, Tino Pyssysalo, Leo Ojala:
Performance Analysis of Adaptive Video on Demand Using Stochastic Petri Nets.
119-124
Electronic Edition (link) BibTeX
- Reiner W. Hartenstein, Jürgen Becker:
A Two-level Co-Design Framework for Xputer-based data-driven reconfigurable Accelerators.
125-134
Electronic Edition (link) BibTeX
- Bernd J. Krämer:
A Case Study in Developing Complex Safety Critical Systems.
135-143
Electronic Edition (link) BibTeX
- Tangny Le Quenven, Alexander Hayward:
Use of Optimization and Simulation in the Implementation of the Process.
144-151
Electronic Edition (link) BibTeX
- Catherine H. Gebotys, Robert J. Gebotys:
Performance-Power Optimization of Memory Components for Complex Embedded Systems.
152-159
Electronic Edition (link) BibTeX
- Enzo Mumolo, Giulia Bernardis:
A Novel Demand Prefetching Algorithm Based on Volterra Adaptive Prediction for Virtual Memory Management Systems.
160-167
Electronic Edition (link) BibTeX
- David Channon, David Koch:
Performance Analysis of Re-configurable Partitioned TLBs.
168-177
Electronic Edition (link) BibTeX
- Billibon H. Yoshimi, Peter K. Allen:
Integrating Real-Time Vision And Manipulation.
178-187
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Stig Fr. Mjølsnes, Rolf Michelsen:
Open Transnational System for Digital Currency Payments.
198-207
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Raymond J. A. Buhr, Alex Hubbard:
Use Case Maps for Engineering Real Time and Distributed Computer.
218-229
Electronic Edition (link) BibTeX
- Maurizio Piaggio, Renato Zaccaria:
An Information Exchange Protocol in a Multi-Layer Distributed Architecture.
230-237
Electronic Edition (link) BibTeX
- Christophe Diot, Aruna Seneviratne:
Quality of Service in Heterogeneous Distributed Systems.
238-
Electronic Edition (link) BibTeX
Techniques for Safety Critical Software Develoopment
- James D. Kiper, Brent Auernheimer, Charles K. Ames:
Techniques for Safety Critical Software Develoopment.
249-251
Electronic Edition (link) BibTeX
- Cui Zhang, Brian R. Becker, Dave Peticolas, Mark Heckman, Karl N. Levitt, Ronald A. Olsson:
Verification of a Distributed Computing.
252-261
Electronic Edition (link) BibTeX
- Paul E. Black, Phillip J. Windley:
Verifying Resilient Software.
262-266
Electronic Edition (link) BibTeX
- Herbert Hecht, Myron Hecht:
Test-Linked Specification For Safety-Critical Software.
267-272
Electronic Edition (link) BibTeX
- Tien-fu Chang, Alejandro Danylyzsn, So Norimatsu, Jose Rivera, David Shepard, Anthony Lattanze, James E. Tomayko:
"Continuous Verification" in Mission Critical Software Development.
273-
Electronic Edition (link) BibTeX
Emerging Paradingms for Intelligent Systems
Logic Modeling
Modeling and Decision Technologies
- Daniel R. Dolk:
Logic Modeling.
393-394
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Major Bill Branley, Russell Fradin, Steven O. Kimbrough, Tate Shafer:
On Heuristic Mapping of Decision Surfaces for Post-Evaluation Analysis.
416-425
Electronic Edition (link) BibTeX
- Joobin Choobineh:
A Meta ERM and its Relational Translation for a Database Design System.
426-433
Electronic Edition (link) BibTeX
- Walter D. Potter:
Defensible Dependencies for Relational Database Design.
434-441
Electronic Edition (link) BibTeX
- Martin Hitz, Hannes Werthner:
Earning Benefits of the Object-Oriented Paradigm in Dynamic System Simulation.
442-
Electronic Edition (link) BibTeX
Complex and Chaotic Systems
- Suleiman K. Kassicieh, Thomas L. Paez, Gautam Vora:
Complex and Chaotic Systems.
453-454
Electronic Edition (link) BibTeX
- Martin Natter:
Conditional Market Segmentation by Neural Networks.
455-473
Electronic Edition (link) BibTeX
- Nittida Nuansri, Tharam S. Dillon, Samar Singh:
An Application of Neural Network and Rule-Based System for Network Management: Application Level Problems.
474-483
Electronic Edition (link) BibTeX
- Suleiman K. Kassicieh, Thomas L. Paez, Gautam Vora:
Investment Decisions Using Genetic Algorithms.
484-490
Electronic Edition (link) BibTeX
- Norman F. Hunter:
State Analysis of Nonlinear Systems Using Local Canonical Variate Analysis.
491-500
Electronic Edition (link) BibTeX
- Patrick Barney, Carlos Ferregut, Luis E. Perez, Norman F. Hunter, Thomas L. Paez:
Statistical Validation Of System Models.
501-520
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Radu Drossu, Zoran Obradovic:
Regime Signaling Techniques for Non-stationary Time Series.
530-538
Electronic Edition (link) BibTeX
- Hemant K. Bhargava, David L. Jacobson:
Genetic Storms: Investigating the Gulf War Syndrome.
539-548
Electronic Edition (link) BibTeX
- Zuohong Pan, Xiaodi Liu, Olugbenga Mejabi:
A Neural-Fuzzy System for Forecasting.
549-
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Robert J. Thomas, Thomas R. Schneider:
Underlying Technical issues in Electricity Deregulation.
561-570
Electronic Edition (link) BibTeX
- Fernando Alvarado, Robert J. Camfield, Rajesh Rajaraman:
Open Transmission Access: An Efficient Minimal Role for the ISO.
571-580
Electronic Edition (link) BibTeX
- Robert Lasseter:
Unbundling Power Quality Services: Technical Issues.
581-588
Electronic Edition (link) BibTeX
- Peter W. Sauer:
Technical Challenges of Computing Available Transfer Capability (ATC).
589-593
Electronic Edition (link) BibTeX
- Shmuel Oren, Alva J. Svoboda, Raymond B. Johnson:
Volatility of Unit Commitment in Competitive Electricity Markets.
594-601
Electronic Edition (link) BibTeX
- Pravin Varaiya, Felix Wu:
MinISO: A Minimal Independent System Operator.
602-
Electronic Edition (link) BibTeX
- Power Auctions and Network Constraints.
508-
Electronic Edition (link) BibTeX
- Mark J. Kempker, Niusha Rostamkolai:
Electric Utility Industry Restructuring and its Impact on Power Engineering Education.
615-623
Electronic Edition (link) BibTeX
- Benoit S. Lecinq, Marija D. Ilie:
Peak-load Pricing for Electric Power Transmission.
624-633
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Yong Tian, George Gross:
Simulation of the Multi-Node Open Access Same-Time Information System.
641-647
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold:
A Transformational Approach Applied to Outage Management of Nuclear Power Plants.
658-667
Electronic Edition (link) BibTeX
- Zhao Yang Dong, Yuri V. Makarov, David J. Hill:
Computing the Aperiodic and Oscillatory Small Signal Stability Boundaries in Modern Power Grids.
668-675
Electronic Edition (link) BibTeX
- Minetada Osano, Miriam A. M. Capretz:
A Distributed Method for Solving Nonlinear Equations Applying the Power Load Flow Calculation.
676-680
Electronic Edition (link) BibTeX
- Eric Sakk, Robert J. Thomas, Ray Zimmerman:
Power System Bidding Tournaments for a Deregulated Environment.
681-
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:14:31 2009
by Michael Ley (ley@uni-trier.de)