352 search results - page 28 / 71 » Proof-Checking a Data Link Protocol |
CSE
2009
IEEE
13 years 12 months ago
2009
IEEE
A lifetime of several years for wireless sensor nodes can be achieved if their activity period is minimized. This can be done by using low duty cycle protocols. One of the challeng...
SIGMETRICS
2011
ACM
12 years 11 months ago
2011
ACM
Cloud computing, social networking and information networks (for search, news feeds, etc) are driving interest in the deployment of large data centers. TCP is the dominant Layer 3...
CATA
2003
13 years 10 months ago
2003
Within a few years, nearly every vehicle that General Motors (GM) manufactures will have a microcontroller network known as GMLAN. A few GM vehicles already have the GMLAN network...
SIGMOD
2000
ACM
14 years 25 days ago
2000
ACM
The DataLinks technology developed at IBM Almaden Research Center and now available in DB2 UDB 5.2 introduces a new data type called DATALINK for a database to reference and manag...
WONS
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, we consider hybrid ad hoc networks, which are composed of two kinds of nodes, regular ones and nodes with additional capabilities. For example, multi-hop cellular a...