1689 search results - page 2 / 338 » Refining abstract interpretations |
FAC
2010
13 years 8 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. We consider the interpretations of notions of access control (permissions, interdictions, obligations, and user rights) as run-time properties of information systems spec...
MICCAI
2004
Springer
14 years 11 months ago
2004
Springer
Abstract. This paper presents a robust method to correct for intensity differences across a series of aligned stained histological slices. The method is made up of two steps. First...
ADCM
2004
13 years 10 months ago
2004
We give an algebraic interpretation of the well
POPL
2004
ACM
14 years 11 months ago
2004
ACM
NON-INTERFERENCE rizing Non-Interference by Abstract Interpretation Roberto Giacobazzi and Isabella Mastroeni Dipartimento di Informatica Universit`a di Verona Italy POPL'04 -...