322 search results - page 39 / 65 » Testing Deadlock-Freeness in Real-Time Systems: A Formal App... |
120
click to vote
TSMC
2008
15 years 1 months ago
2008
This correspondence presents an approach to the detection and isolation of component failures in large-scale systems. In the case of sensors that report at rates of 1 Hz or less, t...
137
click to vote
GLOBECOM
2008
IEEE
15 years 2 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
129
click to vote
TASE
2009
IEEE
15 years 8 months ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
105
click to vote
DATE
2000
IEEE
15 years 6 months ago
2000
IEEE
In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...
125
click to vote
RIAO
2007
15 years 3 months ago
2007
In this paper, we describe a novel methodology that integrates the design of the (i) user interface; (ii) interaction logger; and (iii) log analyzer. It is based on formalizing, v...