226 search results - page 3 / 46 » Formal Verification of a Multicast Protocol In Mobile Networ... |
ICDCSW
2000
IEEE
13 years 11 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
WMCSA
1999
IEEE
13 years 11 months ago
1999
IEEE
In this paper we propose a new protocol for reliable multicast in a multi-hop mobile radio network. The protocol is reliable, i.e., it guarantees message delivery to all multicast...
EUROMICRO
2007
IEEE
14 years 1 months ago
2007
IEEE
Multicast network services advantageously complement multimedia information and communication technologies, as they open up the realm for highly scalable multicustomer application...
HPN
1998
13 years 8 months ago
1998
We propose a protocol that controls the members of a multicast group that send periodically status reports to all members. The protocol, called Multicast Access Protocol (MAP), li...
ISCI
2007
13 years 7 months ago
2007
Bluetooth Location Network (BLN) is a Bluetooth radio network that is composed of some mobile Bluetooth devices and static Bluetooth units, and is established at the system initia...