1134 search results - page 142 / 227 » Distributed Proving in Access-Control Systems |
141
Voted
DAGSTUHL
2000
15 years 5 months ago
2000
Queueing network models have been extensively applied to represent and analyze resource sharing systems such as communication and computer systems and they have proved to be a pow...
136
Voted
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...
185
Voted
PODC
2012
ACM
13 years 6 months ago
2012
ACM
The goal of Byzantine Broadcast (BB) is to allow a set of fault-free nodes to agree on information that a source node wants to broadcast to them, in the presence of Byzantine faul...
143
Voted
EDO
2006
Springer
15 years 7 months ago
2006
Springer
Embedded systems are rapidly growing in size, complexity, distribution, and heterogeneity. As a result, the traditional practice of developing one-off embedded applications that a...
126
Voted
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
We introduce a new class of games, asynchronous congestion games (ACGs). In an ACG, each player has a task that can be carried out by any element of a set of resources, and each r...