1206 search results - page 148 / 242 » Concurrent Abstract Predicates |
116
click to vote
ICDE
2010
IEEE
15 years 9 months 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...
108
click to vote
FOCS
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— Under CPA and CCA1 attacks, a secure bit encryption scheme can be applied bit-by-bit to construct a secure many-bit encryption scheme. The same construction fails, howe...
120
click to vote
FMCAD
2009
Springer
15 years 9 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
141
click to vote
TPCTC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Event processing engines are used in diverse mission-critical scenarios such as fraud detection, traffic monitoring, or intensive care units. However, these scenarios hav...
108
click to vote
INFOCOM
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—To achieve scalability, energy-efficiency, and timeliness, wireless sensor network deployments increasingly employ in-network processing. In this paper, we identify sin...