Title :
2004 International Conference on Dependable Systems and Networks
fDate :
June 28 2004-July 1 2004
Abstract :
The following topics are dealt with: overlay networks, fault tolerant hardware design; security attacks; coding techniques; formal methods; soft errors in future computing systems; broadcast and multicast; dependability assessment; distributed algorithms; embedded and real-time systems; evaluation tools and methods; intrusion detection and intrusion tolerance; fault-tolerant routing; dissemination and diffusion; fault-tolerance and real-time; support for security and dependability; mobility and wireless systems; fault trees and modelling; dependability and performance assessment; model checking; QoS and performance evaluation; sensor networks; evaluation theory; and dependability benchmarking.
Keywords :
benchmark testing; distributed algorithms; embedded systems; encoding; fault tolerant computing; fault trees; formal verification; multicast communication; performance evaluation; quality of service; real-time systems; safety systems; security of data; sensors; telecommunication network routing; QoS; broadcasting; coding techniques; dependability assessment; dependability benchmarking; distributed algorithms; embedded systems; evaluation theory; fault tolerant hardware design; fault trees; fault-tolerant routing; formal methods; intrusion detection; intrusion tolerance; mobility; model checking; multicast communication; overlay networks; performance evaluation; real-time systems; security attacks; sensor networks; soft errors; wireless systems;
Conference_Titel :
Dependable Systems and Networks, 2004 International Conference on
Conference_Location :
Florence, Italy
Print_ISBN :
0-7695-2052-9
DOI :
10.1109/DSN.2004.1311854
