1024 search results - page 59 / 205 » Fault Tolerance in Decentralized Systems |
148
click to vote
SAFECOMP
2000
Springer
15 years 9 months ago
2000
Springer
Fault tolerant systems based on the use of software design diversity may be able to achieve high levels of reliability more cost-effectively than other approaches, such as heroic ...
157
click to vote
DSN
2007
IEEE
16 years 14 days ago
2007
IEEE
Autonomous robots offer alluring perspectives in numerous application domains: space rovers, satellites, medical assistants, tour guides, etc. However, a severe lack of trust in t...
194
click to vote
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
141
click to vote
DSN
2000
IEEE
15 years 10 months ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...
181
click to vote
COMPSAC
1998
IEEE
15 years 10 months ago
1998
IEEE
Middleware implementation of various critical services required by large-scale and complex real-time applications on top of COTS operating system is currently an approach of growi...