9210 search results - page 151 / 1842 » Analyzing Real-Time Systems |
RTSS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
DSN
2004
IEEE
14 years 27 days ago
2004
IEEE
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...
CSREAPSC
2006
13 years 10 months ago
2006
RTSS
2006
IEEE
14 years 3 months ago
2006
IEEE
ECRTS
2003
IEEE
14 years 2 months ago
2003
IEEE