The Community for Technology Leaders
2014 47th Hawaii International Conference on System Sciences (1999)
Maui, Hawaii
Jan. 5, 1999 to Jan. 8, 1999
ISBN: 0-7695-0001-3
TABLE OF CONTENTS
Configware: From Glue Logic Synthesis to Reconfigurable Computing Systems
Emerging Technologies Track
Engineering Complex Computer Systems

Design of a Vision System for Identity Verification (PDF)

Massimo Tistarelli , University of Genova
Andrea Lagorio , University of Genova
Massimo Jentile , University of Genova
Enrico Grosso , University of Genova
pp. 3003

Designing for Low Power in Complex Embedded DSP Systems (PDF)

C.H. Gebotys , University of Waterloo
R.J. Gebotys , Wilfrid Laurier University
pp. 3004

Real-time Support in COM (PDF)

Deji Chen , University of Texas at Austin
Aloysius Mok , Fisher-Rosemount Systems, Inc
Mark Nixon , Fisher-Rosemount Systems, Inc
pp. 3005

VORTEX: Video Retrieval and Tracking from Compressed Multimedia Databases-Visual Search Engine (PDF)

Dan Schonfeld , University of Illinois at Chicago
Dan Lelescu , University of Illinois at Chicago
pp. 3006

Problem Posing Interpretation of Programming Languages (PDF)

Christopher Landauer , The Aerospace Corporation,
Kirstie L. Bellman , The Aerospace Corporation,
pp. 3007

Recoverable Virtual Memory through the Multi-View Memory Computer System (PDF)

P. Bodorik , Dalhousie University
D. Jutla , Saint Mary's University
pp. 3009

Parallel String Matching Algorithms Based on Dataflow (PDF)

Jin Hwan Park , Oklahoma State University
K. M. George , Oklahoma State University
pp. 3010

Object-Oriented Thermal Placement Using an Accurate Heat Model (PDF)

Craig Beebe , University of Arizona
Jo Dale Carothers , University of Arizona
Alfonso Ortega , University of Arizona
pp. 3011

Self-Timed Design: An Avenue to Complex Computer Systems (PDF)

Eric Senn , D?l?gation G?n?rale de l'Armement
Bertrand Zavidovique , Universit? Paris XI
pp. 3012

A Hierarchical Analysis Approach for High Performance Computing and Communication Applications (PDF)

Salim Hariri , University of Arizona
Pramod Varshney , Syracuse University
Luying Zhou , Syracuse University
Haibo Xu , Syracuse University
Shihab Ghaya , Syracuse University
pp. 3013

ETHNOS-II A Programming Environment for Distributed Multiple Robotic Systems (PDF)

Maurizio Piaggio , University of Genova
Antonio Sgorbissa , University of Genova
Renato Zaccaria , University of Genova
pp. 3014
Restructuring the Electric Power Industry: Emerging Issues, Methods and Tools
Session 1: Data and Database Standards and Issues

Common Information Model - A Developer's Perspective (PDF)

Robin Podmore , Incremental Systems Corporation
David Becker , Electric Power Research Institute
Rob Fairchild , PowerData Corporation
Marck Robinson , PowerData Corporation
pp. 3016
Session 2: Power System Simulation/Visualization

Analysis of Power Pools in the Deregulated Energy Market through Simulation (PDF)

Simo Makkonen , Process Vision Ltd
Risto Lahdelma , Technical Research Centre of Finland
pp. 3018

Analysis and Visualization of Market Power in Electric Power Systems (PDF)

Thomas J. Overbye , University of Illinois at Urbana-Champaign
Jamie D. Weber , University of Illinois at Urbana-Champaign
Kollin J. Patten , University of Illinois at Urbana-Champaign
pp. 3019
Session 3: Economics 1A

Market Power And Price Volatility In Restructured Markets For Electricity (PDF)

Tim Mount , University of New South Wales and Cornell University
pp. 3021

Market Design and Motivated Human Trading Behavior in Electricity Markets (PDF)

Mark A. Olson , University of Arizona
Stephen J. Rassenti , University of Arizona
Vernon L. Smith , University of Arizona
Mary L. Rigdon , University of Arizona
Michael J. Ziegler , University of Arizona
pp. 3022

Energy Delivery Scheduling and Realizability in Deregulated Electric Energy Market (PDF)

Xiaohong Guan , Systems Engineering Institute
Feng Gao , Xian Jiaotong University
Alva Svoboda , Pacific Gas and Electric
pp. 3023
Session 4: System Protection

Trends in Power System Protection and Control (PDF)

Miroslav Begovic , Georgia Institute of Technology
Mile Milisavljevic , Georgia Institute of Technology
Damir Novosel , ETS Institute
pp. 3024

Aspects of Power System Protection in the Post-Restructuring Era (PDF)

A. G. Phadke , Virginia Institute of Technology and State University
S. H. Horowitz , Consultant Columbus Ohio
J. S. Thorp , Cornell University
pp. 3025
Session 5: Financial Risk Management Approaches in Competitive Electricity Markets

Spark Spread Options and the Valuation of Electricity Generation Assets (PDF)

Shijie Deng , University of California at Berkeley
Blake Johnson , Stanford University
Aram Sogomonian , Pacificorp
pp. 3027

Short-Term Generation Asset Valuation (PDF)

Chung-Li Tseng , University of Maryland
Graydon Barz , Stanford University
pp. 3028
Session 6: Available Transfer Capability (ATC) of Electric Power Systems

Atc Computational Issues (PDF)

Mark H. Gravener , PJM Interconnection
Chika Nwankpa , Drexel University
Tai-Sim Yeoh , Drexel University
pp. 3030

Reactive Power Considerations in Linear ATC Computation (PDF)

Santiago Grijalva , University of Illinois at Urbana-Champaign
Peter W. Sauer , University of Illinois at Urbana-Champaign
pp. 3031

Self-Management of ATC by the Marketplace (PDF)

Carl F. Imparato , Tabors, Caramanis & Associates
pp. 3032
Session 7: ISO's, Congestion Management and Market Power

Energy Auctions and Market Power: An Experimental Examination (PDF)

Ray D. Zimmerman , Cornell University
John C. Bernard , Cornell University
Robert J. Thomas , Cornell University
William Schulze , Cornell University
pp. 3034
Session 8: Economics 2

Issues for Reactive Power and Voltage Control Pricing in a Deregulated Environment (PDF)

A. P. Sakis Meliopoulos , Georgia Institute of Technology
Murad A. Asad , Georgia Institute of Technology
G. J. Cokkinides , University of South Carolina,
pp. 3035

Consumption Strategies and Tariff Coordination for Cooperative Consumers in a Deregulated Electricity Market (PDF)

Raimo P. Hämäläinen , Helsinki University of Technology
Juha Mäntysaari , Helsinki University of Technology
Pierre-Olivier Pineau , Helsinki University of Technology
Jukka Ruusunen , IMATRAN VOIMA OY
pp. 3036

Market Monitoring and Leader Follower Incentive Control of Ancillary Services (PDF)

Ali Keyhani , The Ohio State University
Jose Cruz Jr , The Ohio State University
Marwan A. Simaan , University of Pittsburgh
pp. 3037
Configware: From Glue Logic Synthesis to Reconfigurable Computing Systems

XMDS: The Xputer Multimedia Development System (PDF)

Michael Herz , University of Kaiserslautern,
Thomas Hoffmann , University of Kaiserslautern,
Ulrich Nageldinger , University of Kaiserslautern,
Christian Schreiber , University of Kaiserslautern,
pp. 3042

Interfacing the MoM-PDA to an Internet-based Development System (PDF)

Michael Herz , University of Kaiserslautern
Thomas Hoffmann , University of Kaiserslautern
Ulrich Nageldinger , University of Kaiserslautern
Christian Schreiber , University of Kaiserslautern
pp. 3043

A Development System for Creating Real-time Machine Vision Hardware Using Field Programmable Gate Arrays (PDF)

Thomas H. Drayer , Virginia Polytechnic Institute and State University
Joseph G. Tront , Virginia Polytechnic Institute and State University
Richard W. Conners , Virginia Polytechnic Institute and State University
Philip A. Araman , United States Forest Service
pp. 3046

Issues in FPGA-based Configurable Computer Design for Operating Systems and Multimedia Applications (PDF)

P. Knezevic , University of Belgrade
B. Radunovic , University of Belgrade
A. Elhouni , University of Belgrade
pp. 3047
Formal Methods and Industry

Formal Methods and Industry (PDF)

Jim Alves-Foss , University of Idaho
Ann E. Kelley Sobel , Miami University
pp. 3048

An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation Protocol (PDF)

Peter Frey , Cadence Design Systems
Radharamanan Radhakrishnan , Cadence Design Systems
Philip A. Wilsey , Cadence Design Systems
Perry Alexander , Cadence Design Systems
Harold W. Carter , Cadence Design Systems
pp. 3049

Formalization of a Software Architecture for Embedded Systems: A Process Algebra for SPLICE (PDF)

Paul Dechering , Applied Systems Research
Edwin de Jong , Applied Systems Research
Rix Groenboom , University of Groningen,
Jan Tijmen Udding , University of Groningen,
pp. 3050
Scenario-Based System Development

Improving Reviews by Extended Traceability (PDF)

Peter Haumer , Informatik V, RWTH Aachen
Klaus Pohl , Informatik V, RWTH Aachen
Klaus Weidenhaupt , Informatik V, RWTH Aachen
Matthias Jarke , Informatik V, RWTH Aachen
pp. 3052

The Use of Scenarios for Organizational Requirements Generation (PDF)

Susan Harker , Loughborough University
Ken Eason , Loughborough University
pp. 3054

Soft Systems and Use-Case Modelling: Mutually Supportive or Mutually Exclusive? (PDF)

D.W. Bustard , University of Ulster
Z. He , University of Ulster
F.G. Wilkie , University of Ulster
pp. 3055
Software Process Improvement
Techniques for Secure System Development

Techniques for Secure System Development (PDF)

Deborah Frincke , University of Idaho
Brent Auernheimer , California State University at Fresno
pp. 3061

Security Analysis of Tramel (PDF)

Ann E. Kelley Sobel , Miami University
pp. 3063

Formal Development of Secure Email (PDF)

Dan Zhou , Syracuse University
Joncheng C. Kuo , Syracuse University
Susan Older , Syracuse University
Shiu-Kai Chin , Syracuse University
pp. 3064
96 ms
(Ver )