9210 search results - page 426 / 1842 » Analyzing Real-Time Systems |
169
click to vote
GI
2004
Springer
16 years 7 days ago
2004
Springer
: Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour despite the appearance of errors. In ...
190
click to vote
USS
2008
15 years 9 months ago
2008
Commercial electronic voting systems have experienced many high-profile software, hardware, and usability failures in real elections. While it is tempting to abandon electronic vo...
164
click to vote
FORMATS
2005
Springer
16 years 11 days ago
2005
Springer
We define quantitative similarity functions between timed transition systems that measure the degree of closeness of two systems as a real, in contrast to the traditional boolean ...
160
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour in spite of the appearance of errors. ...
187
click to vote
RTCSA
2005
IEEE
16 years 13 days ago
2005
IEEE
Priorities are used to resolve conflicts such as in resource sharing and in safety designs. The use of priorities has become indispensable in real-time system design such as in s...