DSN 2000 - PDF Preprint Papers

DSN 2000 International Conference on Dependable Systems and Networks

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed DSN-2000 Paper

click to vote

DSN
2000
IEEE

161views Computer Networks» more DSN 2000»

DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems

13 years 4 months ago

Download bonda.cnuce.cnr.it

Multiple-Phased Systems, whose operational life can be partitioned in a set of disjoint periods, called “phases”, include several classes of systems such as Phased Mission Sys...

Andrea Bondavalli, Ivan Mura, Silvano Chiaradonna,...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	161	DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems	claim
2	150	Resource Scheduling in Dependable Integrated Modular Avionics	claim
3	143	Reliability Testing of Applications on Windows NT	claim
4	140	Benchmarking Anomaly-Based Detection Systems	claim
5	140	On the Emulation of Software Faults by Software Fault Injection	claim
6	139	Data Replication Strategies for Fault Tolerance and Availability on Commodity Clusters	claim
7	138	From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach	claim
8	132	Dynamic Byzantine Quorum Systems	claim
9	123	Whither Generic Recovery from Application Faults? A Fault Study using Open-Source Software	claim
10	121	Testing for Software Vulnerability Using Environment Perturbation	claim
11	118	Towards Dependable Home Networking: An Experience Report	claim
12	118	Software-Implemented Fault Detection for High-Performance Space Applications	claim
13	114	A Low Latency, Loss Tolerant Architecture and Protocol for Wide Area Group Communication	claim
14	113	Survivability Analysis of Network Specifications	claim
15	111	A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks	claim
16	104	Experiences with Group Communication Middleware	claim
17	104	Robustness Testing of the Microsoft Win32 API	claim
18	102	An Automatic SPIN Validation of a Safety Critical Railway Control System	claim
19	101	Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems	claim
20	98	Exploiting Non-Determinism for Reliability of Mobile Agent Systems	claim
21	95	Implementing Flexible Object Group Invocation in Networked Systems	claim
22	92	Loki: A State-Driven Fault Injector for Distributed Systems	claim
23	91	Implementing e-Transactions with Asynchronous Replication	claim
24	90	OFTT: A Fault Tolerance Middleware Toolkit for Process Monitoring and Control Windows NT Applications	claim
25	89	Executable Assertions for Detecting Data Errors in Embedded Control Systems	claim
26	89	Efficient Incremental Checkpointing of Java Programs	claim
27	79	Towards Continuous Availability of Internet Services through Availability Domains	claim
28	69	On the Quality of Service of Failure Detectors	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers