15792 search results - page 33 / 3159 » Computational Abstraction Steps |
124
Voted
AINA
2009
IEEE
15 years 8 months 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...
120
Voted
APLAS
2010
ACM
15 years 3 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...
130
Voted
WS
2008
ACM
15 years 3 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...
122
Voted
TIDSE
2004
Springer
15 years 8 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...
120
Voted
NDSS
2000
IEEE
15 years 7 months 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...