15792 search results - page 33 / 3159 » Computational Abstraction Steps |
AINA
2009
IEEE
14 years 28 days ago
2009
IEEE
-- Most network intruders launch their attacks through stepping-stones to reduce the risks of being discovered. To uncover such intrusions, one prevalent, challenging, and critical...
APLAS
2010
ACM
13 years 8 months ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
WS
2008
ACM
13 years 7 months ago
2008
ACM
Since achieving W3C recommendation status in 2004, the Web Ontology Language (OWL) has been successfully applied to many problems in computer science. Practical experience with OW...
TIDSE
2004
Springer
14 years 1 months ago
2004
Springer
Achieving a successful Interactive Drama where the user can act as a character in the story requires not only finding an algorithmic solution for combining interactivity and narrat...
NDSS
2000
IEEE
14 years 6 days ago
2000
IEEE
We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success is to use static analysis: we formulate detection...