2321 search results - page 412 / 465 » A Protocol for a Distributed Recommender System |
108
click to vote
CCR
2004
15 years 1 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
107
click to vote
INFOCOM
2010
IEEE
14 years 12 months ago
2010
IEEE
In this paper, we investigate the multi-channel MAC problem in underwater acoustic sensor networks. To reduce hardware cost, only one acoustic transceiver is often preferred on ev...
117
click to vote
IWSEC
2010
Springer
14 years 12 months ago
2010
Springer
Multicast traffic, such as live audio/video streaming, is an important application for Mobile Ad Hoc Networks (MANETs), including those used by militaries and disaster recovery tea...
129
click to vote
JFP
2010
14 years 12 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
103
click to vote
JSAC
2010
14 years 12 months ago
2010
—Wireless Multimedia Sensor Networks (WMSNs) are distributed systems of wirelessly networked devices that allow retrieving video and audio streams, still images, and scalar senso...