Research Catalog

Title

1993 International Conference on Network Protocols, San Francisco, California, October 19-22, 1993 : proceedings / sponsored by IEEE Computer Society, Technical Committee on Distributed Processing.

Author

International Conference on Network Protocols (1993 : San Francisco, Calif.)

Publication

Los Alamitos, Calif. : IEEE Computer Society Press, [1993], ©1993.

Items in the Library & Off-site

Holdings

Details

Additional Authors

IEEE Computer Society. TC on Distributed Processing.

Description

xv, 394 pages : illustrations; 28 cm

Subject

• Computer network protocols > Congresses

Note

• "IEEE catalog number 93TH0516-5"--T.p. verso.

Bibliography (note)

• Includes bibliographical references and index.

Contents

• Keynote Address: Data Networking in the 1990s / A. J. (Al) Delorenzi -- Parallel and Configurable Protocols: Experiences with a Prototype and an Architectural Framework / B. Lindgren, B. Krupczak, M. Ammar and K. Schwan -- Multiprotocol Transport Networking: A General Internetworking Solution / K. Britton, W.-S. E. Chen, T.-Y. D. Chung, A. Edwards, J. Mathew, D. Pozefsky, S. Sarkar, R. Turner, W. Doeringer and D. Dykeman -- A Highly Parallelized Architecture for a DQDB Node / L. Kusdemir and S. Bilgen -- Verifying Authentication Protocols: Methodology and Example / T. Y. C. Woo and S. S. Lam -- Modulo-N Incarnation Numbers for Cache-Based Transport Protocols / A. U. Shankar and D. Lee -- Modularization of a Specification in LOTOS / K. Goh and N. Shiratori -- A CLNP-Based Protocol for Mobile End Systems Within an Area / R. Tanaka and M. Tsukamoto -- An Approach to Hierarchical Inter-Domain Routing with On-Demand ToS and Policy Resolution / C. Alaettinoglu and A. U. Shankar.
• An Architecture for Virtual Circuit/QoS Routing / A. Guillen, R. N. Kia and B. Sales -- Beyond Layering: Modularity Considerations for Protocol Architectures / K. L. Calvert -- A Compositional Approach for Designing Protocols / G. Singh -- Modules as Building Blocks for Protocol Configuration / T. Plagemann, B. Plattner, M. Vogt and T. Walter -- The FCVC (Flow-Controlled Virtual Channels) Proposal for ATM Networks: A Summary / H. T. Kung and A. Chapman -- Service Specific Connection Oriented Protocol for the ATM Adaptation Layer / N. Morita, I. Inoue, M. Mito and T. Akaike -- The Generic Flow Control (GFC) Protocol: A Performance Assessment / Y. Chang, D. Su, S. Wakid, X. Qian and D. Vaman -- A Note on Communicating Machines with Identical Symmetrical and Dual Processes Using Rewriting Systems / H. Mountassir -- Decidability Issues in Reduced Reachability Analysis / L. Cacciari and O. Rafiq -- On Petri Nets and Self-Stabilization of Communication Protocols / W. Peng.
• Protocol Development Versus Formal Description Techniques / Harry Rudin -- A Congestion Notification Technique for SMDS Networks / P. Havala, H. Kaur, M. Sosa and M. Ulema -- Adaptive Rate-Based Congestion Control Versus TCP-SS: A Performance Comparison / R.-F. Chang, L. Huynh and J. Gray -- Flow Theory: Verification of Rate-Reservation Protocols / J. A. Cobb and M. G. Gouda -- Reverse-Engineering of Communication Protocols / D. Lee and K. Sabnani -- Generating Maximal Fault Coverage Conformance Test Sequences of Reduced Length for Communication Protocols / R. E. Miller and S. Paul -- Automatic Test Case Generation for Estelle / C.-J. Wang and M. T. Liu -- Improved Randomized Broadcast Protocols in Multi-Hop Radio Networks / C. Lee, J. E. Burns and M. H. Ammar -- A Multicast Mechanism with Ordering on Overlapping Groups / X. Jia and S. Y. So -- Consistency Algorithms for Optimistic Replication / R. G. Guy, G. J. Popek and T. W. Page, Jr.
• Galileo: A Tool for Simulation and Analysis of Real-Time Networks / E. W. Knightly and G. Ventre -- Mushroom: A Program for the Automated Verification of an SCM Protocol Specification / G. M. Lundy and B. Bulbul -- From Formal Specification to Implementation: Experience with Protocol Tools / T. J. Baumgartner, D. M. Kristol, J. D. Milleville and P. S. Parikh -- Enhancing SCI's Fairness Protocol for Increased Throughput / D. Picker, R. D. Fellman and P. M. Chau -- On Token Protocols for High-Speed Multiple-Ring Networks / W. Dobosiewicz and P. Gburzynski -- An Optical Network Interface Unit for Multichannel Ring Networks / F. Reichmeyer, S. Hariri, W. Song and K. Jabbour -- Hierarchy-Based Incremental Analysis of Communication Protocols / K.-C. Tai and P. V. Koppol -- An Estelle Interpreter for Incremental Protocol Verification / C.-M. Huang, J.-M. Hsu, H.-Y. Lai, J.-C. Pong and D.-T. Huang -- Verifying Estelle Specifications: Numerical Petri Nets Approach / A. Jirachiefpattana and R. Lai.
• Routing and Congestion Control in ATM Networks / V. Marbukh -- A Novel Neural Network Traffic Description for ATM Networks / A. A. Tarraf, I. W. Habib and T. N. Saadawi -- An Approach to Evaluating the Performance of Communication Protocols Based on Formal Specifications / S. Zhang and S. T. Chanson -- Probabilistic Conformance Testing of Protocols with Unobservable Transitions / S. H. Low -- A Framework for Interoperability Testing of Network Protocols / J. Alilovic-Curgus and S. T. Vuong -- Language-Based Analysis of Communicating Finite State Machines / J. Huus and H. Ural.

ISBN

• 081863670X (paper)
• 0818636718 (microfiche)

LCCN

93077042

OCLC

• 29752125
• ocm29752125

Owning Institutions

Columbia University Libraries