1134 search results - page 143 / 227 » Distributed Proving in Access-Control Systems |
137
click to vote
SPAA
2010
ACM
15 years 8 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 ...
124
Voted
PODC
2005
ACM
15 years 9 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...
109
Voted
TIT
2002
15 years 3 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 ...
172
Voted
JSSPP
1995
Springer
15 years 7 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...
120
Voted
CONCUR
2007
Springer
15 years 9 months 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...