2004 International Conference on Dependable Systems and Networks

fYear

2004

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Dependable Systems and Networks, 2004 International Conference on

Conference_Location

Florence, Italy

Print_ISBN

0-7695-2052-9

Type

conf

DOI

10.1109/DSN.2004.1311854

Filename

1311854