33356 search results - page 6424 / 6672 » Models of Continual Computation |
180
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
Many efforts have been made for addressing coverage problems in sensor networks. They fall into two categories, full coverage and barrier coverage, featured as static coverage. In...
159
click to vote
IWNAS
2008
IEEE
16 years 29 days ago
2008
IEEE
— Distributed Hash Table (DHT) based algorithms have been proposed to solve the routing issues in large-scale Peer-to-Peer (P2P) applications. DHT systems create an elegant Peer-...
173
click to vote
LICS
2008
IEEE
16 years 29 days ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
195
click to vote
NDSS
2008
IEEE
16 years 29 days ago
2008
IEEE
We study the problem of reliably searching for resources in untrusted peer-to-peer networks, where a significant portion of the participating network nodes may act maliciously to...
183
click to vote
PDP
2008
IEEE
16 years 29 days ago
2008
IEEE
Autonomic management can be used to improve the QoS provided by parallel/distributed applications. We discuss behavioural skeletons introduced in earlier work: rather than relying...