1629 search results - page 302 / 326 » Infeasible Code Detection |
ACNS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Supervisory Control And Data Acquisition (SCADA) systems are real-time process control systems that are widely deployed throughout critical infrastructure sectors includi...
MHCI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The field of Remote Vehicle Diagnostics can be described as the remote management of vehicles equipped with electronic control systems. Despite the great potential that i...
SCVMA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper, several important issues related to visual motion analysis are addressed with a focus on the type of motion information to be estimated and the way context...
TLDI
2003
ACM
14 years 2 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
PTS
1993
13 years 10 months ago
1993
In the area of testing communication systems, the interfaces between systems to be tested and their testers have great impact on test generation and fault detectability. Several t...