Title :
Table of contents
fDate :
Sept. 30 2013-Oct. 3 2013
Abstract :
The following topics are dealt with: reliable distributed systems; network reliability and integrity; uncertainty handling; replication; detection and diagnosis; formal models; transactions and consistency; and security.
Keywords :
data integrity; distributed processing; formal specification; security of data; telecommunication network reliability; transaction processing; uncertainty handling; consistency; detection; diagnosis; formal models; network integrity; network reliability; reliable distributed systems; replication; security; transactions; uncertainty handling;
Conference_Titel :
Reliable Distributed Systems (SRDS), 2013 IEEE 32nd International Symposium on
Conference_Location :
Braga
DOI :
10.1109/SRDS.2013.4
