2269 search results - page 343 / 454 » Behavioral Intrusion Detection |
ISSTA
2006
ACM
14 years 4 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
IEEEAMS
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper demonstrates that the dependability of generic, evolving J2EE applications can be enhanced through a combination of a few recovery-oriented techniques. Our goal is to r...
IWSSD
2000
IEEE
14 years 2 months ago
2000
IEEE
Most software that most people use most of the time needs only moderate assurance of fitness for its intended purpose. Unlike high-assurance software, where the severe consequence...
ASPLOS
2006
ACM
14 years 1 months ago
2006
ACM
Debugging data races in parallel applications is a difficult task. Error-causing data races may appear to vanish due to changes in an application's optimization level, thread...
APSEC
1995
IEEE
14 years 1 months ago
1995
IEEE
Guaranteeiq reproducibility and minimizing probe effects are major issues in the parallel program debugging. This paper suggests a new debugging method, named Detect and Reproduce...