Conferences in DBLP
Hong Liu , Raymond E. Miller Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitions. [Citation Graph (0, 0)][DBLP ] Conf ] Zhongping Tao , Gregor von Bochmann , Rachida Dssouli Verification and diagnosis of testing equivalence and reduction relation. [Citation Graph (0, 0)][DBLP ] Conf ] Ushio Yamamoto , Eun-Seok Lee , Norio Shiratori Similarity for reuse of specifications in communication software development. [Citation Graph (0, 0)][DBLP ] Conf ] Han Zhou , C. H. Chang A dynamic bandwidth allocation scheme for multimedia data over ATM networks. [Citation Graph (0, 0)][DBLP ] Conf ] Intae Ryoo , Hitoshi Aida , Hitoshi Saito Simulation study of a run-time bandwidth assignment technique for delay sensitive traffic in high-speed network. [Citation Graph (0, 0)][DBLP ] Conf ] Shailender Chaudhry , Mohammed Raziuddin , Alok N. Choudhary On guaranteed bandwidth channels. [Citation Graph (0, 0)][DBLP ] Conf ] Kacem Zeroual , M. El Yassini A protocol synthesis algorithm: a relational approach. [Citation Graph (0, 0)][DBLP ] Conf ] Bhed Bahadur Bista , Atsushi Togashi , Norio Shiratori Extension of protocol synthesis to structured entities. [Citation Graph (0, 0)][DBLP ] Conf ] Akio Nakata , Teruo Higashino , Kenichi Taniguchi Protocol synthesis from timed and structured specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Jin Li , Chuan-lin Wu Design and implementation of a multicast-buffer ATM switch. [Citation Graph (0, 0)][DBLP ] Conf ] Derek C. W. Pao , W. N. Chau Design of ATM switch using hypercube with distributed shared input buffers and dedicated output buffers. [Citation Graph (0, 0)][DBLP ] Conf ] Byungho Kim , Boseob Kwon , Jinchun Kim , Hyunsoo Yoon , Jung Wan Cho Performance analysis of an ATM switch with multiple paths. [Citation Graph (0, 0)][DBLP ] Conf ] Qiang Gao , Roland Groz , Gregor von Bochmann , Joumana Dargham , E. Houssain Htite Validation of distributed algorithms and protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Keiichi Yasumoto , Teruo Higashino , Toshio Matsuura , Kenichi Taniguchi Protocol visualization using LOTOS multi-rendezvous mechanism. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Khoumsi , Gregor von Bochmann Protocol synthesis using basic Lotos and global variables. [Citation Graph (0, 0)][DBLP ] Conf ] Vincenzo Catania , Giuseppe Ficili , Sergio Palazzo , Daniela Panno A fuzzy decision maker for source traffic control in high speed networks. [Citation Graph (0, 0)][DBLP ] Conf ] Chuang Lin , Samuel T. Chanson ATM admission models of stochastic high level Petri nets based on hierarchical modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Amitava Raha , Sanjay Kamat , Wei Zhao Using traffic regulation to meet end-to-end deadlines in ATM LANs. [Citation Graph (0, 0)][DBLP ] Conf ] Guevara Noubir , K. Vijayananda , Henri J. Nussbaumer A robust transport protocol for run-time fault detection. [Citation Graph (0, 0)][DBLP ] Conf ] Yutaka Miyake , Toshihiko Kato , Kenji Suzuki Implementation method of high speed protocol as transport library. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed G. Gouda , Sanjoy Paul A wireless link protocol: design by refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Yibin Yang , Ten-Hwang Lai , Ming-Tsan Liu Mobile real-time communications in FDDI networks. [Citation Graph (0, 0)][DBLP ] Conf ] Chunhung Richard Lin , Mario Gerla Multimedia transport in multihop dynamic packet radio networks. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Okada , Eun-Seok Lee , Norio Shiratori A society of cooperative agents on the information network: towards intelligent information gathering. [Citation Graph (0, 0)][DBLP ] Conf ] M. Moser , Sigeki Sugiura , Kenji Sugawara , Norio Shiratori A Framework for Flexible Networking. [Citation Graph (0, 0)][DBLP ] Conf ] Takayuki Tachikawa , Makoto Takizawa Distributed protocol for selective intra-group communication. [Citation Graph (0, 0)][DBLP ] Conf ] Chung-Ming Huang , Ruey-Yang Lee Multimedia synchronization for live presentation using the N-buffer approach. [Citation Graph (0, 0)][DBLP ] Conf ] Chao-Hui Wu , Liang-Seng Koh , Ming T. Liu A synchronization and compensation protocol for multimedia communication systems. [Citation Graph (0, 0)][DBLP ] Conf ] Son T. Vuong , Kendra Cooper , Mabo Robert Ito Petri net models for describing multimedia synchronization requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Bonaventure , André A. S. Danthine , Espen Klovning , Olivier Danthine TCP/IP and the European ATM pilot. [Citation Graph (0, 0)][DBLP ] Conf ] Taeyeon Kim , BongNam Noh Internetworking between OSI and TCP/IP network managements with security features. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Milliner , Alex Delis Networking abstractions and protocols under variable length messages. [Citation Graph (0, 0)][DBLP ] Conf ] Choong Seon Hong , Hirofumi Abe , Dai Kashiwa , Yutaka Matsushita Service and connection management architecture for distributed multimedia applications. [Citation Graph (0, 0)][DBLP ] Conf ] Seungchul Park , Yanghee Choi A call model for multimedia multiuser communication platform. [Citation Graph (0, 0)][DBLP ] Conf ] P. K. Jain , Norman C. Hutchinson , Samuel T. Chanson Protocol architectures for delivering application specific quality of service. [Citation Graph (0, 0)][DBLP ] Conf ] Anish Arora , D. M. Poduska A timing-based schema for stabilizing information exchange. [Citation Graph (0, 0)][DBLP ] Conf ] Chotipat Pornavalai , Goutam Chakraborty , Norio Shiratori A neural network approach to multicast routing in real-time communication networks. [Citation Graph (0, 0)][DBLP ] Conf ] Kenji Ishida , Yoshiaki Kakuda , Tohru Kikuno A routing protocol for finding two node-disjoint paths in computer networks. [Citation Graph (0, 0)][DBLP ] Conf ] Koichi Tanno , Akio Koyama , T. Taketa , Shoichi Noguchi Buffer insertion/self-token (BIST) protocol for multimedia LANs. [Citation Graph (0, 0)][DBLP ] Conf ] Seong Bae Eun , Jongwan Kim , Byeong Man Kim , Hyunsoo Yoon , Seungryul R. Maeng Nonpreemptive scheduling algorithms for multimedia communication in local area networks. [Citation Graph (0, 0)][DBLP ] Conf ] Deborah A. Agarwal , Louise E. Moser , P. M. Melliar-Smith , Ravi K. Budhia A reliable ordered delivery protocol for interconnected local area networks. [Citation Graph (0, 0)][DBLP ] Conf ] 