1740 search results - page 253 / 348 » Group communication protocol for flexible distributed system... |
HPDC
2010
IEEE
13 years 10 months ago
2010
IEEE
The explosion of data in the biological community demands the development of more scalable and flexible portals for bioinformatic computation. To address this need, we put forth c...
GROUP
2005
ACM
14 years 2 months ago
2005
ACM
Many virtual communities involve ongoing discussions, with large numbers of users and established, if implicit rules for participation. As new users enter communities like this, b...
WWW
2003
ACM
14 years 9 months ago
2003
ACM
In traditional peer-to-peer search networks, operations focus on properly labeled files such as music or video, and the actual search is often limited to text tags. The explosive ...
HOTOS
2009
IEEE
14 years 21 days ago
2009
IEEE
The last fifteen years has seen a vast proliferation of middleboxes to solve all manner of persistent limitations in the Internet protocol suite. Examples include firewalls, NATs,...
CCR
2004
13 years 8 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...