1134 search results - page 87 / 227 » Distributed Proving in Access-Control Systems |
116
click to vote
FAST
2004
15 years 4 months ago
2004
We describe a technique called lookaside caching that combines the strengths of distributed file systems and portable storage devices, while negating their weaknesses. In spite of...
120
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
107
Voted
IPPS
1997
IEEE
15 years 7 months ago
1997
IEEE
Naive parallel implementation of nondeterministic systems (such as a theorem proving system) and languages (such as a logic, constraint, or a concurrent constraint language)can re...
154
click to vote
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we analyze the problem of finding a periodic schedule for the wake-up times of a set of nodes in a Wireless Sensor Network that optimizes the coverage of the region...
143
Voted
SOSP
2001
ACM
16 years 7 days ago
2001
ACM
ing Abstraction to Improve Fault Tolerance MIGUEL CASTRO Microsoft Research and RODRIGO RODRIGUES and BARBARA LISKOV MIT Laboratory for Computer Science Software errors are a major...