1134 search results - page 143 / 227 » Distributed Proving in Access-Control Systems |
171
click to vote
SPAA
2010
ACM
15 years 11 months ago
2010
ACM
In this work, we address Byzantine agreement in a message passing system with homonyms, i.e. a system with a number l of authenticated identities that is independent of the total ...
156
click to vote
PODC
2005
ACM
15 years 11 months ago
2005
ACM
Simultaneous Broadcast protocols allow different parties to broadcast values in parallel while guaranteeing mutual independence of the broadcast values. In this work, we study va...
136
click to vote
TIT
2002
15 years 5 months ago
2002
This paper proves large-system asymptotic normality of the output of a family of linear multiuser receivers that can be arbitrarily well approximated by polynomial receivers. This ...
206
click to vote
JSSPP
1995
Springer
15 years 9 months ago
1995
Springer
We describe a scheduler based on the microeconomic paradigm for scheduling on-line a set of parallel jobs in a multiprocessor system. In addition to increasing the system throughpu...
148
click to vote
CONCUR
2007
Springer
16 years 11 days ago
2007
Springer
Priority is a frequently used feature of many computational systems. In this paper we study the expressiveness of two process algebras enriched with different priority mechanisms...