1134 search results - page 86 / 227 » Distributed Proving in Access-Control Systems |
124
click to vote
ACTA
2007
15 years 3 months ago
2007
We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular ...
121
Voted
MOBISYS
2007
ACM
16 years 2 months ago
2007
ACM
Presence-sharing is an emerging platform for mobile applications, but presence-privacy remains a challenge. Privacy controls must be flexible enough to allow sharing between both ...
133
Voted
EUROSYS
2008
ACM
16 years 13 days ago
2008
ACM
The tuple space coordination model is one of the most interesting coordination models for open distributed systems due to its space and time decoupling and its synchronization pow...
128
click to vote
WDAG
1993
Springer
15 years 7 months ago
1993
Springer
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...
144
Voted
TWC
2011
14 years 10 months ago
2011
— The mutual information (MI) of multiple-input multiple-output (MIMO) system over Rayleigh fading channel is known to asymptotically follow a normal probability distribution. In...