1134 search results - page 129 / 227 » Distributed Proving in Access-Control Systems |
122
Voted
SIGMETRICS
2010
ACM
15 years 1 months ago
2010
ACM
In this paper, we consider an M/M/k queueing system with setup costs. Servers are turned off when there is no work to do, but turning on an off server incurs a setup cost. The s...
175
Voted
OTM
2005
Springer
15 years 9 months ago
2005
Springer
Nowadays, workflow research has shifted from fundamentals of workflow modelling and enactment towards improvement of the workflow modelling lifecycle and integration of workflow en...
108
Voted
HICSS
1994
IEEE
15 years 7 months ago
1994
IEEE
We present a new distributed algorithm that detects and resolves communication deadlocks on-line, i.e., simultaneously detects and resolves deadlock as communication requests are ...
245
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
Peer-to-peer (P2P) storage is a promising technology to provide users with cheap and online persistence. However, due the instability of these infrastructures, P2P storage systems...
145
Voted
PODC
2012
ACM
13 years 6 months ago
2012
ACM
This paper proves a necessary and sufficient condition for the existence of iterative algorithms that achieve approximate Byzantine consensus in arbitrary directed graphs, where e...