1236 search results - page 12 / 248 » Efficient Interpretation Policies |
COMPSAC
1999
IEEE
13 years 11 months ago
1999
IEEE
In this paper, we study the optimal software release problem considering cost, reliability and testing eficiency. We first propose a generalized logistic testing-effort function t...
CIKM
2000
Springer
13 years 11 months ago
2000
Springer
CORR
2010
Springer
13 years 4 months ago
2010
Springer
ESORICS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper argues that Haigh and Young’s definition of noninterference for intransitive security policies admits information flows that are not in accordance with the...
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
tnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, F-35042 R...