531 search results - page 19 / 107 » Dynamic Observers for Fault Diagnosis of Timed Systems |
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
The steel production of the German company Saarstahl AG, a global respected steel manufacturer, represents a Supply Chain which comprehends several time-critical and highly interf...
DSN
2002
IEEE
14 years 21 days ago
2002
IEEE
Designing applications with timeliness requirements in environments of uncertain synchrony is known to be a difficult problem. In this paper, we follow the perspective of timing ...
ATVA
2009
Springer
14 years 2 months ago
2009
Springer
: In this paper, we address the problem of synthesizing opaque systems. A secret predicate S over the runs of a system G is opaque to an external user having partial observability ...
PRDC
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents the performance analysis of several well-known partitioning scheduling algorithms in real-time and fault-tolerant multiprocessor systems. Both static and dynam...
DSN
2000
IEEE
14 years 4 days ago
2000
IEEE
Byzantine quorum systems [13] enhance the availability and efficiency of fault-tolerant replicated services when servers may suffer Byzantine failures. An important limitation of...