352 search results - page 56 / 71 » Proof-Checking a Data Link Protocol |
WOWMOM
2006
ACM
14 years 1 months ago
2006
ACM
This paper analyzes the characteristics of a multi-hop 802.11b mobile ad hoc network. We present data gathered from a mobile network of 20 devices carried by test users over 5 day...
DFMA
2005
IEEE
14 years 1 months ago
2005
IEEE
The Campus Mobile project explored how PDAs and innovative interfaces can improve interaction during lectures and in small meetings. These mobile computers (small PCs or PDAs) are...
NAR
2006
13 years 7 months ago
2006
10 The RCSB Protein Data Bank (PDB) offers online tools, summary reports and target information related to the worldwide structural genomics initiatives from its portal at http://...
INFOCOM
2008
IEEE
14 years 1 months ago
2008
IEEE
The remote file synchronization problem is how to update an outdated version of a file located on one machine to the current version located on another machine with a minimal am...
SIGCOMM
1994
ACM
13 years 11 months ago
1994
ACM
Existing multicast routing mechanisms were intended for use within regions where a group is widely represented or bandwidth is universally plentiful. When group members, and sende...