4679 search results - page 324 / 936 » Modeling When Connections Are the Problem |
146
click to vote
FM
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
228
click to vote
DIALM
2003
ACM
15 years 12 months ago
2003
ACM
We propose a novel localized algorithm that constructs a bounded degree and planar spanner for wireless ad hoc networks modeled by unit disk graph (UDG). Every node only has to kn...
205
click to vote
CONSTRAINTS
2011
15 years 1 months ago
2011
Abstract The G12 project is developing a software environment for stating and solving combinatorial problems by mapping a high-level model of the problem to an efficient combinatio...
179
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
Connectivity is central to pervasive computing environments. We seek to catalyze a world of rich and diverse connectivity through technologies that drastically simplify the task o...
151
click to vote
INFOCOM
2005
IEEE
16 years 8 days ago
2005
IEEE
— This paper addresses the topology control problem for large wireless networks that are modelled by an infinite point process on a two-dimensional plane. Topology control is th...