79 search results - page 12 / 16 » Theory and Techniques for Automatic Generation of Vulnerabil... |
WWW
2006
ACM
14 years 9 months ago
2006
ACM
This work addresses conceptual modeling and automatic code generation for Rich Internet Applications, a variant of Web-based systems bridging the gap between desktop and Web inter...
ICML
2004
IEEE
14 years 9 months ago
2004
IEEE
Hill-climbing search is the most commonly used search algorithm in ILP systems because it permits the generation of theories in short running times. However, a well known drawback...
SIGMOD
2010
ACM
13 years 8 months ago
2010
ACM
Improving data quality is a time-consuming, labor-intensive and often domain specific operation. Existing data repair approaches are either fully automated or not efficient in int...
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...
SIGIR
2005
ACM
14 years 2 months ago
2005
ACM
In Information Retrieval (IR), the Dirichlet Priors have been applied to the smoothing technique of the language modeling approach. In this paper, we apply the Dirichlet Priors to...