352 search results - page 45 / 71 » Proof-Checking a Data Link Protocol |
PDCAT
2004
Springer
14 years 1 months ago
2004
Springer
In Ubiquitous computing environment the mobile devices such as PDAs necessarily connect to remote storage servers. We present an iSCSI caching system that localizes iSCSI target to...
ICNP
2003
IEEE
14 years 1 months ago
2003
IEEE
Overlay networks among cooperating hosts have recently emerged as a viable solution to several challenging problems, including multicasting, routing, content distribution, and pee...
CE
2007
13 years 8 months ago
2007
Wireless data communications in form of Short Message Service (SMS) and Wireless Access Protocols (WAP) browsers have gained global popularity, yet, not much has been done to exte...
ICC
2008
IEEE
14 years 3 months ago
2008
IEEE
—Wireless sensor networks are often composed of resource-constrained sensor nodes with limited memory space, computational capacity and communication range. The links in WSN are ...
ISCC
2000
IEEE
14 years 27 days ago
2000
IEEE
Energy efficiency is an important issue for mobile computers since they must rely on their batteries. We present an energyefficient highly adaptive architecture of a network inter...