default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd ICNP 1995: Tokyo, Japan
- 1995 International Conference on Network Protocols, ICNP 1995, November 7-10, 1995, Tokyo, Japan. IEEE Computer Society 1995, ISBN 0-8186-7216-1
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 Tan 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 - Martin 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 M. L. 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 - Parag 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 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-
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
