226 search results - page 35 / 46 » Formal Verification of a Multicast Protocol In Mobile Networ... |
HIPC
2003
Springer
14 years 21 days ago
2003
Springer
Abstract: Overlay Multicast networks in mobile ad-hoc environments have received much attention due to their increasing number of practical applications. Although overlay multicast...
FMICS
2010
Springer
13 years 7 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
MSWIM
2003
ACM
14 years 22 days ago
2003
ACM
This paper presents ARC (Adaptive Range Control), a communication range control mechanism using directional antennas to be implemented across multiple layers. ARC uses directional...
ICDE
2008
IEEE
14 years 1 months ago
2008
IEEE
Recent years have seen a proliferation of work on the Semantic Web, an initiative to enable intelligent agents to reason about and utilize World Wide Web content and services. Con...
IWCMC
2006
ACM
14 years 1 months ago
2006
ACM
Securing multicast communications in ad hoc networks has become one of the most challenging research directions in the areas of wireless networking and security. This is especiall...