511 search results - page 53 / 103 » More Precise Partition Abstractions |
212
Voted
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 ...
128
click to vote
PEPM
2010
ACM
16 years 19 days ago
2010
ACM
Pushdown systems are well understood as abstract models of programs with (recursive) procedures. Reps et al. recently extended pushdown systems into weighted pushdown systems, whi...
121
Voted
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques...
119
click to vote
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
115
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...