8177 search results - page 1005 / 1636 » Detecting System Emulators |
171
click to vote
VL
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we present a system that helps users test their spreadsheets using automatically generated test cases. The system generates the test cases by backward propagation an...
178
click to vote
ACSAC
2005
IEEE
16 years 26 days ago
2005
IEEE
Logging and auditing is an important system facility for monitoring correct system operation and for detecting potential security problems. We present an architecture for implemen...
175
click to vote
ICDE
2005
IEEE
16 years 26 days ago
2005
IEEE
Abstract— Detecting and unraveling incipient coordinated attacks on Internet resources requires a distributed network monitoring infrastructure. Such an infrastructure will have ...
209
click to vote
CAV
2004
Springer
16 years 19 days ago
2004
Springer
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
200
click to vote
ISER
2004
Springer
16 years 18 days ago
2004
Springer
This paper reports on experiments conducted as part of the DARPA SDR (Software for Distributed Robotics) program. The core challenge for this program is to develop a system capable...