1433 search results - page 41 / 287 » An approach to detecting failures automatically |
156
click to vote
CADE
2012
Springer
13 years 8 months ago
2012
Springer
We introduce a technique to prove non-termination of term rewrite systems automatically. Our technique improves over previous approaches substantially, as it can also detect non-lo...
153
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
The computer systems security arms race between attackers and defenders has largely taken place in the domain of software systems, but as hardware complexity and design processes ...
183
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Several techniques have been proposed so far in order to perform faint compact source detection in wide field interferometric radio images. However, all these methods can easily mi...
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
In this paper, we propose a new method for automatically tracking the motion of local region in left ventricular myocardium by means of ultrasonic pulsed Doppler signal. This meth...
152
click to vote
ACSAC
2008
IEEE
16 years 20 days ago
2008
IEEE
Kernel-level rootkits affect system security by modifying key kernel data structures to achieve a variety of malicious goals. While early rootkits modified control data structur...