8555 search results - page 1562 / 1711 » Property Based Coordination |
191
Voted
IWQOS
2004
Springer
16 years 12 days ago
2004
Springer
In this paper, we consider how to “construct” and “maintain” an overlay structured P2P network based on the “smallworld paradigm”. Two main attractive properties of a ...
202
Voted
VMCAI
2004
Springer
16 years 11 days ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
171
Voted
CCGRID
2003
IEEE
16 years 10 days ago
2003
IEEE
Abstract— Cycle-harvesting software on commodity computers is available from a number of companies and a significant part of the Grid computing landscape. However, creating comm...
204
Voted
INFOCOM
2003
IEEE
16 years 9 days ago
2003
IEEE
— A Mobile Ad hoc Network (MANET) is a collection of wireless mobile nodes forming a temporary network without using any existing infrastructure. Since not many MANETs are curren...
208
click to vote
WS
2003
ACM
16 years 8 days ago
2003
ACM
In an ad hoc network, mobile computers (or nodes) cooperate to forward packets for each other, allowing nodes to communicate beyond their direct wireless transmission range. Many ...