33. HICSS 2000: Maui, Hawaii, USA
33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, USA. IEEE Computer Society 2000, ISBN 0-7695-0493-0
Track 4: Emerging Technologies
Advances in Software Specification and Verification
Gwendolyn H. Walton
: Developing and Verifying Rigorous Specifications with Viewpoints, Use Cases, and Sequence-based Specification Methods.
Errors, Risks, and Security in Information Technology
Raymond J. Butler
: Is This Spreadsheet a Tax Evader? How H.M. Customs and Excise Test Spreadsheet Applications.
Restructuring the Electric Power Industry:
Emerging Issues, Methods and Tools
Robert J. Thomas
: Restructuring the Electric Power Industry: Emerging Issues, Methods and Tools - Introduction.
: Strategic Behavior in Spot Markets for Electricity when Load is Stochastic.
: Pricing Electricity Derivatives under Alternative Stochastic Spot Price Models.
: The Competitive Market for Electricity in Australia: Why it Works so Well.
: Unbundling of Transmission: The Operation and Economics of a For-Profit Transmission Company.
John A. C. Woodley
: Reliability at Any Cost - Risk Management through Contract Technology.
: Forecasting Long-Term Electric Price Volatility for Valuation of Real Power Options.
Software Process Improvement