1134 search results - page 145 / 227 » Distributed Proving in Access-Control Systems |
134
Voted
WDAG
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper studies the impact of omission failures on asynchronous distributed systems with crash-stop failures. We provide two different transformations for algorithms,...
115
Voted
JSSPP
2005
Springer
15 years 9 months ago
2005
Springer
As grid computing becomes more commonplace, so does the importance of coscheduling these geographically distributed resourcest. Negotiating resource management and scheduling deci...
140
Voted
ICPPW
2002
IEEE
15 years 8 months ago
2002
IEEE
We present a specification for a new, localized group membership service that maintains the membership status of adjacent nodes – called neighbors – in a mobile distributed s...
130
click to vote
PODC
2009
ACM
15 years 8 months ago
2009
ACM
We present DRR-gossip, an energy-efficient and robust aggregate computation algorithm in wireless sensor networks. We prove that the DRR-gossip algorithm requires O(n) messages a...
139
Voted
CONCUR
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The ambient calculus is a calculus of computation that allows active processes (mobile ambients) to move between sites. A firewall is said to be protective whenever it d...