677 search results - page 56 / 136 » Automatized Verification of Ad Hoc Routing Protocols |
ICPPW
2002
IEEE
14 years 1 months ago
2002
IEEE
In traditional ad hoc networks, all nodes are considered equal and take equal part in the routing and forwarding of packets. We believe that this may not always be desirable. Rath...
MOBIQUITOUS
2005
IEEE
14 years 2 months ago
2005
IEEE
The publish/subscribe model of communication provides sender/receiver decoupling and selective information dissemination that is appropriate for mobile environments characterized ...
MATA
2000
Springer
14 years 12 days ago
2000
Springer
Extensive research on mobile agents has been rife with the growing interests in network computing. In this paper, we have discussed a mobile multi-agent-based framework to address ...
KIVS
2007
Springer
14 years 3 months ago
2007
Springer
In this paper, we introduce two protocols - a routing and a broadcasting protocol - for ad-hoc networks which are based on a new paradigm enabled by the broadcast property of the w...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
—Wireless ad hoc networks are inherently vulnerable, as any node can disrupt the communication of potentially any other node in the network. Many solutions to this problem have b...