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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3425598
بازگشت