1740 search results - page 65 / 348 » Group communication protocol for flexible distributed system... |
IPPS
1999
IEEE
13 years 12 months ago
1999
IEEE
Abstract. In this paper we describe how the language of Communicating Sequential Processes CSP has been applied to the analysis of a transport layer protocol used in the implementa...
FM
2006
Springer
13 years 11 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
MOBILITY
2009
ACM
14 years 2 months ago
2009
ACM
We present the feasibility evaluation of a structured communication-oriented Peer-to-Peer (P2P) system being used in mobile environments in this paper. The different levels of chu...
INFOCOM
2003
IEEE
14 years 29 days ago
2003
IEEE
— The increasing need of protocol development environments and network performance evaluation tools gives rise to the research of flexible, scalable, and accurate network emulato...
PDCAT
2005
Springer
14 years 1 months ago
2005
Springer
This paper examines technique of media access that flexible media service, provided user interaction, and guaranteeing QoS. Currently, there are various streaming services, but th...