384 search results - page 1 / 77 » Formal Development of Reactive Fault Tolerant Systems |
RISE
2005
Springer
13 years 9 months ago
2005
Springer
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
FTRTFT
2000
Springer
13 years 7 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
HASE
2007
IEEE
13 years 10 months ago
2007
IEEE
We study recent developments in quantum computing (QC) testing and fault tolerance (FT) techniques and discuss several attempts to formalize quantum logic fault models. We illustr...
ICECCS
2009
IEEE
13 years 11 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
ATAL
2005
Springer
13 years 9 months ago
2005
Springer
Researchers have been emphasizing the strong role that multi-agent systems can play progressively towards the design and implementation of complex autonomic systems. The aim of th...