33. HICSS 2000:
Maui, Hawaii, USA
33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, Track 4:
Emerging Technologies. IEEE Computer Society, 2000,
http://computer.org/proceedings/hicss/0493/04934/0493toc.htm
Emerging Technologies Track
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.
Timothy Mount:
Strategic Behavior in Spot Markets for Electricity when Load is Stochastic.
Shi-Jie Deng:
Pricing Electricity Derivatives under Alternative Stochastic Spot Price Models.
Hugh Outhred:
The Competitive Market for Electricity in Australia: Why it Works so Well.
Richard Tabors:
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.
Victor Neimeyer:
Forecasting Long-Term Electric Price Volatility for Valuation of Real Power Options.
Software Process Improvement