533 search results - page 88 / 107 » Protocol synthesis from timed and structured specifications |
INFOCOM
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract— Although direct reciprocity (Tit-for-Tat) contribution systems have been successful in reducing freeloading in peerto-peer overlays, it has been shown that, unless the ...
IPPS
2008
IEEE
14 years 5 months ago
2008
IEEE
Peer-to-Peer (P2P) networks have proven to be an efficient and successful mechanism for file sharing over the Internet. However, current P2P protocols have long worst case query...
CAINE
2008
14 years 11 days ago
2008
Sensor networks have been used in many applications such as health monitoring, structural monitoring, transportation networks, weather prediction, and border security. In most of ...
ISCA
2000
IEEE
14 years 3 months ago
2000
IEEE
As DRAM access latencies approach a thousand instructionexecution times and on-chip caches grow to multiple megabytes, it is not clear that conventional cache structures continue ...
BMCBI
2004
13 years 10 months ago
2004
Background: The program InDeVal was originally developed to help researchers find known regions of insertion/deletion activity (with the exception of isolated single-base indels) ...