DocumentCode
3425598
Title
Proceedings. 11th Pacific Rim International Symposium on Dependable Computing
fYear
2005
fDate
12-14 Dec. 2005
Abstract
The following topics are dealt with: dependable computing; distributed protocols; distributed systems; software reliability; software testing; fault tolerance; validation; modeling; checkpointing; recovery; high-performance systems; security; distributed systems modeling; mobile systems; mobile networks; code; and language.
Keywords
checkpointing; fault tolerant computing; formal verification; mobile computing; program testing; protocols; security of data; checkpointing; dependable computing; distributed protocols; distributed systems modeling; fault tolerance; high-performance systems; mobile networks; mobile systems; software reliability; software testing; system recovery;
fLanguage
English
Publisher
ieee
Conference_Titel
Dependable Computing, 2005. Proceedings. 11th Pacific Rim International Symposium on
Conference_Location
Hunan, China
Print_ISBN
0-7695-2492-3
Type
conf
DOI
10.1109/PRDC.2005.4
Filename
1607485
Link To Document