377 search results - page 63 / 76 » Distributed computation under bit constraints |
MOBICOM
2006
ACM
14 years 1 months ago
2006
ACM
Wide area ocean networks for monitoring and scientific exploratory purposes are in various stages of design; smallscale networks are already in various stages of deployment and te...
ICNP
2005
IEEE
14 years 1 months ago
2005
IEEE
The recent discovery of instability caused by the interaction of local routing policies of multiple ASes has led to extensive research on the subject. However, previous studies an...
DMSN
2004
ACM
14 years 1 months ago
2004
ACM
A distributed data-stream architecture finds application in sensor networks for monitoring environment and activities. In such a network, large numbers of sensors deliver continu...
NPC
2004
Springer
14 years 1 months ago
2004
Springer
This paper is motivated by the problem of poor searching efficiency in decentralized peer-to-peer file-sharing systems. We solve the searching problem by considering and modeling t...
DSN
2002
IEEE
14 years 18 days ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...