1833 search results - page 27 / 367 » Mechanized Verification with Sharing |
131
click to vote
SP
2008
IEEE
14 years 11 months ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
103
click to vote
PPAM
2005
Springer
15 years 6 months ago
2005
Springer
This paper describes a checkpointing mechanism destined for Distributed Shared Memory (DSM) systems with speculative prefetching. Speculation is a general technique involving predi...
ICC
2009
IEEE
15 years 7 months ago
2009
IEEE
: It is well known that no security mechanism can provide full protection against a potential attack. There is always a possibility that a security incident may happen, mainly as a...
105
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
102
click to vote
POPL
1993
ACM
15 years 5 months ago
1993
ACM
Static scoping embodies a strong encapsulation mechanism for hiding the details of program units. Yet, it does not allow the sharing of variable bindings locations across indepe...