6456 search results - page 1163 / 1292 » Constraint Solving on Terms |
179
click to vote
SENSYS
2006
ACM
16 years 28 days ago
2006
ACM
The problem of localization in wireless sensor networks where nodes do not use ranging hardware, remains a challenging problem, when considering the required location accuracy, en...
130
click to vote
SPAA
2006
ACM
16 years 28 days ago
2006
ACM
This paper investigates time-efficient implementations of atomic read-write registers in message-passing systems where the number of readers can be unbounded. In particular we st...
201
Voted
IEEESCC
2005
IEEE
16 years 17 days ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
174
click to vote
INFOCOM
2005
IEEE
16 years 17 days ago
2005
IEEE
Abstract— An ad hoc wireless network is an autonomous selforganizing system of mobile nodes connected by wireless links where nodes not in direct range communicate via intermedia...
171
click to vote
INFOCOM
2005
IEEE
16 years 17 days ago
2005
IEEE
— To proactively defend against intruders from readily jeopardizing single-path data sessions, we propose a distributed secure multipath solution to route data across multiple pa...