288 search results - page 5 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
ATVA
2005
Springer
14 years 1 months ago
2005
Springer
Mobile ad hoc networks offer very interesting perspectives in wireless communications due to their easy deployment and their growing performances. However, due to their inherent c...
IFM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present an industrial project conducted at Ericsson Danmark A/S, Telebit where formal methods in the form of Coloured Petri Nets (CP-nets or CPNs) have been used for t...
MOBICOM
1998
ACM
13 years 11 months ago
1998
ACM
An ad hoc network is a collection of wireless mobile nodes dynamically forming a temporary network without the use of any existing network infrastructure or centralized administra...
AINA
2006
IEEE
13 years 11 months ago
2006
IEEE
Due to the nature of radio transmissions, communications in wireless networks are easy to capture and analyze. Next to this, privacy enhancing techniques (PETs) proposed for wired...
CSFW
2010
IEEE
13 years 11 months ago
2010
IEEE
Mobile ad hoc networks consist of mobile wireless devices which autonomously organize their infrastructure. In such a network, a central issue, ensured by routing protocols, is to ...