1624 search results - page 239 / 325 » Fairness in multi-agent systems |
151
click to vote
SAC
2006
ACM
16 years 23 days ago
2006
ACM
Unstructured peer-to-peer lookup systems incur small constant overhead per single join or leave operation, and can easily support keyword searches. Hence, they are suitable for dy...
185
click to vote
ICTAC
2005
Springer
16 years 10 days ago
2005
Springer
It has recently been shown that fair exchange, a security problem in distributed systems, can be reduced to a fault tolerance problem, namely a special form of distributed consensu...
162
click to vote
ICS
1999
Tsinghua U.
15 years 11 months ago
1999
Tsinghua U.
In this paper we examine how application performance scales on a state-of-the-art shared virtual memory (SVM) system on a cluster with 64 processors, comprising 4-way SMPs connect...
171
click to vote
CHARME
1997
Springer
15 years 10 months ago
1997
Springer
Formal verification techniques need to deal with the complexity of the systems rified. Most often, this problem is solved by taking an abstract model of the system and aiming at a...
169
click to vote
USENIX
1994
15 years 8 months ago
1994
The Network Time Protocol (NTP) is widely used to synchronize computer clocks throughout the Internet. Existing NTP clients and servers form a very large distributed system, and y...