352 search results - page 6 / 71 » Proof-Checking a Data Link Protocol |
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
—In this paper we present a protocol performing on demand distributed channel selection in multi channel, multi interface wireless mesh networks, based on the exchange of control...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
This paper presents a thorough survey of recent work addressing energy efficient multicast routing protocols and secure multicast routing protocols in Mobile Ad hoc Networks (MANE...
WCNC
2008
IEEE
14 years 1 months ago
2008
IEEE
—High node mobility and transient connectivity in Vehicular Ad Hoc NETworks have introduced numerous challenges in the design of efficient communication protocols for these netwo...
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
— Wireless sensor-actuator networks, or WSANs, refer to a group of sensors and actuators which collect data from the environment and perform application-specific actions in resp...
TON
2012
11 years 9 months ago
2012
Abstract—Wireless networks (including wireless mesh networks) provide opportunities for using multiple paths. Multihoming of hosts, possibly using different technologies and prov...