1963 search results - page 53 / 393 » Applications of Preferences using Answer Set Programming |
129
click to vote
CASCON
2004
15 years 5 months ago
2004
For several reasons a database may not satisfy certain integrity constraints (ICs), for example, when it is the result of integrating several independent data sources. However, mo...
131
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
134
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Testing a large-scale, real-life commercial software application is a very challenging task due to the constant changes in the software, the involvement of multiple programmers an...
168
click to vote
PODS
2010
ACM
15 years 9 months ago
2010
ACM
Differential privacy is a robust privacy standard that has been successfully applied to a range of data analysis tasks. But despite much recent work, optimal strategies for answe...
151
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Hangal et. al. [3] have developed a procedure to check if an instance of the execution of a shared memory multiprocessor program, is consistent with the Total Store Order (TSO) mem...