Research Catalog

Title

1994 International Conference on Network Protocols, October 25-28, 1994, Boston, Massachusetts : proceedings / 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.

Items in the Library & Off-site

Details

Additional Authors

IEEE Computer Society. TC on Distributed Processing.

Description

xii, 247 pages : illustrations; 28 cm

Alternative Title

Network Protocols, 1994, proceedings, 1994 International Conference on.

Subject

• Computer network protocols > Congresses
• Computer network protocols
• Protocoles de réseaux d'ordinateurs > Congrès

Genre/Form

Conference papers and proceedings.

Note

• "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 -- 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 -- 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 -- ^
• 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 -- 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 -- 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
• 9780818666858
• 0818666862
• 9780818666865

LCCN

94077615

OCLC

• ocm31594744
• 31594744
• SCSB-2042414

Owning Institutions

Princeton University Library