2637 search results - page 239 / 528 » Tool Supported Specification and Simulation of Distributed S... |
178
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
201
click to vote
ICC
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract— To construct an efficient overlay network, the information of underlay is important. However, the inference of an underlay topology is not easy. We consider using end-...
280
click to vote
GIS
2005
ACM
16 years 7 months ago
2005
ACM
The management of moving objects has been intensively studied in the recent years. A wide and increasing range of database applications has to deal with spatial objects whose posi...
170
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we present a series of distributed algorithms for coverage verification in sensor networks with no location information. We demonstrate how, in the absence of locali...
171
click to vote
BC
2000
15 years 6 months ago
2000
Using tools from discrete dynamical systems theory, we begin a systematic analysis of a distributed model of leg coordination with both biological and robotic applications. In this...