12 search results - page 3 / 3 » Formal verification of standards for distance vector routing... |
ISSTA
2000
ACM
13 years 9 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
CONEXT
2006
ACM
13 years 11 months ago
2006
ACM
In this paper, we present a Mobile Agents based Framework for Routing and Congestion control in Mobile Ad Hoc Networks (MAFRC). The framework uses a cross-layer design approach wh...