2419 search results - page 241 / 484 » A Formal Approach to Software Testing |
135
click to vote
ET
2008
15 years 3 months ago
2008
Processor cores embedded in systems-on-a-chip (SoCs) are often deployed in critical computations, and when affected by faults they may produce dramatic effects. When hardware harde...
144
click to vote
RTSS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
132
click to vote
ECCV
2004
Springer
15 years 9 months ago
2004
Springer
Computer vision methods can be applied to a variety of medical and surgical applications, and many techniques and algorithms are available that can be used to recover 3D shapes and...
176
click to vote
ICVS
2003
Springer
15 years 9 months ago
2003
Springer
The paper considers detecting and tracking multiple moving objects in real time by a multiagent active vision system. The main objective of the envisioned system is to maintain an ...
142
click to vote
ENTCS
2002
15 years 3 months ago
2002
The perceived advantages of distributed systems, such as increased reliability and availability, are o set by the increased complexity of developing such applications. The develop...