352 search results - page 5 / 71 » Proof-Checking a Data Link Protocol |
INFOCOM
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— In this paper we use an information-theoretic formulation for characterizing the minimum routing overhead of link state routing in a mobile ad hoc network. We formulate...
SEMWEB
2009
Springer
14 years 1 months ago
2009
Springer
The Web of Linked Data forms a single, globally distributed dataspace. Due to the openness of this dataspace, it is not possible to know in advance all data sources that might be r...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— In this paper, we develop contention-based medium access control (MAC) schemes for both best-effort data transmissions and delay-sensitive multimedia transmissions over WLANs. ...
MOBIHOC
2004
ACM
14 years 24 days ago
2004
ACM
In this work, we develop an analytical framework to investigate the behavior of the communication links of a node in a random mobility environment. Analytical expressions characte...
INFORMATICALT
2006
13 years 7 months ago
2006
In this paper optimization of DSR is achieved using New Link Cache structure and Source Transparent Route Maintenance Method. The new link cache effectively utilizes the memory by ...