Sciweavers

828 search results - page 13 / 166
» Topological Properties of OTIS-Networks
Sort
View
FLAIRS
2004
13 years 9 months ago
Splitting Ratios: Metric Details of Topological Line-Line Relations
Within the geographic domain, an important class of relies on geometric abstractions in the form of lines where, for instance, transportation networks and trajectories of movement...
Konstantinos A. Nedas, Max J. Egenhofer
MLQ
1998
74views more  MLQ 1998»
13 years 7 months ago
Disjoint Unions of Topological Spaces and Choice
We find properties of topological spaces which are not shared by disjoint unions in the absence of some form of the Axiom of Choice.
Paul E. Howard, Kyriakos Keremedis, Herman Rubin, ...
SIGMETRICS
2010
ACM
223views Hardware» more  SIGMETRICS 2010»
14 years 13 days ago
Self-synchronizing properties of CSMA wireless multi-hop networks
We show that CSMA is able to spontaneously synchronize transmissions in a wireless network with constant-size packets, and that this property can be used to devise efficient synch...
Kuang Xu, Olivier Dousse, Patrick Thiran
SSD
1995
Springer
84views Database» more  SSD 1995»
13 years 11 months ago
Lossless Representation of Topological Spatial Data
We present a data structure used to represent planar spatial databases in the topological data model. Conceptually, such databases consist of points, lines between these points, an...
Bart Kuijpers, Jan Paredaens, Jan Van den Bussche
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...