352 search results - page 20 / 71 » Proof-Checking a Data Link Protocol |
CCR
2002
13 years 8 months ago
2002
The features of ATM offered many attractions to the application community, such as fine-grained multiplexing and high-throughput links. These created considerable challenges for t...
SAB
2010
Springer
13 years 6 months ago
2010
Springer
We introduce a new bee-inspired routing protocol for mobile ad hoc networks. Emphasis is given to the ability of bees to evaluate paths by considering several quality factors. In o...
SIGCOMM
2009
ACM
14 years 3 months ago
2009
ACM
New protocols for the data link and network layer are being proposed to address limitations of current protocols in terms of scalability, security, and manageability. High-speed r...
CCGRID
2005
IEEE
14 years 2 months ago
2005
IEEE
− Grid computing infrastructures and applications are increasingly diverse, with networks ranging from very high bandwidth optical networks to wireless networks and applications ...
MONET
2010
13 years 6 months ago
2010
This paper specifies a global mobility management architecture and protocol procedure called GPMIP, which is based on Proxy Mobile IPv6. In GPMIP, mobility management is performed ...