1833 search results - page 193 / 367 » Mechanized Verification with Sharing |
172
click to vote
P2P
2006
IEEE
16 years 16 days ago
2006
IEEE
P2P systems that rely on the voluntary contribution of bandwidth by the individual peers may suffer from freeriding. To address this problem, mechanisms enforcing fairness in band...
178
click to vote
PPOPP
2006
ACM
16 years 14 days ago
2006
ACM
Recently there has been renewed interest in building reliable servers that support continuous application operation. Besides maintaining system state consistent after a failure, o...
147
click to vote
CLUSTER
2002
IEEE
15 years 11 months ago
2002
IEEE
Clusters have made the jump from lab prototypes to fullfledged production computing platforms. The number, variety, and specialized configurations of these machines are increasi...
161
click to vote
GROUP
2007
ACM
15 years 10 months ago
2007
ACM
Being aware of others' activities has played a vital role in the success of online collaboration. This resulted in the emergence of many groupware systems that provide users ...
170
click to vote
LISA
1994
15 years 7 months ago
1994
Managing large scale UNIX networks so that users can use resources on multiple systems is traditionally performed using NIS, NFS, and DNS. Proper use of these tools requires exact...