2321 search results - page 189 / 465 » A Protocol for a Distributed Recommender System |
140
click to vote
TIFS
2010
15 years 2 months ago
2010
A fair contract signing protocol allows two potentially mistrusted parities to exchange their commitments (i.e., digital signatures) to an agreed contract over the Internet in a f...
128
click to vote
GC
2004
Springer
15 years 9 months ago
2004
Springer
We describe the architecture and the implementation of the MIKADO software framework, that we call IMC (Implementing Mobile Calculi). The framework aims at providing the programmer...
147
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
146
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
The real-time scheduling advisor (RTSA) is an entirely userlevel system that an application running on a typical shared, unreserved distributed computing environment can turn to f...
146
click to vote
ICDCS
1997
IEEE
15 years 8 months ago
1997
IEEE
Cooperative caching is a promising technique to avoid the increasingly formidable disk bottleneck problem in distributed storage systems; it reduces the number of disk accesses by...