4595 search results - page 558 / 919 » Reasoning about Plans |
190
click to vote
TLDI
2005
ACM
16 years 13 days ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
155
click to vote
WOWMOM
2005
ACM
16 years 13 days ago
2005
ACM
— Self-management has often been proposed as a means to reduce the growing complexity of administration in distributed systems. We argue that this can be achieved through aggress...
200
click to vote
ATAL
2005
Springer
16 years 13 days ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
214
click to vote
CCS
2005
ACM
16 years 13 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
147
click to vote
CCS
2005
ACM
16 years 13 days ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...