1359 search results - page 96 / 272 » Equational Reasoning on Mobile Ad Hoc Networks |
109
click to vote
ICN
2007
Springer
15 years 5 months ago
2007
Springer
—Using Mobile Ad Hoc Networks (MANETs) for monitoring bovine animals potentially offers high increase in the profitability of cattle production. In this paper we propose a formal...
102
click to vote
INFOCOM
2000
IEEE
15 years 3 months ago
2000
IEEE
Abstract—In this paper, we present the implementation issues of a virtual backbone that supports the operations of the Uniform Quorum System (UQS) and the Randomized Database Gro...
100
click to vote
JCM
2006
14 years 11 months ago
2006
The use of middleware has extended from simply facilitating applications' communication to a broad set of services supporting a huge spectrum of networked and distributed comp...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
— Anycast is a communication paradigm that was first introduced to the suit of routing protocols in IPv6 networks. In anycast, a packet is intended to be delivered to one of the...
COMCOM
2004
14 years 11 months ago
2004
Routing of packets in mobile ad hoc networks with a large number of nodes or with high mobility is a very difficult task and current routing protocols do not really scale well wit...