The Community for Technology Leaders
2014 47th Hawaii International Conference on System Sciences (1998)
Kohala Coast, HI
Jan. 6, 1998 to Jan. 9, 1998
ISSN: 1060-3425
ISBN: 0-8186-8239-6
TABLE OF CONTENTS
Restructuring the Electric Power Industry: Emerging Issues, Methods & Tools

Experimental Results for Single Period Auctions (PDF)

David Gan , Cornell University
Timothy Mount , Cornell University
Ray Zimmerman , Cornell University
Robert Either , Cornell University
Carlos Murillo-Sbnchez , Cornell University
John Bernard , Cornell University
Richard Schuler , Cornell University
Robert Thomas , Cornell University
William Schulze , Cornell University
Warren Hall , Cornell University
pp. 15

Load-Frequency Control Service in a Deregulated Environment (PDF)

A. G. Bakirtzis , Aristotle University of Thesssaloniki
George J. Cokkinides , University of South Carolina
A. P. Sakis Meliopoulos , Georgia Institute of Technology
pp. 24

Influence of Operational Risk Assessment on Bidding Strategies in Power Markets (PDF)

Dennis Ray , University of Wisconsin-Madison
Eileen Cashman , James Madison University
pp. 47

Inclusion of Price Dependent Load Models in the Optimal Power Flow (PDF)

James D. Weber , University of Illinois at Urbana-Champaign
Thomas J. Overbye , University of Illinois at Urbana-Champaign
Christopher L. DeMarco , University of Wisconsin
pp. 62

Reliability: Reality or the Power Engineers' Last Gasp (PDF)

Richard D. Tabors , Massachusetts Institute of Technology
pp. 90

A Simulation Based Approach to Pricing Reactive Power (PDF)

Peter W. Sauer , University of Illinois at Urbana-Champaign
Christopher L. DeMarco , University of Wisconsin-Madison
James D. Weber , University of Illinois at Urbana-Champaign
Thomas J. Overbye , University of Illinois at Urbana-Champaign
pp. 96

Generation Strategies for Gaming Transmission Constraints Will the Deregulated Electric Power Market Be an Oligopoly? (PDF)

Ziad Younes , Massachusetts Institute of Technology
Marija Ilic , Massachusetts Institute of Technology
pp. 112

A Multi-agent Approach to the Deregulation and Restructuring of Power Industry (PDF)

Ada Poon , University of California
Felix Wu , University of Hong Kong
Jerome Yen , University of Hong Kong
Chris Yeung , University of Hong Kong
pp. 122

An Internet-Based Platform for Testing Generation Scheduling Auctions (PDF)

Ray D. Zimmerman , Cornell University
Carlos Murillo-Sánchez , Cornell University
Robert J. Thomas , Cornell University
Deqiang Gan , Cornell University
pp. 138
Engineering Complex Computer Systems

MPI/RT --- An Emerging Standard for High-Performance Real-Time Systems (PDF)

Anthony Skjellum , Mississippi State University
Anna Rounbehler , SKY Computers, Inc.
Arkady Kanevsky , The MITRE Corp.
pp. 157

Performance Oriented Design Using HL (PDF)

Lei Hu , The University of New South Wales
Ian Gorton , The University of New South Wales
pp. 167

Automatic Analysis of Embedded Systems Specified in Astral (PDF)

J. Van Katwijk , Delft University of Technology
R.F. Lutje Spelberg , Delft University of Technology
L.J.G. Bun , Delft University of Technology
K. Brink , Delft University of Technology
W.J. Toetenel , Delft University of Technology
pp. 177

A Comparison of Alternative Extensions for Data Modeling in VHDL (PDF)

Philip A. Wilsey , University of Cincinnati
Peter J. Ashenden , The University of Adelaide
pp. 207

On the Implementation of Broadcast, Scatter and Gather in a Heterogeneous Architecture (PDF)

Rudolf Eigenmann , Purdue University
Valerie Taylor , Northwestern University
Jose' A.B. Fortes , Purdue University
Zina Ben Miled , Purdue University
pp. 216

A Software Control Architecture for Autonomous Vehicles (PDF)

Michael L. Nelson , University of Texas - Pan American
pp. 226

Intelligent System for Reading Handwriting on Forms (PDF)

Michael D. Garris , National Institute of Standards and Technology
pp. 233

Object Oriented ARM7 Coprocessor (PDF)

Giuliano Donzellini , University of Genoa
Stefano Nervi , University of Genoa
Stefano Rovetta , University of Genoa
Sergio Rossi , University of Genoa
Domenico Ponta , University of Genoa
pp. 243

Experimenting Genetic Algorithms for Training a Neural Network Prototype for Photon Event Identification (PDF)

M. Alderighi , Istituto di Fisica Cosmica e Tecnologie Relative
F. d'Ovidio , Guest Researcher at the Consiglio Nazionale delle Ricerche
Giacomo R. Sechi , Istituto di Fisica Cosmica e Tecnologie Relative
S. D'Angelo , Istituto di Fisica Cosmica e Tecnologie Relative
pp. 283

Computer Vision Algorithms for Autonomous Mobile Robot Map Building and Path Planning (PDF)

Stuart Meikle , MIEEE SPIE, University of Sheffield
Robert B. Yates , MIEEE SPIE, University of Sheffield
pp. 292
Techniques for Secure Systems Development

The Architecture of Secure Systems (PDF)

Jim Alves-Foss , University of Idaho
pp. 307

The SecureRing Protocols for Securing Group Communication (PDF)

P. M. Melliar-Smith , University of California Santa Barbara, CA
Kim Potter Kihlstrom , University of California Santa Barbara, CA
L. E. Moser , University of California Santa Barbara, CA
pp. 317

Formal Verification of Secure Programs in the Presence of Side Effects (PDF)

Paul E. Black , National Institute of Standards and Technology
Phillip J. Windley , Brigham Young University
pp. 327
Techniques for Safety-Critical Systems Development

Using Formal Specification for Component Retrieval and Reuse (PDF)

John Penix , University of Cincinnati
Perry Alexander , University of Cincinnati
pp. 356
Software Process Improvement

In Search of Theory and Tools to Support Code Inspections (PDF)

Bill Saints , University of Arizona
Douglas R. Vogel , University of Arizona
Thomas Lee Rodgers , University of Arizona
Titus Purdin , University of Arizona
pp. 370

A WWW-Based Tool for Software Inspection (PDF)

Lasse Harjumaa , University of Oulu
Ilkka Tervonen , University of Oulu
pp. 379

Analyzing Business Domain: A Methodology and Repository System (PDF)

Heeseok Lee , Korea Advanced Institute of Science and Technology
Jae Lee , Korea Advanced Institute of Science and Technology
pp. 409

Wrappings for Software Development (PDF)

Kirstie L. Bellman , Aerospace Integration Science Center, The Aerospace Corporation
Christopher Landauer , Aerospace Integration Science Center, The Aerospace Corporation
pp. 420
96 ms
(Ver 3.3 (11022016))