Sciweavers

365 search results - page 6 / 73
» Maintaining the Ranch topology
Sort
View
IFM
2009
Springer
158views Formal Methods» more  IFM 2009»
14 years 2 months ago
Developing Topology Discovery in Event-B
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 ...
Thai Son Hoang, Hironobu Kuruma, David A. Basin, J...
IC
2003
13 years 9 months ago
Sampling Internet Topologies: How Small Can We Go?
Abstract— In this paper, we develop methods to “sample” a large real network into a small realistic graph. Although topology modeling has received a lot attention lately, it ...
Vaishnavi Krishnamurthy, Junhong Sun, Michalis Fal...
COMSWARE
2007
IEEE
14 years 2 months ago
Distributed Fault-Tolerant Topology Control in Static and Mobile Wireless Sensor Networks
— In wireless sensor networks, minimizing power consumption and at the same time maintaining desired properties in the network topology is of prime importance. In this work, we p...
Indranil Saha, Lokesh Kumar Sambasivan, Ranjeet Ku...
CN
2007
95views more  CN 2007»
13 years 8 months ago
Sampling large Internet topologies for simulation purposes
In this paper, we develop methods to ‘‘sample’’ a small realistic graph from a large Internet topology. Despite recent activity, modeling and generation of realistic graph...
Vaishnavi Krishnamurthy, Michalis Faloutsos, Marek...
AMI
2009
Springer
14 years 2 months ago
Constructing Topological Maps of Displays with 3-D Positioning Information
Abstract. To better coordinate information displays with moving people and the environment, software must know the locations and three dimensional alignments of the display hardwar...
Donald J. Patterson