544 search results - page 99 / 109 » A Logic Based Approach to the Static Analysis of Production ... |
ACMMSP
2005
ACM
14 years 1 months ago
2005
ACM
64-bit address spaces are increasingly important for modern applications, but they come at a price: pointers use twice as much memory, reducing the effective cache capacity and m...
RIAO
2000
13 years 9 months ago
2000
We have developed a method for answering single answer questions automatically using a collection of documents or the Internet as a source of data for the production of the answer...
DATESO
2007
13 years 9 months ago
2007
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...
PTS
2007
13 years 9 months ago
2007
: The success and the acceptance of intrusion detection systems essentially depend on the accuracy of their analysis. Inaccurate signatures strongly trigger false alarms. In practi...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Context scenarios are widely used for assessing the robustness of strategies and policies in both the private and the public sector. Royal Dutch Shell, for instance, has become re...