3256 search results - page 120 / 652 » Applications of Formal Methods to System Design and Verifica... |
132
click to vote
SAFECOMP
2007
Springer
15 years 10 months ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
152
click to vote
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
148
click to vote
ACHI
2009
IEEE
15 years 11 months ago
2009
IEEE
— As cameras and storage devices have become cheaper, the number of video surveillance systems has also increased. Video surveillance was (and mostly is) done by human operators ...
149
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...
141
click to vote
ENTCS
2006
15 years 4 months ago
2006
Graph traversals are in the basis of many distributed algorithms. In this paper, we use graph relabelling systems to encode two basic graph traversals which are the broadcast and ...