504 search results - page 78 / 101 » Reasoning about local properties in modal logic |
130
Voted
TLDI
2005
ACM
15 years 7 months 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 ...
128
click to vote
CCS
2005
ACM
15 years 7 months 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...
LOBJET
2008
15 years 1 months ago
2008
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way t...
99
Voted
FM
1999
Springer
15 years 6 months ago
1999
Springer
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...
129
Voted
HICSS
2000
IEEE
15 years 6 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...