3. ICNP 1995: Tokyo, Japan

@proceedings{DBLP:conf/icnp/1995,
  title     = {1995 International Conference on Network Protocols, ICNP 1995,
               November 7-10, 1995, Tokyo, Japan},
  booktitle = {ICNP},
  publisher = {IEEE Computer Society},
  year      = {1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Formal Methods

• Hong Liu, Raymond E. Miller:
  Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitions. 6-13
  
• Zhongping Tao, Gregor von Bochmann, Rachida Dssouli:
  Verification and diagnosis of testing equivalence and reduction relation. 14-21
  
• Ushio Yamamoto, Eun-Seok Lee, Norio Shiratori:
  Similarity for reuse of specifications in communication software development. 22-
  

ATM Bandwidth Assignments

• Han Zhou, C. H. Chang:
  A dynamic bandwidth allocation scheme for multimedia data over ATM networks. 32-39
  
• Intae Ryoo, Hitoshi Aida, Hitoshi Saito:
  Simulation study of a run-time bandwidth assignment technique for delay sensitive traffic in high-speed network. 40-46
  
• Shailender Chaudhry, Mohammed Raziuddin, Alok N. Choudhary:
  On guaranteed bandwidth channels. 47-
  

Protocol Synthesis

• Kacem Zeroual, M. El Yassini:
  A protocol synthesis algorithm: a relational approach. 58-65
  
• Bhed Bahadur Bista, Atsushi Togashi, Norio Shiratori:
  Extension of protocol synthesis to structured entities. 66-73
  
• Akio Nakata, Teruo Higashino, Kenichi Taniguchi:
  Protocol synthesis from timed and structured specifications. 74-
  

ATM Switch Design

• Jin Li, Chuan-lin Wu:
  Design and implementation of a multicast-buffer ATM switch. 84-91
  
• Derek C. W. Pao, W. N. Chau:
  Design of ATM switch using hypercube with distributed shared input buffers and dedicated output buffers. 92-99
  
• Byungho Kim, Boseob Kwon, Jinchun Kim, Hyunsoo Yoon, Jung Wan Cho:
  Performance analysis of an ATM switch with multiple paths. 100-
  

Formal Description Techniques

• Qiang Gao, Roland Groz, Gregor von Bochmann, Joumana Dargham, E. Houssain Htite:
  Validation of distributed algorithms and protocols. 110-117
  
• Keiichi Yasumoto, Teruo Higashino, Toshio Matsuura, Kenichi Taniguchi:
  Protocol visualization using LOTOS multi-rendezvous mechanism. 118-125
  
• Ahmed Khoumsi, Gregor von Bochmann:
  Protocol synthesis using basic Lotos and global variables. 126-
  

ATM Traffic Control

• Vincenzo Catania, Giuseppe Ficili, Sergio Palazzo, Daniela Panno:
  A fuzzy decision maker for source traffic control in high speed networks. 136-143
  
• Chuang Lin, Samuel T. Chanson:
  ATM admission models of stochastic high level Petri nets based on hierarchical modeling. 144-151
  
• Amitava Raha, Sanjay Kamat, Wei Zhao:
  Using traffic regulation to meet end-to-end deadlines in ATM LANs. 152-
  

Transport Protocols

• Guevara Noubir, K. Vijayananda, Henri J. Nussbaumer:
  A robust transport protocol for run-time fault detection. 164-171
  
• Yutaka Miyake, Toshihiko Kato, Kenji Suzuki:
  Implementation method of high speed protocol as transport library. 172-179
  
• Michael J. McPheters, Hung T. Nguyen, Mowaffak T. Midani:
  The interaction between the V protocol and the Q.293I protocol for the interactive video network. 180-
  

Wireless Clommunications

• Mohamed G. Gouda, Sanjoy Paul:
  A wireless link protocol: design by refinement. 192-200
  
• Yibin Yang, Ten-Hwang Lai, Ming-Tsan Liu:
  Mobile real-time communications in FDDI networks. 201-208
  
• Chunhung Richard Lin, Mario Gerla:
  Multimedia transport in multihop dynamic packet radio networks. 209-
  

Information Networks

• Roberto Okada, Eun-Seok Lee, Norio Shiratori:
  A society of cooperative agents on the information network: towards intelligent information gathering. 218-225
  
• M. Moser, Sigeki Sugiura, Kenji Sugawara, Norio Shiratori:
  A Framework for Flexible Networking. 226-233
  
• Takayuki Tachikawa, Makoto Takizawa:
  Distributed protocol for selective intra-group communication. 234-243
  

Multimedia Synchronization

• Chung-Ming Huang, Ruey-Yang Lee:
  Multimedia synchronization for live presentation using the N-buffer approach. 244-251
  
• Chao-Hui Wu, Liang-Seng Koh, Ming T. Liu:
  A synchronization and compensation protocol for multimedia communication systems. 252-259
  
• Son T. Vuong, Kendra Cooper, Mabo Robert Ito:
  Petri net models for describing multimedia synchronization requirements. 260-
  

Internetworking

• Olivier Bonaventure, André A. S. Danthine, Espen Klovning, Olivier Danthine:
  TCP/IP and the European ATM pilot. 270-277
  
• Taeyeon Kim, Bongnam Noh:
  Internetworking between OSI and TCP/IP network managements with security features. 278-285
  
• Stephen Milliner, Alex Delis:
  Networking abstractions and protocols under variable length messages. 286-
  

Multimedia Protocol Design

• Choong Seon Hong, Hirofumi Abe, Dai Kashiwa, Yutaka Matsushita:
  Service and connection management architecture for distributed multimedia applications. 296-304
  
• Seungchul Park, Yanghee Choi:
  A call model for multimedia multiuser communication platform. 305-312
  
• P. K. Jain, Norman C. Hutchinson, Samuel T. Chanson:
  Protocol architectures for delivering application specific quality of service. 313-
  

Protocol Design

• Anish Arora, D. M. Poduska:
  A timing-based schema for stabilizing information exchange. 324-331
  
• Chotipat Pornavalai, Goutam Chakraborty, Norio Shiratori:
  A neural network approach to multicast routing in real-time communication networks. 332-339
  
• Kenji Ishida, Yoshiaki Kakuda, Tohru Kikuno:
  A routing protocol for finding two node-disjoint paths in computer networks. 340-
  

Multimedia LANs

• Koichi Tanno, Akio Koyama, T. Taketa, Shoichi Noguchi:
  Buffer insertion/self-token (BIST) protocol for multimedia LANs. 350-355
  
• Seong Bae Eun, Jong-Wan Kim, Byeong Man Kim, Hyunsoo Yoon, Seungryul R. Maeng:
  Nonpreemptive scheduling algorithms for multimedia communication in local area networks. 356-364
  
• Deborah A. Agarwal, Louise E. Moser, P. M. Melliar-Smith, Ravi K. Budhia:
  A reliable ordered delivery protocol for interconnected local area networks. 365-