Title :
Proceedings. 10th IEEE Pacific Rim International Symposium on Dependable Computing
Abstract :
Presents the cover from the proceedings of this conference.
Keywords :
Internet; distributed processing; fault tolerant computing; formal verification; software reliability; system recovery; Web; checkpointing; distributed system modeling; fault tolerance; high-performance computing; mobile wireless ad hoc network; software reliability; software testing; system dependability benchmarking; system recovery; wide area network;
Conference_Titel :
Dependable Computing, 2004. Proceedings. 10th IEEE Pacific Rim International Symposium on
Conference_Location :
Papeete, Tahiti, French Polynesia
Print_ISBN :
0-7695-2076-6
DOI :
10.1109/PRDC.2004.1276536