31st Hawaii International Conference31st Hawaii International Conference
| Preface | ix |
| Introduction | x |
| Referees | xi |
| The Role of Energy Imbalance Management on Power Market Stability | 4 |
| F.L. Alvarado and W.S. Mota | |
| The Dynamics of Market Power with Deregulated Electricity Generation Supplies | 9 |
| R.E. Schuler | |
| Experimental Results for Single Period Auctions. | 15 |
| J. Bernard, R. Either, T. Mount, W. Schulze, R. Zimmerman, D. Gan, C. Murillo-Sánchez, R. Thomas, and R. Schuler | |
| Load-Frequency Control Service in a Deregulated Environment | 24 |
| A.P.S. Meliopoulos, G.J. Cokkinides, and A.G. Bakirtzis | |
| Design of Predatory Generation Control in Electric Power Systems | 32 |
| C.L. DeMarco | |
| An Importance Sampling Application: 179 Bus WSCC System under Voltage Based Hidden Failures and Relay Misoperations. | 39 |
| K. Bae and J.S. Thorp | |
| Influence of Operational Risk Assessment on Bidding Strategies in Power Markets | 47 |
| D. Ray and E. Cashman | |
| Spot Market Mechanism Design and Competitivity Issues in Electric Power | 48 |
| M.J. Denton, S.J. Rassenti, and V.L. Smith | |
| Autonomous Cyber Agents: Rules for Collaboration and Concurrency | 57 |
| S.N. Talukdar | |
| Inclusion of Price Dependent Load Models in the Optimal Power Flow | 62 |
| J.D. Weber, T.J. Overbye, and C.L. DeMarco | |
| A Transmission-Constrained Unit Commitment Method | 71 |
| C.-L. Tseng, S.S. Oren, C.S. Cheng, C.-A. Li, A.J. Svoboda, and R.B. Johnson | |
| Thermal Unit Commitment Including Optimal AC Power Flow Constraints. | 81 |
| C. Murillo-Sánchez and R.J. Thomas | |
| Alternatives for Calculating Transmission Reliability Margin (TRM) in Available Transfer Capability (ATC) | 89 |
| P.W. Sauer | |
| Reliability: Reality or the Power Engineers' Last Gasp | 90 |
| R.D. Tabors | |
| A Simulation Based Approach to Pricing Reactive Power | 96 |
| J.D. Weber, T.J. Overbye, P.W. Sauer, and C.L. DeMarco | |
| A New Approach to VAr Pricing and Control in the Competitive Environment | 104 |
| J.A. Momoh and J. Zhu | |
| Generation Strategies for Gaming Transmission Constraints: Will the Deregulated Electric Power Market be an Oligopoly? | 112 |
| Z. Younes and M. Ilic | |
| A Multi-Agent Approach to the Deregulation and Restructuring of Power Industry | 122 |
| F. Wu, C. Yeung, A. Poon, and J. Yen | |
| Implementing NEPOOL's Restructuring Proposal: The Installed Capacity Market | 132 |
| P.A. Fedora and C.A. Kazin | |
| An Internet-Based Platform for Testing Generation Scheduling Auctions | 138 |
| R.D. Zimmerman, R.J. Thomas, D. Gan, and C. Murillo-Sánchez |
| Introduction to the Minitrack on Engineering Complex Computer Systems: Emerging Technologies Track | 148 |
| A. Broggi, M. Hinchey, and A.D. Stoyen | |
| Complexities in DSP Software Compilation: Performance, Code Size, Power, Retargetability | 150 |
| C.H. Gebotys and R.J. Gebotys | |
| MPI/RT - An Emerging Standard for High-Performance Real-Time Systems | 157 |
| A. Kanevsky, A. Skjellum, and A. Rounbehler | |
| Performance Oriented Design Using HL | 167 |
| L. Hu and I. Gorton | |
| Automatic Analysis of Embedded Systems Specified in Astral | 177 |
| K. Brink, L.J.G. Bun, J. van Katwijk, R.F. Lutje Spelberg, and W.J. Toetenel | |
| Focusing on the Application Domain: Everyone Agrees It's Vital, but Who's Doing Anything about It? | 187 |
| R.L. Glass and I. Vessey | |
| Architectural Support for Synchronization of Threads Accessing Variable-Sized Units of Virtual Memory | 197 |
| D.N. Jutla and P. Bodorik | |
| A Comparison of Alternative Extensions for Data Modeling in VHDL | 207 |
| P.J. Ashenden and P.A. Wilsey | |
| On the Implementation of Broadcast, Scatter and Gather in a Heterogeneous Architecture | 216 |
| Z. Ben Miled, J.A.B. Fortes, R. Eigenmann, and V. Taylor | |
| A Software Control Architecture for Autonomous Vehicles | 226 |
| M.L. Nelson | |
| Intelligent System for Reading Handwriting on Forms | 233 |
| M.D. Garris | |
| Object Oriented ARM7 Coprocessor | 243 |
| G. Donzellini, S. Nervi, D. Ponta, S. Rossi, and S. Rovetta | |
| Near-Optimal Broadcast in All-Port Wormhole-Routed 3D Tori with Dimension-Ordered Routing | 253 |
| Y.-C. Tseng, and S.-Y. Wang | |
| The Design of Reliable Controller for Interprocessor Communication Network Using ATM Switch | 263 |
| H.-S. Park, S.-J. Moon, M.-S. Park, B. Kwon, and K.-S. Song | |
| Semi-Automated Design of High-Performance Communication Subsystems | 273 |
| J.H. Schiller and G.J. Carle | |
| Experimenting Genetic Algorithms for Training a Neural Network Prototype for Photon Event Identification | 283 |
| M. Alderighi, S. D'Angelo, G.R. Sechi, and F. d'Ovidio | |
| Computer Vision Algorithms for Autonomous Mobile Robot Map Building and Path Planning | 292 |
| S. Meikle and R. Yates |
| Techniques for Secure System Development | 304 |
| D. Frincke and B. Auernheimer | |
| The Architecture of Secure Systems | 307 |
| J. Alves-Foss | |
| The SecureRing Protocols for Securing Group Communication | 317 |
| K.P. Kihlstrom, L.E. Moser, and P.M. Melliar-Smith | |
| Formal Verification of Secure Programs in the Presence of Side Effects | 327 |
| P.E. Black and P.J. Windley |
| Techniques for Safety Critical Software Development | 336 |
| J.D. Kiper and J.E. Tomayko | |
| Applying the Composition Principle to Verify a Hierarchy of Security Servers | 338 |
| M.R. Heckman and K.N. Levitt | |
| Formal Requirements Specification Analysis of Attitude Control of the International Space Station Alpha | 348 |
| A.E.K. Sobel | |
| Using Formal Specifications for Component Retrieval and Reuse | 356 |
| J. Penix and P. Alexander |
| Software Process Improvement Minitrack Introduction | 368 |
| E.G. McGuire | |
| In Search of Theory and Tools to Support Code Inspections | 370 |
| T.L. Rodgers, D.R. Vogel, T. Purdin, and B. Saints | |
| A WWW-Based Tool for Software Inspection | 379 |
| L. Harjumaa and I. Tervonen | |
| A Proposed Learning Environment for Goal-Specific Improvements | 389 |
| S.A. Becker | |
| Software Process Modeling: Theory, Results and Commentary | 399 |
| R. Gibson | |
| Analyzing Business Domain: A Methodology and Repository System | 409 |
| H. Lee and J. Lee | |
| Wrappings for Software Development | 420 |
| C. Landauer and K.L. Bellman | |
| Author Index | 430 |
31st Hawaii International Conference on System Sciences