default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd ICNP 1994: Boston, MA, USA
- 1994 International Conference on Network Protocols, ICNP 1994, Boston, MA, USA, October 25-28, 1994, Proceedings. IEEE Computer Society 1994, ISBN 0-8186-6685-4
- Sanjoy Paul, Krishan K. Sabnani, David M. Kristol:
Multicast transport protocols for high speed networks. 4-14 - Sudhir Aggarwal, Amritansh Raghav:
DUALCAST: a scheme for reliable multicasting. 15-22 - Li Gong, Nachum Shacham:
Elements of trusted multicasting. 23-30 - Christopher Ward, Sujata Mitra, Thomas M. Phillips:
Throughput efficiency of a link management procedure for LEO satellite systems. 32-39 - Ibrahim Matta, A. Udaya Shankar:
An iterative approach to comprehensive performance evaluation of integrated services networks. 40-47 - Abdulaziz H. Al-Zoman, John DeDourek, Bernd Kurz:
Automatic retransmission rather than automatic repeat request. 48-55 - M. Aghadavoodi Jolfaei:
Stutter XOR strategies: a new class of multicopy ARQ strategies. 56-62 - Liang-Seng Koh, Ming T. Liu:
Test path selection based on effective domains. 64-71 - Gilbert M. Lundy, C. Basaran:
Automated generation of protocol test sequences from formal specifications. 72-79 - Thomas Y. C. Woo, Simon S. Lam:
Design, verification and implementation of an authentication protocol. 81-90 - Hiroyuki Sakakibara, Kazunori Seki, Ken-ichi Okada, Yutaka Matsushita:
The ID-based non-interactive group communication key sharing scheme using smart cards. 91-98 - Hong Liu, Raymond E. Miller:
Generalized fair reachability analysis for cyclic protocols: decidability for logical correctness problems. 100-107 - F. Joe Lin
:
Specification and validation of communications in client/server models. 108-116 - Ritu Chadha, Isil Sebüktekin:
Symbolic simulation: theory and application to protocol modeling and validation. 117-125 - Wuxu Peng:
Single-link and time communicating finite state machines. 126-133 - Akira Takura, Tadashi Ohta:
Stepwise telecommunication software generation from service specifications in state transition model. 135-142 - Yoshiaki Kakuda, Hirotaka Igarashi, Tohru Kikuno:
Automated synthesis of protocol specifications with message collisions and verification of timeliness. 143-150 - Gurdip Singh, Madhavi Sammeta:
On the construction of multiphase communication protocols. 151-158 - Hironobu Okuyama, Kenji Moriyasu, Yutaka Hirakawa:
A design method for communications software evolution. 160-167 - P. Ciarfella, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal:
The Totem protocol development environment. 168-177 - Stefan Leue, Philippe Oechslin:
Formalizations and algorithms for optimized parallel protocol implementation. 178-185 - Debanjan Saha, Sarit Mukherjee, Satish K. Tripathi:
Multi-rate traffic shaping and end-to-end performance guarantees in ATM networks. 188-195 - Pietro Manzoni, Dipak Ghosal, Giuseppe Serazzi:
A simulation study of the impact of mobility on TCP/IP. 196-203 - Zafar Ali, Miae Woo, Arif Ghafoor:
Distributed synchronization protocols for multimedia services on Internet. 204-211 - Takayuki Tachikawa, Makoto Takizawa:
Selective total-ordering group communication on single high-speed channel. 212-219 - Anish Arora, Ashish Singhai:
Fault-tolerant reconfiguration of trees and rings in networks. 221-228 - Bülent Yener, Inderpal S. Bhandari, Yoram Ofek, Moti Yung:
Fault-tolerant convergence routing. 229-238 - John G. Waclawsky, Mahendran Velauthapillai:
Dynamics of token ring protocols. 239-246
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-22 02:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
