352 search results - page 38 / 71 » Proof-Checking a Data Link Protocol |
DSN
2004
IEEE
14 years 7 days ago
2004
IEEE
Resiliency to link failures in optical networks is becoming increasingly important due to the increasing data rate in the fiber. Path protection schemes attempt to guarantee a bac...
TRIDENTCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract. As wireless networks become a critical part of home, business and industrial infrastructure, researchers will meet these demands by providing new networking technologies....
REALWSN
2010
13 years 3 months ago
2010
Abstract. In Wireless Sensor Networks (WSNs) the majority of the devices provide access to the Received Signal Strength Indicator (RSSI), which has been used as a means to enable d...
JDM
1998
13 years 8 months ago
1998
We propose a new replication control scheme for multiple-copy consistency in mobile distributed database systems. Replicating data at multiple sites could contribute to enhance th...
MOBIHOC
2004
ACM
14 years 8 months ago
2004
ACM
We present the Feasible Label Routing (FLR) protocol for mobile ad hoc networks, which uses path information to establish routes to destinations on demand. FLR enables loopfree in...