360 search results - page 13 / 72 » Specifying and Using a Partitionable Group Communication Ser... |
80
Voted
AISS
2010
14 years 7 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...
ICMCS
2006
IEEE
15 years 3 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...
72
Voted
IPPS
1998
IEEE
15 years 1 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...
GLOBECOM
2006
IEEE
15 years 3 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...
JALC
2006
14 years 9 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...