2321 search results - page 83 / 465 » A Protocol for a Distributed Recommender System |
AAAI
2004
15 years 2 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
140
click to vote
BIOSIG
2009
14 years 11 months ago
2009
: In ACISP'07, Bringer et al proposed a new approach for remote biometric based verification, which consists of a hybrid protocol that distributes the server side functionalit...
113
click to vote
EUROPAR
2004
Springer
15 years 5 months ago
2004
Springer
The trend of data intensive grid applications has brought grid storage protocols and servers into focus. The objective of this study is to gain an understanding of how time is spen...
116
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper we present an approach to the design optimization of faulttolerant embedded systems for safety-critical applications. Processes are statically scheduled and communic...
124
click to vote
HOTOS
1999
IEEE
15 years 5 months ago
1999
IEEE
Wide-area distributed applications are frequently limited by the performance of Internet data transfer. We argue that the principle cause of this effect is the poor interaction be...