Sciweavers

702 search results - page 31 / 141
» Diagnosis of t s-Diagnosable Systems
Sort
View
94
Voted
IWSAS
2001
Springer
15 years 4 months ago
Model-Based Diagnosis for Information Survivability
The Infrastructure of modern society is controlled by software systems that are vulnerable to attack. Successful attacks on these systems can lead to catastrophic results; the sur...
Howard E. Shrobe
92
Voted
SEFM
2009
IEEE
15 years 7 months ago
An Automated Approach to Verifying Diagnosability in Multi-agent Systems
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
Jonathan Ezekiel, Alessio Lomuscio
84
Voted
CONCUR
2003
Springer
15 years 5 months ago
Distributed Monitoring of Concurrent and Asynchronous Systems
In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our app...
Albert Benveniste, Stefan Haar, Eric Fabre, Claude...
ISCAS
2003
IEEE
167views Hardware» more  ISCAS 2003»
15 years 5 months ago
The multi-level paradigm for distributed fault detection in networks with unreliable processors
In this paper, we study the effectiveness of the multilevel paradigm in considerably reducing the diagnosis latency of distributed algorithms for fault detection in networks with ...
Krishnaiyan Thulasiraman, Ming-Shan Su, V. Goel
80
Voted
OSDI
2008
ACM
16 years 22 days ago
Empirical Comparison of Techniques for Automated Failure Diagnosis
Automated techniques to diagnose the cause of system failures based on monitoring data is an active area of research at the intersection of systems and machine learning. In this p...
Songyun Duan, Shivnath Babu