133 search results - page 4 / 27 » Static Checking of Dynamically Generated Queries in Database... |
ERSHOV
2009
Springer
13 years 3 months ago
2009
Springer
Abstract. Historically, dynamic techniques are the pioneers of the area of information flow in the 70's. In their seminal work, Denning and Denning suggest a static alternativ...
OOPSLA
2005
Springer
13 years 11 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
ICDE
2010
IEEE
14 years 8 days ago
2010
IEEE
Abstract— Checking if an SQL query has been written correctly is not an easy task. Formal verification is not applicable, since it is based on comparing a specification with an...
WORM
2003
13 years 6 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...
SIGMOD
2003
ACM
14 years 5 months ago
2003
ACM
In decision support applications, the ability to provide fast approximate answers to aggregation queries is desirable. One commonly-used technique for approximate query answering ...