352 search results - page 3 / 71 » Proof-Checking a Data Link Protocol |
NAS
2010
IEEE
13 years 3 months ago
2010
IEEE
The past five years witnessed a rapid development in wireless sensor networks, which have been widely used in military and civilian applications. Due to different requirements in t...
NETWORKING
2008
13 years 7 months ago
2008
Currently emerging standard routing protocols for MANETs do not perform well in presence of malicious nodes that intentionally drop data traffic but otherwise behave correctly with...
ICC
2007
IEEE
14 years 2 days ago
2007
IEEE
—A substantially long round trip time (RTT) in space channel hurts TCP interactions between the sending and receiving ends. The Consultative Committee for Space Data Systems (CCS...
SENSYS
2010
ACM
13 years 3 months ago
2010
ACM
We present A-MAC, a receiver-initiated link layer for low-power wireless networks that supports several services under a unified architecture, and does so more efficiently and sca...
TMC
2010
13 years 14 days ago
2010
Wireless networks have evolved into an important technology for connecting users to the Internet. As the utility of wireless technology grows, wireless networks are being deployed ...