226 search results - page 10 / 46 » Formal Verification of a Multicast Protocol In Mobile Networ... |
AINA
2003
IEEE
14 years 8 days ago
2003
IEEE
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
INFOCOM
2000
IEEE
14 years 1 months ago
2000
IEEE
Abstract—In this paper we investigate the performance of multicast routing protocols in wireless mobile ad hoc networks. An ad hoc network is composed of mobile nodes without the...
MSWIM
2006
ACM
14 years 2 months ago
2006
ACM
In this paper we present an efficient scheme for the multicast transmission of the data in the Universal Mobile Telecommunications System (UMTS). We take advantage of the tree top...
ICPPW
1999
IEEE
14 years 27 days ago
1999
IEEE
This paper describes the Multicast Shared Tree Protocol MSTP that has been designed to support the delivery of multicast packets in a mobile ad hoc network. MSTP uses a shared tre...