35 search results - page 1 / 7 » Developing Topology Discovery in Event-B |
IFM
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...
APNOMS
2007
Springer
13 years 8 months ago
2007
Springer
Network topology discovery for the large IP networks is a very well studied area of research. Most of the previous work focus on improving the efficiency in terms of time and compl...
PAM
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The development of veracious models of the Internet topology has received a lot of attention in the last few years. Many proposed models are based on topologies derived f...
CN
1999
13 years 4 months ago
1999
We propose a new parallel topology discovery algorithm for irregular, mesh-connected networks with unidirectional links and wormhole routing. An algorithm of this type was develop...
ICOIN
2001
Springer
13 years 9 months ago
2001
Springer
For the purpose of distributed network management, this paper employs a Web-based distributed network management architecture which uses the same HTTP protocol to download Java ap...