Research Catalog

Title

1994 International Conference on Network Protocols : proceedings, October 25-28, 1994, Boston, Massachusetts / sponsored by the IEEE Computer Society, Technical Committee on Distributed Processing.

Author

International Conference on Network Protocols (1994 : Boston, Mass.)

Publication

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

Items in the Library & Off-site

Holdings

Details

Additional Authors

IEEE Computer Society. TC on Distributed Processing.

Description

xii, 247 pages : illustrations; 28 cm

Subject

Computer network protocols > Congresses

Note

• "IEEE Computer Society Press order number 6685-02"--T.p. verso.
• "IEEE catalog number 94TH8002"--T.p. verso.

Bibliography (note)

• Includes bibliographical references and index.

Contents

• Opening Session / Simon S. Lam, David Lee and Krishan Sabnani -- Keynote Address: "The Future of ATM Networks" / Richard D. Gitlin -- Multicast Transport Protocols for High Speed Networks / S. Paul, K. K. Sabnani and D. M. Kristol -- DUALCAST: A Scheme for Reliable Multicasting / S. Aggarwal and A. Raghav -- Elements of Trusted Multicasting / L. Gong and N. Shacham -- Throughput Efficiency of a Link Management Procedure for LEO Satellite Systems / C. Ward, S. Mitra and T. M. Phillips -- An Iterative Approach to Comprehensive Performance Evaluation of Integrated Services Networks / I. Matta and A. U. Shankar -- Automatic Retransmission Rather than Automatic Repeat Request / A. Al-Zoman, J. DeDourek and B. Kurz -- Stutter XOR Strategies: A New Class of Multicopy ARQ Strategies / M. Aghadavoodi Jolfaei -- Test Path Selection Based on Effective Domains / L.-S. Koh and M. T. Liu -- Automated Generation of Protocol Test Sequences from Formal Specifications / G. M. Lundy and C. Basaran.
• Design, Verification and Implementation of an Authentication Protocol / T. Y. C. Woo and S. S. Lam -- The ID-Based Non-Interactive Group Communication Key Sharing Scheme using Smart Cards / H. Sakakibara, K. Seki, K.-I. Okada and Y. Matsushita -- Generalized Fair Reachability Analysis for Cyclic Protocols: Decidability for Logical Correctness Problems / H. Liu and R. E. Miller -- Specification and Validation of Communications in Client/Server Models / F. J. Lin -- Symbolic Simulation: Theory and Application to Protocol Modeling and Validation / R. Chadha and I. Sebuktekin -- Single-Link and Time Communicating Finite State Machines / W. Peng -- Stepwise Telecommunication Software Generation from Service Specifications in State Transition Model / A. Takura and T. Ohta -- Automated Synthesis of Protocol Specifications with Message Collisions and Verification of Timeliness / Y. Kakuda, H. Igarashi and T. Kikuno -- On the Construction of Multiphase Communication Protocols / G. Singh and M. Sammeta.
• Design Method for Communications Software Evolution / H. Okuyama, K. Moriyasu and Y. Hirakawa -- The Totem Protocol Development Environment / P. Ciarfella, L. E. Moser, P. M. Melliar-Smith and D. A. Agarwal -- Formalizations and Algorithms for Optimized Parallel Protocol Implementation / S. Leue and P. Oechslin -- Multi-Rate Traffic Shaping and End-to-End Performance Guarantees in ATM / D. Saha, S. Mukherjee and S. K. Tripathi -- A Simulation Study of the Impact of Mobility on TCP/IP / P. Manzoni, D. Ghosal and G. Serazzi -- Distributed Synchronization Protocols for Multimedia Services on Internet / Z. Ali, M. Woo and A. Ghafoor -- Selective Total-Ordering Group Communication on Single High-Speed Channel / T. Tachikawa and M. Takizawa -- Fault-Tolerant Reconfiguration of Trees and Rings in Networks / A. Arora and A. Singhai -- Fault-Tolerant Convergence Routing / B. Yener, I. Bhandari, Y. Ofek and M. Yung -- Dynamics of Token Ring Protocols / J. G. Waclawsky and M. Velauthapillai.

ISBN

• 0818666854 (paper)
• 0818666862 (microfiche)

LCCN

94077615

OCLC

ocm31594744

Owning Institutions

Columbia University Libraries