


Остановите войну!
for scientists:
31st HICSS 1998: Kohala Coast, Hawaii, USA - Volume 3
- Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998. IEEE Computer Society 1998, ISBN 0-8186-8255-8
Volume 3
Restructuring the Electric Power Industry: Emerging Issues, Methods & Tools
- Fernando Alvarado, W. S. Mota:
The Role of Energy Imbalance Management on Power Market Stability. 4-8 - Richard E. Schuler:
The Dynamics of Market Power with Deregulated Electricity Generation Supplies. 9-14 - John C. Bernard, Warren Hall, Robert Either, Timothy Mount, William Schulze, Ray Zimmerman, David Gan, Carlos Murillo-Sánchez, Robert J. Thomas, Richard E. Schuler:
Experimental Results for Single Period Auctions. 15-23 - A. P. Sakis Meliopoulos, George J. Cokkinides, Anastasios G. Bakirtzis:
Load-Frequency Control Service in a Deregulated Environment. 24-31 - Christopher L. DeMarco:
Design of Predatory Generation Control in Electric Power Systems. 32-38 - Koeunyi Bae, James S. Thorp:
An Importance Sampling Application: 179 Bus WSCC System under Voltage Based Hidden Failures and Relay Misoperations. 39-46 - Dennis Ray, Eileen Cashman:
Influence of Operational Risk Assessment on Bidding Strategies in Power Markets. 47 - Michael J. Denton, Stephen J. Rassenti, Vernon L. Smith:
Spot Market Mechanism Design and Competitivity Issues in Electric Power. 48-56 - Sarosh Talukdar:
Autonomous Cyber Agents: Rules for Collaboration and Concurrency. 57-61 - Jamie D. Weber, Thomas J. Overbye, Christopher L. DeMarco:
Inclusion of Price Dependent Load Models in the Optimal Power Flow. 62-70 - Chung-Li Tseng, Shmuel S. Oren, Carol S. Cheng, Chao-an Li, Alva J. Svoboda, Raymond B. Johnson:
A Transmission-Constrained Unit Commitment Method. 71-80 - Carlos Murillo-Sánchez, Robert J. Thomas:
Thermal Unit Commitment Including Optimal AC Power Flow Constraints. 81-88 - Peter W. Sauer:
Alternatives for Calculating Transmission Reliability Margin (TRM) in Available Transfer Capability (ATC). 89-89 - Richard Tabors:
Reliability: Reality or the Power Engineers' Last Gasp. 90-95 - Jamie D. Weber, Thomas J. Overbye, Peter W. Sauer, Christopher L. DeMarco:
A Simulation Based Approach to Pricing Reactive Power. 96-103 - James A. Momoh, Jizhong Zhu:
A New Approach to VAr Pricing and Control in the Competitive Environment. 104-111 - Ziad Younes, Marija Ilic:
Generation Strategies for Gaming Transmission Constraints: Will the Deregulated Electric Power Market be an Oligopoly? 112-121 - Felix F. Wu, Chris Yeung, Ada S. Y. Poon, Jerome Yen:
A Multi-Agent Approach to the Deregulation and Restructuring of Power Industry. 122-131 - Philip A. Fedora, Craig A. Kazin:
Implementing NEPOOL's Restructuring Proposal: The Installed Capacity Market. 132-137 - Ray Zimmerman, Robert J. Thomas, Deqiang Gan, Carlos Murillo-Sánchez:
An Internet-Based Platform for Testing Generation Scheduling Auctions. 138-
Engineering Complex Computer Systems
- Alberto Broggi, Michael G. Hinchey, Alexander D. Stoyen:
Introduction to the Minitrack on Engineering Complex Computer Systems: Emerging Technologies Track. 148-149 - Catherine H. Gebotys, Robert J. Gebotys:
Complexities in DSP Software Compilation: Performance, Code Size Power, Retargetability. 150-156 - Arkady Kanevsky, Anthony Skjellum, Anna Rounbehler:
MPI/RT - An Emerging Standard for High-Performance Real-Time Systems. 157-166 - Lei Hu, Ian Gorton:
Performance Oriented Design Using HL. 167-176 - K. Brink, L. J. G. Bun, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel:
Automatic Analysis of Embedded Systems Specified in Astral. 177-186 - Robert L. Glass, Iris Vessey:
Focusing on the Application Domain: Everyone Agrees It's Vital, but Who's Doing Anything about It? 187-196 - Dawn N. Jutla, Peter Bodorik:
Architectural Support for Synchronization of Threads Accessing Variable-Sized Units of Virtual Memory. 197-206 - Peter J. Andersen, Philip A. Wilsey:
A Comparison of Alternative Extensions for Data Modeling in VHDL. 207-215 - Zina Ben-Miled, José A. B. Fortes, Rudolf Eigenmann, Valerie E. Taylor:
On the Implementation of Broadcast, Scatter and Gather in a Heterogeneous Architecture. 216-225 - Michael L. Nelson:
A Software Control Architecture for Autonomous Vehicles. 226-232 - Michael D. Garris:
Intelligent System for Reading Handwriting on Forms. 233-242 - Giuliano Donzellini, Stefano Nervi, Domenico Ponta, Sergio Rossi, Stefano Rovetta:
Object Oriented ARM7 Coprocessor. 243-252 - Yu-Chee Tseng, San-Yuan Wang:
Near-Optimal Broadcast in All-Port Wormhole-Routed 3D Tori with Dimension-Ordered Routing. 253-262 - Hea-Sook Park, Sung-Jin Moon, Man-Sik Park, Boseob Kwon, Kwang-Suk Song:
The Design of Reliable Controller for Interprocessor Communication Network Using ATM Switch. 263-272 - Jochen H. Schiller, Georg Carle:
Semi-Automated Design of High-Performance Communication Subsystems. 273-282 - Monica Alderighi, Sergio D'Angelo, Giacomo R. Sechi, F. d'Ovidio:
Experimenting Genetic Algorithms for Training a Neural Network Prototype for Photon Event Identification. 283-291 - Stuart Meikle, Robert B. Yates:
Computer Vision Algorithms for Autonomous Mobile Robot Map Building and Path Planning. 292-
Techniques for Secure Systems Development
- Deborah A. Frincke, Brent Auernheimer:
Techniques for Secure System Development. 304-306 - Jim Alves-Foss:
The Architecture of Secure Systems. 307-316 - Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith:
The SecureRing Protocols for Securing Group Communication. 317-326 - Paul E. Black, Phillip J. Windley:
Formal Verification of Secure Programs in the Presence of Side Effects. 327-
Techniques for Safety-Critical Systems Development
- James D. Kiper, James E. Tomayko:
Techniques for Safety Critical Software Development. 336-337 - Mark R. Heckman, Karl N. Levitt:
Applying the Composition Principle to Verify a Hierarchy of Security Servers. 338-347 - Ann E. Kelley Sobel:
Formal Requirements Specification Analysis of Attitude Control of the International Space Station Alpha. 348-355 - John Penix, Perry Alexander:
Using Formal Specifications for Component Retrieval and Reuse. 356-
Software Process Improvement
- Eugene G. McGuire:
Software Process Improvement Minitrack Introduction. 368-369 - Thomas Lee Rodgers, Douglas R. Vogel, Titus Purdin, Bill Saints:
In Search of Theory and Tools to Support Code Inspections. 370-378 - Lasse Harjumaa, Ilkka Tervonen:
A WWW-Based Tool for Software Inspection. 379-388 - Shirley A. Becker:
A Proposed Learning Environment for Goal-Specific Improvements. 389-398 - Rick Gibson:
Software Process Modeling: Theory, Results and Commentary. 399-408 - Heeseok Lee, Jae Lee:
Analyzing Business Domain: A Methodology and Repository System. 409-419 - Christopher Landauer, Kirstie L. Bellman:
Wrappings for Software Development. 420-

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.