6456 search results - page 1163 / 1292 » Constraint Solving on Terms |
152
click to vote
SENSYS
2006
ACM
16 years 9 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...
120
click to vote
SPAA
2006
ACM
16 years 9 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...
185
click to vote
IEEESCC
2005
IEEE
15 years 12 months 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. ...
155
click to vote
INFOCOM
2005
IEEE
15 years 12 months 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...
160
click to vote
INFOCOM
2005
IEEE
15 years 12 months 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...