165 search results - page 28 / 33 » Distributed protocol for selective intra-group communication |
CMSB
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
WIOPT
2010
IEEE
13 years 6 months ago
2010
IEEE
—Revocation of public-key certificates is an important security primitive. In this paper, we design a fully distributed local certificate revocation scheme for ephemeral networ...
P2P
2009
IEEE
14 years 2 months ago
2009
IEEE
—A number of analytical models exists that capture various properties of the BitTorrent protocol. However, until now virtually all of these models have been based on the assumpti...
INFOCOM
1999
IEEE
13 years 12 months ago
1999
IEEE
We present MTCP, a congestion control scheme for large-scale reliable multicast. Congestion control for reliable multicast is important, because of its wide applications in multim...
GLOBECOM
2007
IEEE
13 years 7 months ago
2007
IEEE
—IEEE 802.11 Distributed Coordination Function (DCF) uses a binary exponential backoff algorithm to arbitrate simultaneous channel access by multiple stations. When a station sen...