3081 search results - page 343 / 617 » A Formal Ontology of Properties |
166
click to vote
CAV
2007
Springer
16 years 26 days ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
161
click to vote
CSL
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Establishing local consistency is one of the main algorithmic techniques in temporal and spatial reasoning. In this area, one of the central questions for the various pro...
213
click to vote
FASE
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
185
click to vote
SEW
2003
IEEE
15 years 12 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
175
click to vote
CRYPTO
2003
Springer
15 years 12 months ago
2003
Springer
We revisit the definitions of zero-knowledge in the Common Reference String (CRS) model and the Random Oracle (RO) model. We argue that even though these definitions syntacticall...