Computer Networks, Volume 2

Volume 2, 1978

• Karl Kümmerle, Harry Rudin:
  Packet and Circuit Switching: Cost/Performance Boundaries. 3-17
  
• Richard C. Roistacher:
  The Virtual Journal. 18-24
  
• Ira W. Cotton:
  Computer Network Interconnection. 25-34
  
• Bennet P. Lientz, Ira R. Weiss:
  Trade-Offs of Secure Processing in Centralized Versus Distributed Networks. 35-43
  
• J. W. Wong:
  Distribution of End-to-End Delay in Message-Switched Networks. 44-49
  
• Gérard Le Lann, Hervé Le Goff:
  Verification and Evaluation of Communication Protocols. 50-69
  
• Wyn L. Price, J. D. Haenle:
  Some Comments on Simulated Datagram Store-and-Forward Networks. 70-73
  
• Eric G. Manning:
  On Datagram Service in Public Packet-Switched Networks. 79-83
  
• Najah Naffah:
  High Level Protocol for Alphanumeric Data-Entry Terminals. 84-94
  
• Leslie Lamport:
  The Implementation of Reliable Distributed Multiprocess Systems. 95-114
  
• Eckart Hummel:
  Role and Functioning of the CCITT. 123-124
  
• Eric G. Manning:
  The 1976 International Computer Communications Conference - An Assessment. 125-154
  
• R. A. Davenport:
  Distributed Database Technology - A Survey. 155-167
  
• Kiyoshi Maruyama:
  Optimization of Mixed-Media Communication Networks. 168-178
  
• Peter T. Kirstein:
  Choice of Data Communication Media for Transmission of Facsimile Information. 179-190
  
• Alfred Giessler, J. D. Haenle, A. König, E. Pade:
  Free Buffer Allocation - An Investigation by Simulation. 191-208
  
• E. M. Gaudissart, Stephane de Hepcée, Guy Melaet, Vincent Obozinski:
  Description of Protocols Implemented in the SGB Network. 215-226
  
• Yves A. Jacquemart:
  Network Interprocess Communication in an X 25 Environment. 227-235
  
• Ernest C. Eschenauer, Vincent Obozinski:
  The Network Communication Manager: A Transport Station for the SGB Network. 236-249
  
• Friedrich Hertweck, Eckart Raubold, Friedrich H. Vogt:
  X 25 Based Process - Process Communication. 250-270
  
• John G. Fletcher, Richard W. Watson:
  Mechanisms for a Reliable Timer-Based Protocol. 271-290
  
• Günter Schulze, Joachim Börger:
  A Virtual Terminal Protocol Based Upon the ``Communication Variable'' Concept. 291-296
  
• Eric G. Bauwens, Francis N. Magnee:
  The Virtual Terminal Approach in the Belgian University Network. 297-311
  
• Michel Gien:
  A File Transfer Protocol (FTP). 312-319
  
• Dan Cohen:
  A Protocol for Packet-Switching Voice Communication. 320-331
  
• Robert Saettone:
  MITS: Microprocessor Implementation of a Transport Station. 332-339
  
• Derek Barber, Tomaz Kalin, C. M. Solomonides:
  An Implementation of the X 25 Interface in a Datagram Network. 340-345
  
• Carl A. Sunshine:
  Survey of Protocol Definition and Verification Techniques. 346-350
  
• Daniel Brand, William H. Joyner Jr.:
  Verification of Protocols Using Symbolic Execution. 351-360
  
• Gregor von Bochmann:
  Finite State Description of Communication Protocols. 361-372
  
• Harry Rudin, Colin H. West, Pitro Zafiropulo:
  Automated Protocol Validation: One Chain of Development. 373-380
  
• André A. S. Danthine, Joseph Bremer:
  Modelling and Verification of End-to-End Transport Protocols. 381-395
  
• Christopher J. Bennett, Andrew J. Hinchley:
  Measurements of the Transmission Control Protocol. 396-408
  
• Erol Gelenbe, Jacques Labetoulle, Guy Pujolle:
  Performance Evaluation of the HDLC Protocol. 409-415
  
• Starr Roxanne Hiltz:
  The Human Element in Computerized Conferencing Systems. 421-428
  
• P. Schicker, A. Duenki:
  The Virtual Terminal Definition. 429-441
  
• Yoshifumi Masunaga:
  A Probabilistic Automaton Model of the NRM, HDX HDLC Procedure. 442-453
  
• Carl A. Sunshine, Yogen K. Dalal:
  Connection Management in Transport Protocols. 454-473
  

Last update Thu May 23 14:25:07 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page