717 search results - page 55 / 144 » A Graph-Based Model for Disconnected Ad Hoc Networks |
IFIP
2009
Springer
14 years 2 months ago
2009
Springer
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...
FASE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper we present a layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (manets) using algebraic higher order nets (aho nets). manets are networ...
CN
2007
13 years 8 months ago
2007
— We consider a mobile ad hoc network consisting of three types of nodes: source, destination, and relay nodes. All the nodes are moving over a bounded region with possibly diffe...
CONCUR
2010
Springer
13 years 9 months ago
2010
Springer
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...
MOBIQUITOUS
2007
IEEE
14 years 2 months ago
2007
IEEE
— Several intrusion detection approaches have been proposed for mobile adhoc networks. Many of the approaches assume that there are sufficient neighbors to help monitor the trans...