Sciweavers

226 search results - page 5 / 46
» Formal Verification of a Multicast Protocol In Mobile Networ...
Sort
View
ICCSA
2007
Springer
14 years 1 months ago
On Dynamic Multicast Trees for Stormless Binding Update in Network Mobility
Mobile IP (MIP) is designed for supporting mobile nodes. The technology does not sufficiently handle NEtwork MObility (NEMO). The NEMO Basic Support (NBS) [1] ensures session conti...
Moonseong Kim, Sungchang Lee, Hyunseung Choo
WWIC
2007
Springer
182views Communications» more  WWIC 2007»
14 years 1 months ago
Multicast Overlay Spanning Tree Protocol for Ad Hoc Networks
In this paper we present an extension to the OLSR unicast routing protocol to support multicast routing in mobile ad hoc networks. The proposed protocol is based on Multicast Overl...
Georgios Rodolakis, Amina Meraihi Naimi, Anis Laou...
ICSE
1992
IEEE-ACM
13 years 11 months ago
A Toolbox for the Verification of LOTOS Programs
This paper presents the tools Ald
Jean-Claude Fernandez, Hubert Garavel, Laurent Mou...
ICNP
1999
IEEE
13 years 11 months ago
A Logical Ring Reliable Multicast Protocol for Mobile Nodes
A protocol for the reliable multicast of data to mobile hosts is described. A logical ring is maintained between all the base stations that handle the multicast traffic of the sam...
Ioanis Nikolaidis, Janelle J. Harms
AUTONOMICS
2008
ACM
13 years 9 months ago
Building multicast trees in ad-hoc networks
Multicast trees are used in a variety of applications, such as publish/subscribe systems or content distribution networks. Existing algorithms for ad-hoc networks typically produc...
Raphaël Kummer, Peter G. Kropf, Pascal Felber