1362 search results - page 232 / 273 » Model Checking Large Network Protocol Implementations |
119
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
Web-based communities have become important places for people to seek and share expertise. We find that networks in these communities typically differ in their topology from other...
131
click to vote
SDM
2008
SIAM
15 years 3 months ago
2008
SIAM
In this paper we explore private computation built on vector addition and its applications in privacypreserving data mining. Vector addition is a surprisingly general tool for imp...
112
click to vote
PC
2006
15 years 1 months ago
2006
To manage load on large and dynamic networks we have developed Autonomous Mobile Programs (AMPs) that periodically use a cost model to decide where to execute. A disadvantage of d...
156
click to vote
PVM
1997
Springer
15 years 6 months ago
1997
Springer
The extremely low latencies and high bandwidth results achievable with the Scalable Coherent Interface SCI at lowest level encourages its integration into existing Message Passin...
161
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: The multitude of motif detection algorithms developed to date have largely focused on the detection of patterns in primary sequence. Since sequence-dependent DNA struc...