Proceedings IEEE International Computer Performance and Dependability Symposium. IPDS 2000