663 search results - page 27 / 133 » Process Algebra with Local Communication |
EGOV
2003
Springer
14 years 3 months ago
2003
Springer
This paper offers a fresh perspective to study the role and implications of information and communications technologies (ICT) in processes of local democracy. It moves away from ea...
DARS
2000
Springer
14 years 2 months ago
2000
Springer
Abstract—In this paper we present a new approach to the problem of simultaneously localizing a group of mobile robots capable of sensing one another. Each of the robots collects ...
TROB
2002
13 years 9 months ago
2002
In this paper, we present a new approach to the problem of simultaneously localizing a group of mobile robots capable of sensing one another. Each of the robots collects sensor dat...
CAV
2007
Springer
14 years 2 months ago
2007
Springer
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
NETWORKING
2007
13 years 11 months ago
2007
Abstract. In this paper, we study the localization problem in large-scale underwater sensor networks. The adverse aqueous environments, the node mobility, and the large network sca...