Sciweavers

2321 search results - page 269 / 465
» A Protocol for a Distributed Recommender System
Sort
View
IPTPS
2003
Springer
15 years 9 months ago
Rationality and Self-Interest in Peer to Peer Networks
Much of the existing work in peer to peer networking assumes that users will follow prescribed protocols without deviation. This assumption ignores the user’s ability to modify ...
Jeffrey Shneidman, David C. Parkes
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
15 years 8 months ago
Symbolic model checking of institutions
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
Francesco Viganò, Marco Colombetti
OSDI
2000
ACM
15 years 6 months ago
Overcast: Reliable Multicasting with an Overlay Network
Overcast is an application-level multicasting system that can be incrementally deployed using today's Internet infrastructure. These properties stem from Overcast's impl...
John Jannotti, David K. Gifford, Kirk L. Johnson, ...
EUROMICRO
2005
IEEE
15 years 10 months ago
RSerPool - Providing Highly Available Services using Unreliable Servers
The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by mechanisms an...
Thomas Dreibholz, Erwin P. Rathgeb
FORMATS
2004
Springer
15 years 10 months ago
Symbolic Model Checking for Probabilistic Timed Automata
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...
Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sprost...