360 search results - page 13 / 72 » Specifying and Using a Partitionable Group Communication Ser... |
138
click to vote
AISS
2010
15 years 2 months ago
2010
Since more networking technologies and communication channels have been developed, Internet users have moved their roles from being strictly information consumers to both informat...
160
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a peer-to-peer (P2P) service for the transmission of real-time video content, exploiting the contemporary usage of multiple network paths over the current Inte...
127
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Abstract. We describe a group membership protocol, called the timewheel group membership protocol, for a timed asynchronous distributed system. This protocol is a part of the timew...
145
Voted
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
—Packet classification is important in fulfilling the requirements of new services such as policy-based routing in next generation networks. In this paper, we propose a novel bit...
153
click to vote
JALC
2006
15 years 4 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...