Abstract is missing.
- Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitionsHong Liu, Raymond E. Miller. 6-13 [doi]
- Verification and diagnosis of testing equivalence and reduction relationZhongping Tao, Gregor von Bochmann, Rachida Dssouli. 14-21 [doi]
- Similarity for reuse of specifications in communication software developmentUshio Yamamoto, Eun-Seok Lee, Norio Shiratori. 22 [doi]
- A dynamic bandwidth allocation scheme for multimedia data over ATM networksHan Zhou, C. H. Chang. 32-39 [doi]
- Simulation study of a run-time bandwidth assignment technique for delay sensitive traffic in high-speed networkIntae Ryoo, Hitoshi Aida, Hitoshi Saito. 40-46 [doi]
- On guaranteed bandwidth channelsShailender Chaudhry, Mohammed Raziuddin, Alok N. Choudhary. 47 [doi]
- A protocol synthesis algorithm: a relational approachKacem Zeroual, M. El Yassini. 58-65 [doi]
- Extension of protocol synthesis to structured entitiesBhed Bahadur Bista, Atsushi Togashi, Norio Shiratori. 66-73 [doi]
- Protocol synthesis from timed and structured specificationsAkio Nakata, Teruo Higashino, Kenichi Taniguchi. 74 [doi]
- Design and implementation of a multicast-buffer ATM switchJin Li, Chuan-lin Wu. 84-91 [doi]
- Design of ATM switch using hypercube with distributed shared input buffers and dedicated output buffersDerek C. W. Pao, W. N. Chau. 92-99 [doi]
- Performance analysis of an ATM switch with multiple pathsByungho Kim, Boseob Kwon, Jinchun Kim, Hyunsoo Yoon, Jung Wan Cho. 100 [doi]
- Validation of distributed algorithms and protocolsQiang Gao, Roland Groz, Gregor von Bochmann, Joumana Dargham, E. Houssain Htite. 110-117 [doi]
- Protocol visualization using LOTOS multi-rendezvous mechanismKeiichi Yasumoto, Teruo Higashino, Toshio Matsuura, Kenichi Taniguchi. 118-125 [doi]
- Protocol synthesis using basic Lotos and global variablesAhmed Khoumsi, Gregor von Bochmann. 126 [doi]
- A fuzzy decision maker for source traffic control in high speed networksVincenzo Catania, Giuseppe Ficili, Sergio Palazzo, Daniela Panno. 136-143 [doi]
- ATM admission models of stochastic high level Petri nets based on hierarchical modelingChuang Lin, Samuel T. Chanson. 144-151 [doi]
- Using traffic regulation to meet end-to-end deadlines in ATM LANsAmitava Raha, Sanjay Kamat, Wei Zhao. 152 [doi]
- A robust transport protocol for run-time fault detectionGuevara Noubir, K. Vijayananda, Henri J. Nussbaumer. 164-171 [doi]
- Implementation method of high speed protocol as transport libraryYutaka Miyake, Toshihiko Kato, Kenji Suzuki. 172-179 [doi]
- The interaction between the V protocol and the Q.293I protocol for the interactive video networkMichael J. McPheters, Hung T. Nguyen, Mowaffak T. Midani. 180 [doi]
- A wireless link protocol: design by refinementMohamed G. Gouda, Sanjoy Paul. 192-200 [doi]
- Mobile real-time communications in FDDI networksYibin Yang, Ten-Hwang Lai, Ming-Tsan Liu. 201-208 [doi]
- Multimedia transport in multihop dynamic packet radio networksChunhung Richard Lin, Mario Gerla. 209 [doi]
- A society of cooperative agents on the information network: towards intelligent information gatheringRoberto Okada, Eun-Seok Lee, Norio Shiratori. 218-225 [doi]
- A Framework for Flexible NetworkingM. Moser, Sigeki Sugiura, Kenji Sugawara, Norio Shiratori. 226-233 [doi]
- Distributed protocol for selective intra-group communicationTakayuki Tachikawa, Makoto Takizawa. 234-243 [doi]
- Multimedia synchronization for live presentation using the N-buffer approachChung-Ming Huang, Ruey-Yang Lee. 244-251 [doi]
- A synchronization and compensation protocol for multimedia communication systemsChao-Hui Wu, Liang-Seng Koh, Ming T. Liu. 252-259 [doi]
- Petri net models for describing multimedia synchronization requirementsSon T. Vuong, Kendra Cooper, Mabo Robert Ito. 260 [doi]
- TCP/IP and the European ATM pilotOlivier Bonaventure, André A. S. Danthine, Espen Klovning, Olivier Danthine. 270-277 [doi]
- Internetworking between OSI and TCP/IP network managements with security featuresTaeyeon Kim, BongNam Noh. 278-285 [doi]
- Networking abstractions and protocols under variable length messagesStephen Milliner, Alex Delis. 286 [doi]
- Service and connection management architecture for distributed multimedia applicationsChoong Seon Hong, Hirofumi Abe, Dai Kashiwa, Yutaka Matsushita. 296-304 [doi]
- A call model for multimedia multiuser communication platformSeungchul Park, Yanghee Choi. 305-312 [doi]
- Protocol architectures for delivering application specific quality of serviceP. K. Jain, Norman C. Hutchinson, Samuel T. Chanson. 313 [doi]
- A timing-based schema for stabilizing information exchangeAnish Arora, D. M. Poduska. 324-331 [doi]
- A neural network approach to multicast routing in real-time communication networksChotipat Pornavalai, Goutam Chakraborty, Norio Shiratori. 332-339 [doi]
- A routing protocol for finding two node-disjoint paths in computer networksKenji Ishida, Yoshiaki Kakuda, Tohru Kikuno. 340 [doi]
- Buffer insertion/self-token (BIST) protocol for multimedia LANsKoichi Tanno, Akio Koyama, T. Taketa, Shoichi Noguchi. 350-355 [doi]
- Nonpreemptive scheduling algorithms for multimedia communication in local area networksSeong Bae Eun, Jong-Wan Kim, Byeong Man Kim, Hyunsoo Yoon, Seungryul R. Maeng. 356-364 [doi]
- A reliable ordered delivery protocol for interconnected local area networksDeborah A. Agarwal, Louise E. Moser, P. M. Melliar-Smith, Ravi K. Budhia. 365 [doi]