5831 search results - page 521 / 1167 » Distributed Dynamic Backtracking |
164
click to vote
WETICE
2005
IEEE
15 years 12 months ago
2005
IEEE
The demand for flexible, efficient and user-friendly collaborative services is becoming more and more urgent as the competition in the current marketoriented arena is getting more...
157
click to vote
ICN
2005
Springer
15 years 11 months ago
2005
Springer
In the next generation Internet, the network should not only be considered as a communication medium, but also as an endless source of services available to the end-systems. These ...
161
click to vote
PDCAT
2005
Springer
15 years 11 months ago
2005
Springer
A novel strategy for employing schedules obtained using standard static scheduling algorithms in a battery powered multiprocessor environment is investigated. The strategy is able...
260
click to vote
FIDJI
2004
Springer
15 years 11 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
148
click to vote
IPTPS
2004
Springer
15 years 11 months ago
2004
Springer
Distributed hash tables have been around for a long time [5, 7]. A number of recent projects propose peerto-peer DHTs, based on multi-hop lookup optimizations. Some of these syste...