352 search results - page 25 / 71 » Proof-Checking a Data Link Protocol |
SASO
2008
IEEE
14 years 2 months ago
2008
IEEE
The distribution of data in large dynamic wireless sensor networks presents a difficult problem due to node mobility, link failures, and traffic congestion. In this paper, we pr...
AHSWN
2010
13 years 8 months ago
2010
In a potential distributed application, Automobile Tracking System (ATS), automobile location data is continuously generated, kept in a distributed manner. As large amount of traff...
INFOCOM
2005
IEEE
14 years 2 months ago
2005
IEEE
— Given two versions of a file, a current version located on one machine and an outdated version known only to another machine, the remote file synchronization problem is how t...
PEWASUN
2004
ACM
14 years 1 months ago
2004
ACM
This paper studies the performance of a multi-rate mobile ad hoc network (MANET) using an extended ns-2 simulator. A link adaptation algorithm is developed and tested. The multi-r...
HOTI
2002
IEEE
14 years 1 months ago
2002
IEEE
A “Storage-Area Network” (SAN) comprises computers (“Initiators”), storage “block devices” (“Targets”), and a Controller(s). Most SANs use the SCSI protocol over v...