384 search results - page 25 / 77 » Formal Development of Reactive Fault Tolerant Systems |
WORDS
2003
IEEE
14 years 28 days ago
2003
IEEE
Assigning an application’s fault-tolerance properties (e.g., replication style, checkpointing frequency) statically, and in an arbitrary manner, can lead to the application not ...
DSN
2000
IEEE
14 years 3 days 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...
EUMAS
2006
13 years 9 months ago
2006
Fault tolerance is an important property of large-scale multiagent systems as the failure rate grows with both the number of the hosts and deployed agents, and the duration of com...
ICPADS
1998
IEEE
13 years 12 months ago
1998
IEEE
This paper presents a new conceptual model, the XBWModel. Distributed computing is becoming a cost effective way to implement safety critical control systems. To support the devel...
RTSS
1998
IEEE
13 years 12 months ago
1998
IEEE
Previous ultra-dependable real-time computing architectures have been specialised to meet the requirements of a particular application domain. Over the last two years, a consortiu...