226 search results - page 12 / 46 » Formal Verification of a Multicast Protocol In Mobile Networ... |
IWSEC
2010
Springer
13 years 7 months ago
2010
Springer
Multicast traffic, such as live audio/video streaming, is an important application for Mobile Ad Hoc Networks (MANETs), including those used by militaries and disaster recovery tea...
ADHOC
2006
13 years 8 months ago
2006
Application layer multicasting has emerged as an appealing alternative to network layer multicasting in wireline networks. Here, we examine the suitability of application layer mu...
JACM
2002
13 years 8 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
—Cognitive Radio Networks (CRNs) have recently emerged as a promising technology to improve spectrum utilization by allowing secondary users to dynamically access idle primary ch...
MOBIHOC
2000
ACM
14 years 29 days ago
2000
ACM
—An ad hoc network is a multi-hop wireless network formed by a collection of mobile nodes without the intervention of fixed infrastructure. Limited bandwidth and a high degree o...