2203 search results - page 189 / 441 » Temporal Abstract Interpretation |
161
Voted
ASPLOS
2004
ACM
15 years 9 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
235
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Transparent persistence promises to integrate programming languages and databases by allowing procedural programs to access persistent data with the same ease as non-persistent da...
121
Voted
WILF
2007
Springer
15 years 10 months ago
2007
Springer
The standard approach to information entropy applied to partitions of a universe is equivalently formulated as the entropy of the corresponding crisp identity resolutions, interpre...
147
click to vote
TCC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
214
click to vote
CSFW
2011
IEEE
14 years 3 months ago
2011
IEEE
—This paper explores the idea of knowledge-based security policies, which are used to decide whether to answer queries over secret data based on an estimation of the querier’s ...