default search action
1st ICNP 1993: San Francisco, CA, USA
- 1993 International Conference on Network Protocols, ICNP 1993, San Francisco, CA, USA, October 19-22, 1993, Proceedings. IEEE Computer Society 1993, ISBN 0-8186-3670-X
- Bert Lindgren, Mostafa H. Ammar, Bobby Krupczak, Karsten Schwan:
Parallel and configurable protocols: experiences with a prototype and an architectural framework. 6-13 - Kathryn Britton, Wen-Shyen E. Chen, Tein-Yaw D. Chung, Allan K. Edwards, Johny Mathew, Diane Pozefsky, Soumitra Sarkar, Roger Turner, Willibald A. Doeringer, Douglas Dykeman:
Multiprotocol transport networking: a general internetworking solution. 14-25 - Liitfullah Kusdemir, Semih Bilgen:
A highly parallelized architecture for a DQDB node. 27-34 - Thomas Y. C. Woo, Simon S. Lam:
Verifying authentication protocols: methodology and example. 36-45 - A. Udaya Shankar, David Lee:
Modulo-N incarnation numbers for cache-based transport protocols. 46-54 - Kentaro Go, Norio Shiratori:
Modularization of a specification in LOTOS. 55-62 - Rieko Tanaka, Masahiko Tsukamoto:
A CLNP-based protocol for mobile end systems within an area. 64-71 - Cengiz Alaettinoglu, A. Udaya Shankar:
An approach to hierarchical inter-domain routing with on-demand ToS and policy resolution. 72-79 - Alvaro Guillen, Ramin Najmabadi Kia, Bernard Sales:
An architecture for virtual circuit/QoS routing. 80-87 - Kenneth L. Calvert:
Beyond layering: modularity considerations for protocol architectures. 90-97 - Gurdip Singh:
A compositional approach for designing protocols. 98-105 - Thomas Plagemann, Martin Vogt, Bernhard Plattner, Thomas Walter:
Modules as building blocks for protocol configuration. 106-113 - H. T. Kung, Alan Chapman:
The FCVC (flow-controlled virtual channels) proposal for ATM networks: a summary. 116-127 - Naotaka Morita, Ichiro Inoue, Michiharu Mito, Takeshi Akaike:
Service specific connection oriented protocol for the ATM adaptation layer. 128-135 - Yoon Chang, David H. Su, Shukri Wakid, Xiaomei Qian, Dhadesugoor Vaman:
The generic flow control (GFC) protocol: a performance assessment. 136-147 - Hassan Mountassir:
A note on communicating machines with identical symmetrical and dual processes using rewriting systems. 150-157 - Leo Cacciari, Omar Rafiq:
Decidability issues in reduced reachability analysis. 158-165 - Wuxu Peng:
On Petri nets and self-stabilization of communication protocols. 166-174 - P. Havala, H. Kaur, M. Sosa, Mehmet Ulema:
A congestion notification technique for SMDS networks. 178-185 - Rong-Feng Chang, Lap Huynh, James Gray:
Adaptive rate-based congestion control versus TCP-SS: a performance comparison. 186-197 - Jorge Arturo Cobb, Mohamed G. Gouda:
Flow theory: Verification of rate-reservation protocols. 198-205 - David Lee, Krishan K. Sabnani:
Reverse-engineering of communication protocols. 208-216 - Raymond E. Miller, Sanjoy Paul:
Generating maximal fault coverage conformance test sequences of reduced length for communication protocols. 217-224 - Chang-Jia Wang, Ming T. Liu:
Automatic test case generation for Estelle. 225-232 - Chungki Lee, James E. Burns, Mostafa H. Ammar:
Improved randomized broadcast protocols in multi-hop radio networks. 234-241 - Xiaohua Jia, Shirley Y. So:
A multicast mechanism with ordering on overlapping groups. 242-249 - Richard G. Guy, Gerald J. Popek, Thomas W. Page Jr.:
Consistency algorithms for optimistic replication. 250-261 - Edward W. Knightly, Giorgio Ventre:
Galileo: A tool for simulation and analysis of real-time networks. 264-271 - Gilbert M. Lundy, Berna Bülbül:
Mushroom: a program for the automated verification of an SCM protocol specification. 272-279 - Thomas J. Baumgartner, David M. Kristol, J. D. Milleville, Prashant S. Parikh:
From formal specification to implementation: experience with protocol tools. 280-288 - Dan Picker, Ronald D. Fellman, Paul M. Chau:
Enhancing SCI's fairness protocol for increased throughput. 292-299 - Wlodzimierz Dobosiewicz, Pawel Gburzynski:
On token protocols for high-speed multiple-ring networks. 300-307 - Francis Reichmeyer, Salim Hariri, Wang Song, Kamal Jabbour:
An optical network interface unit for multichannel ring networks. 308-315 - Kuo-Chung Tai, Pramod V. Koppol:
Hierarchy-based incremental analysis of communication protocols. 318-325 - Chung-Ming Huang, Jenq-Muh Hsu, Huei-Yang Lai, Jao-Chiang Pong, Duen-Tay Huang:
An Estelle interpreter for incremental protocol verification. 326-333 - Ajin Jirachiefpattana, Richard Lai:
Verifying Estelle specifications: numerical Petri nets approach. 334-341 - Vladimir Marbukh:
Routing and congestion control in ATM networks. 344-349 - Ahmed A. Tarraf, Ibrahim W. Habib, Tarek N. Saadawi:
A novel neural network traffic descriptor for ATM networks. 350-357 - Sijian Zhang, Samuel T. Chanson:
An approach to evaluating the performance of communication protocols based on formal specifications. 358-366 - Steven H. Low:
Probabilistic conformance testing of protocols with unobservable transitions. 368-375 - Jadranka Alilovic-Curgus, Son T. Vuong:
A framework for interoperability testing of network protocols. 376-383 - Jan Huus, Hasan Ural:
Language-based analysis of communicating finite state machines. 384-393
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 2024-12-26 00:59 CET 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: