3. ICNP 1995: Tokyo, Japan

1995 International Conference on Network Protocols, ICNP 1995, November 7-10, 1995, Tokyo, Japan. IEEE Computer Society 1995

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-

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-

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-

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-

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-

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-

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-

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-

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

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-

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-

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-

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-

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-

Last update Sat May 25 03:26:02 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page