1. Home
  2. Proceedings
  3. ICNP
  4. ICNP 1995
Default Cover Image

Proceedings of International Conference on Network Protocols

Nov. 7 1995 to Nov. 10 1995

Tokyo, Japan

ISBN: 0-8186-7216-1

Table of Contents

Proceedings of International Conference on Network ProtocolsFreely available from IEEE.pp. i-i
General Chair's MessageFreely available from IEEE.pp. x
Program Chair' s MessageFreely available from IEEE.pp. xi
CommitteesFreely available from IEEE.pp. xii
ReviewersFreely available from IEEE.pp. xiii
Session 1A: Formal Methods, Co-Chairs: David Lee, Koji Okada
Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitionsFull-text access may be available. Sign in or learn about subscription options.pp. 6
by Hong Liu, R.E. Miller
Session 1A: Formal Methods, Co-Chairs: David Lee, Koji Okada
Verification and diagnosis of testing equivalence and reduction relationFull-text access may be available. Sign in or learn about subscription options.pp. 14
by Z.P. Tao, G. von Bochmann, R. Dssouli
Session 1A: Formal Methods, Co-Chairs: David Lee, Koji Okada
Similarity for reuse of specifications in communication software developmentFull-text access may be available. Sign in or learn about subscription options.pp. 22
by U. Yamamoto, E.S. Lee, N. Shiratori
Session 1B: ATM Bandwidth Assignments, Co-Chairs: Kenichiro Mori, Wei Zhao
A dynamic bandwidth allocation scheme for multimedia data over ATM networksFull-text access may be available. Sign in or learn about subscription options.pp. 32
by Han Zhou, C.H. Chang
Session 1B: ATM Bandwidth Assignments, Co-Chairs: Kenichiro Mori, Wei Zhao
Simulation study of a run-time bandwidth assignment technique for delay sensitive traffic in high-speed networkFull-text access may be available. Sign in or learn about subscription options.pp. 40
by I. Ryoo, H. Aida, T. Saito
Session 1B: ATM Bandwidth Assignments, Co-Chairs: Kenichiro Mori, Wei Zhao
On guaranteed bandwidth channelsFull-text access may be available. Sign in or learn about subscription options.pp. 47
by S. Chaudhry, M. Raziuddin, A. Choudhary
Session 2A: Protocol Synthesis, Co-Chairs: Eric W.S. Chen, Yutaka Hiragawa
A protocol synthesis algorithm: a relational approachFull-text access may be available. Sign in or learn about subscription options.pp. 58
by K. Zeroual, M. El Yassini
Session 2A: Protocol Synthesis, Co-Chairs: Eric W.S. Chen, Yutaka Hiragawa
Extension of protocol synthesis to structured entitiesFull-text access may be available. Sign in or learn about subscription options.pp. 66
by B.B. Bista, A. Togashi, N. Shiratori
Session 2A: Protocol Synthesis, Co-Chairs: Eric W.S. Chen, Yutaka Hiragawa
Protocol synthesis from timed and structured specificationsFull-text access may be available. Sign in or learn about subscription options.pp. 74
by A. Nakata, T. Higashino, K. Taniguchi
Session 2B: ATM Switch Design, Co-Chairs: Yukio Hiramatsu, Han Zhou
Design and implementation of a multicast-buffer ATM switchFull-text access may be available. Sign in or learn about subscription options.pp. 84
by Jin Li, Chuan-Lin Wu
Session 2B: ATM Switch Design, Co-Chairs: Yukio Hiramatsu, Han Zhou
Design of ATM switch using hypercube with distributed shared input buffers and dedicated output buffersFull-text access may be available. Sign in or learn about subscription options.pp. 92
by D.C.W. Pao, W.N. Chau
Session 2B: ATM Switch Design, Co-Chairs: Yukio Hiramatsu, Han Zhou
Performance analysis of an ATM switch with multiple pathsFull-text access may be available. Sign in or learn about subscription options.pp. 100
by Byungho Kim, Boseob Kwon, Jinchun Kim, H. Yoon, Jungwan Cho
Session 3A: Formal Description Techniques, Co-Chairs: Yanghee Choi, Yoshiaki Kakuda
Validation of distributed algorithms and protocolsFull-text access may be available. Sign in or learn about subscription options.pp. 110
by Qiang Gao, R. Groz, G. von Bochmann, J. Dargham, E.H. Htite
Session 3A: Formal Description Techniques, Co-Chairs: Yanghee Choi, Yoshiaki Kakuda
Protocol visualization using LOTOS multi-rendezvous mechanismFull-text access may be available. Sign in or learn about subscription options.pp. 118
by K. Yasumoto, T. Higashino, T. Matsuura, K. Taniguchi
Session 3A: Formal Description Techniques, Co-Chairs: Yanghee Choi, Yoshiaki Kakuda
Protocol synthesis using basic Lotos and global variablesFull-text access may be available. Sign in or learn about subscription options.pp. 126
by A. Khoumsi, G. von Bochmann
Session 3B: ATM Traffic Control, Co-Chairs: Kuninobu Tanno, Hyunsoo Yoon
A fuzzy decision maker for source traffic control in high speed networksFull-text access may be available. Sign in or learn about subscription options.pp. 136
by V. Catania, G. Ficili, S. Palazzo, D. Panno
Session 3B: ATM Traffic Control, Co-Chairs: Kuninobu Tanno, Hyunsoo Yoon
ATM admission models of stochastic high level Petri nets based on hierarchical modelingFull-text access may be available. Sign in or learn about subscription options.pp. 144
by Chuang Lin, S.T. Chanson
Session 3B: ATM Traffic Control, Co-Chairs: Kuninobu Tanno, Hyunsoo Yoon
Using traffic regulation to meet end-to-end deadlines in ATM LANsFull-text access may be available. Sign in or learn about subscription options.pp. 152
by A. Raha, S. Kamat, W. Zhao
Session 4A: Transport Protocols, Co-Chairs: Samuel Chanson, Hidetaka Miyake
A robust transport protocol for run-time fault detectionFull-text access may be available. Sign in or learn about subscription options.pp. 164
by G. Noubir, K. Vijayananda, H.J. Nussbaumer
Session 4A: Transport Protocols, Co-Chairs: Samuel Chanson, Hidetaka Miyake
Implementation method of high speed protocol as transport libraryFull-text access may be available. Sign in or learn about subscription options.pp. 172
by Y. Miyake, T. Kato, K. Suzuki
Session 4A: Transport Protocols, Co-Chairs: Samuel Chanson, Hidetaka Miyake
The interaction between the V protocol and the Q.293I protocol for the interactive video networkFull-text access may be available. Sign in or learn about subscription options.pp. 180
by M.J. McPheters, H.T. Nguyen, M.T. Midani
Session 4B: Wireless Clommunications, Co-Chairs: Shiro Sakata, Son T. Vuong
A wireless link protocol: design by refinementFull-text access may be available. Sign in or learn about subscription options.pp. 192
by M.G. Gouda, S. Paul
Session 4B: Wireless Clommunications, Co-Chairs: Shiro Sakata, Son T. Vuong
Mobile real-time communications in FDDI networksFull-text access may be available. Sign in or learn about subscription options.pp. 201
by Yibin Yang, Ten-Hwang Lai, Ming-Tsan Liu
Session 4B: Wireless Clommunications, Co-Chairs: Shiro Sakata, Son T. Vuong
Multimedia transport in multihop dynamic packet radio networksFull-text access may be available. Sign in or learn about subscription options.pp. 209
by C.R. Lin, M. Gerla
Session 5A: Information Networks, Co-Chairs: Anish Arora, Hidenori Nakazato
A society of cooperative agents on the information network: towards intelligent information gatheringFull-text access may be available. Sign in or learn about subscription options.pp. 218
by R. Okada, Eun-Seok Lee, N. Shiratori
Session 5A: Information Networks, Co-Chairs: Anish Arora, Hidenori Nakazato
A Framework for Flexible NetworkingFull-text access may be available. Sign in or learn about subscription options.pp. 226
by M. Moser, S. Sugiura, K. Sugawara, N. Shiratori
Session 5A: Information Networks, Co-Chairs: Anish Arora, Hidenori Nakazato
Distributed protocol for selective intra-group communicationFull-text access may be available. Sign in or learn about subscription options.pp. 234
by T. Tachikawa, M. Takizawa
Session 5B: Multimedia Synchronization
Multimedia synchronization for live presentation using the N-buffer approachFull-text access may be available. Sign in or learn about subscription options.pp. 244
by Chung-Ming Huang, Ruey-Yang Lee
Session 5B: Multimedia Synchronization
A synchronization and compensation protocol for multimedia communication systemsFull-text access may be available. Sign in or learn about subscription options.pp. 252
by Chao-Hui Wu, Liang-Seng Koh, M.T. Liu
Session 5B: Multimedia Synchronization
Petri net models for describing multimedia synchronization requirementsFull-text access may be available. Sign in or learn about subscription options.pp. 260
by S. Vuong, K. Cooper, M. Ito
Session 6A: Internetworking
TCP/IP and the European ATM pilotFull-text access may be available. Sign in or learn about subscription options.pp. 270
by O. Bonaventure, A. Danthine, E. Klovning, A. Danthine
Session 6A: Internetworking
Internetworking between OSI and TCP/IP network managements with security featuresFull-text access may be available. Sign in or learn about subscription options.pp. 278
by Taeyeon Kim, Bongnam Noh
Session 6A: Internetworking
Networking abstractions and protocols under variable length messagesFull-text access may be available. Sign in or learn about subscription options.pp. 286
by S. Milliner, A. Delis
Session 6B: Multimedia Protocol Design
Service and connection management architecture for distributed multimedia applicationsFull-text access may be available. Sign in or learn about subscription options.pp. 296
by Choong Seon Hong, H. Abe, D. Kashiwa, Y. Matsushita
Session 6B: Multimedia Protocol Design
A call model for multimedia multiuser communication platformFull-text access may be available. Sign in or learn about subscription options.pp. 305
by Seungchul Park, Yanghee Choi
Session 6B: Multimedia Protocol Design
Protocol architectures for delivering application specific quality of serviceFull-text access may be available. Sign in or learn about subscription options.pp. 313
by P.K. Jain, N.C. Hutchinson, S.T. Chanson
Session 7A: Protocol Design
A timing-based schema for stabilizing information exchangeFull-text access may be available. Sign in or learn about subscription options.pp. 324
by A. Arora, D.M. Poduska
Session 7A: Protocol Design
A neural network approach to multicast routing in real-time communication networksFull-text access may be available. Sign in or learn about subscription options.pp. 332
by C. Pornavalai, G. Chakraborty, N. Shiratori
Session 7A: Protocol Design
A routing protocol for finding two node-disjoint paths in computer networksFull-text access may be available. Sign in or learn about subscription options.pp. 340
by K. Ishida, Y. Kakuda, T. Kikuno
Session 7B: Multimedia LANs
Buffer insertion/self-token (BIST) protocol for multimedia LANsFull-text access may be available. Sign in or learn about subscription options.pp. 350
by K. Tanno, A. Koyama, T. Taketa, S. Noguchi
Session 7B: Multimedia LANs
Nonpreemptive scheduling algorithms for multimedia communication in local area networksFull-text access may be available. Sign in or learn about subscription options.pp. 356
by S. Eun, J. Kim, B. Kim, H. Yoon, S.R. Maeng
Session 7B: Multimedia LANs
A reliable ordered delivery protocol for interconnected local area networksFull-text access may be available. Sign in or learn about subscription options.pp. 365
by D.A. Agarwal, L.E. Moser, P.M. Melliar-Smith, R.K. Budhia
Session 7B: Multimedia LANs
Author IndexFreely available from IEEE.pp. 375
Showing 48 out of 48