Wednesday, November 8, 1995:

Opening Session (9:00-10:30 a.m.)(Hall)

Refreshment Break (10:30-11:00 a.m.)

Session 1A: Formal Methods (11:00-12:30)(Room A)

Session Co-Chairs:

David Lee, AT&T Bell Labs, U.S.A.

Koji Okada, ETL, Japan

1. Generalized Fair Reachability Analysis for Cyclic Protocols with Nondeterminism and Internal Transitions, H. Liu and R. E. Miller, University of Maryland at College Park, U.S.A.
2. Algorithms for the Verification and Diagnosis of Testing Equivalence and Reduction Relation, Z. P. Tao, G. v. Bochmann, and R. Dssouli, Universite de Montreal, Canada
3. Similarity for Reuse of Specification in Communication Software Development, U. Yamamoto, E. Lee and N. Shiratori, Tohoku University, Japan

Session 1B: ATM Bandwidth Assignments(Room B)

Session Co-Chairs:

Kenichiro Mori, Omron, Japan

Wei Zhao, Texas A&M University, U.S.A.

4. A Dynamic Bandwidth Allocation Scheme for Multimedia Data over ATM Network, H. Zhou and C. H. Chang, Tufts University, U.S.A.
5. Design and Performance Analysis of a Real-time Bandwidth Assignment Technique, I. Ryoo, H. Aida and T. Saito, The University of Tokyo, Japan
6. On Guaranteed Bandwidth Channels, S. Chaudhry, M. Raziuddin, and A. Choudhary, Syracuse University, U.S.A.

Lunch Break (12:30-2:00 p.m.)

Session 2A: Protocol Synthesis (2:00-3:30 p.m.)(Room A)

Session Co-Chairs:

Eric W.S. Chen, National Chung Hsing Univ., Taiwan

Yutaka Hiragawa, NTT, Japan

7. A Protocol Synthesis Algorithm: A Relational Approach, K. Zeroual and M. E. Yassini, Universite de Sherbrooke, Canada
8. Extension of Protocol Synthesis to Structured Entities, B. B. Bista, A. Togashi and N. Shiratori, Tohoku University, Japan
9. Protocol Synthesis from Timed and Structured Specifications, A. Nakata, T. Higashino, K. Taniguchi, Osaka University, Japan

Session 2B: ATM Switch Design(Room B)

Session Co-Chairs:

Yukio Hiramatsu, NTT, Japan

Han Zhou, Tufts University, U.S.A

10. Multicast Function in ATM Switches, J. Li and C.-L. Wu, University of Texas at Austin, U.S.A.
11. Design of ATM Switch Using Hypercube with Distributed Shared Input Buffers and Dedicated Output Buffers, D. C. W. Pao and W. N. Chau, City University of Hong Kong, Hong Kong
12.Performance Analysis of an ATM Switch with Multiple Paths, B. Kim, B. Kim, J. Jim, H. Yoon, and J. Cho, Korean Advanced Institute of Science and Technology, Korea

Refreshment Break (3:30-4:00 p.m.)

Session 3A: Formal Description Techniques (4:00-5:30 p.m.)(Room A)

Session Co-Chairs:

Yanghee Choi, Seoul National University, Korea

Yoshiaki Kakuda, Osaka University, Japan

13. Validation of Distributed Algorithms and Protocols, Q. Gao, R. Groz, G. v. Bochmann, J. Dargham and E. H. Htite, Universite de Montreal, Canada
14. Protocol Visualization using LOTOS Multi-Rendezvous Mechanism, K. Yasumoto, T. Higashino, T. Matsuura, and K. Taniguchi Osaka University, Japan
15. Protocol Synthesis using Basic LOTOS and Global Variables, A. Khoumsi, and G. v. Bochmann, Universite de Montreal, Canada

Session 3B: ATM Traffic Control(Room B)

Session Co-Chairs:

Kuninobu Tanno, Yamagata University, Japan

Hyunsoo Yoon, KAIST, Korea

16. A Fuzzy Decision Maker for Source Traffic in High Speed Networks, V. Catania, G. Ficili, S. Palazzo, and D. Panno, Universita di Catania, Italy
17. ATM Admission Models of Stochastic High Level Petri Nets Based on Hierarchical Modeling, C. Lin and S. Chanson, Hong Kong University of Science and Technology, Hong Kong
18. Using Traffic Regulation To Meet End-to-End Deadlines in ATM Networks, A. Raha, S. Kamat, and W. Zhao, Texas A&M University, U.S.A.

Reception (6:00-8:00 p.m.)

Thursday, November 9, 1995:

Plenary session(9:00-10:00 a.m.)(hall)

Refreshment Break (10:00-11:00 a.m.)

Session 4A: Transport Protocols (11:00-12:30)(Room A)

Session Co-Chairs:

Samuel Chanson, UST, Hong Kong

Hidetaka Miyake, Fuji Xerox, Japan

19. A Robust Transport Protocol for Run-Time Fault Detection, G. Noubir, K. Vijayananda, H. Nussbaumer, Swiss Federal Institute of Technology, Switzerland
20. Implementation Method of High Speed Protocol as Transport Library, Y. Miyake, T. Kato, K. Suzuki, Kdd R&D Laboratories, Japan
21. The Interaction Between the V Protocol and the Q.2931 Protocol for the Interactive Video Network, M. J. McPheters, H. T. Nguyen, M. T. Midani, AT&T Bell Laboratories, U.S.A.

Session 4B: Wireless Communications(Room B)

Session Co-Chairs:

Shiro Sakata, NEC, Japan

Mabo Ito, UBC, Canada

22. A Wireless Link Protocol: Design by Refinement, M. G. Gouda and S. Paul, AT&T Bell Lab, U.S.A.
23. Mobile Real Time Communications on FddI Networks, Y. Yang, T.-H. Lai, M. T. Liu, The Ohio State University, U.S.A.
24. Multimedia Transport in Multihop Dynamic Packet Radio Networks, C.-H. R. Lin, M. Gerla, University of California, U.S.A.

Lunch Break (12:30-2:00)

Session 5A: Information Networks (2:00-3:30 p.m.)(Room A)

Session Co-Chairs:

Anish Arora, Ohio State University, U.S.A

Hidenori Nakazato, Oki, Japan

25. A Society of Cooperative Agents on the Information Network: Towards Intelligent Information Gathering, R. Okada, E.-S. Lee and N. Shiratori, Tohoku University, Japan
26. A Framework for Flexible Networking, M. Moser, K. Sugawara, and N. Shiratori, Tohoku University, Japan
27. Distributed Protocol for Selective Intra-group CommunicationT. Tachikawa and M. Takizawa, Tokyo Denki University, Japan

Session 5B: Multimedia Synchronization(Room B)

Session Co-Chairs:

Susumu Kitaguchi, Sharp, Japan

Sanjoy Paul, AT&T Bell Labs, U.S.A.

28. Multimedia Synchronization for Live Presentation Using the N-Buffer Approach, C.-M. Huang, R.-Y. Lee, National Cheng Kung University, Taiwan
29. A Synchronization and Compensation Protocol for Multimedia Communication Systems, C.-H. Wu, L.-S. Koh, M. T. Liu, The Ohio State University, U.S.A.
30. Formal Methods for Modeling Multimedia Synchronization Requirements, S. Vuong, K. Cooper, M. Ito, The University of British Columbia, Canada

Refreshment Break (3:30-4:00 p.m.)

Session 6A: Internetworking (4:00-5:30 p.m.)(Room A)

Session Co-Chairs:

Yutaka Hirasawa, Toshiba, Japan

Behcet Sarikaya, University of Aizu, Japan

31. TCP/IP and the European ATM Pilot, O. Bonaventure, E. Klovning, A. Danthine and O. Danthine, Universite de Liege, Belgium
32. Internetworking Security between TCP/IP and OSI Network Managements, T. Kim, C. Lee and B. Noh, Chonnam National University, Korea
33. Networking Abstractions and Protocols Under Variable Length Messages, S. W. Milliner, A. Delis, Queesland University of Technology, Australia

Session 6B: Multimedia Protocol Design(Room B)

Session Co-Chairs:

Chung-Ming Huang, National Cheng Kung Univ., Taiwan

Takashi Kurosawa, Microsoft, Japan

34. Service and Connection Management Architecture for Distributed Multimedia Applications, C. S. Hong, H. Abe, D. Kashiwa and Y. Matsushita, Keio University, Japan
35. A Call Model for Multimedia Multiuser Communication Platform, S. Park and Y. Choi, Seoul National University, Korea
36. Protocol Architectures for Delivering Application Specific Quality of Service, P. K. Jain, N. C. Hutchinson and S. T. Chanson, Bell Northern Research, Canada

Friday, November 10, 1995:

Plenary Session (9:00-10:00 a.m.)(Room A and B)

Refreshment Break (10:00-11:00 a.m.)

Session 7A: Protocol Design (11:00 a.m.-12:30 p.m.)(Room A)

Session Co-Chairs:

Mohamed Gouda, University of Texas, U.S.A.

Masataka Sugano, NTT Data, Japan

37. A Timing-based schema for stabilizing information exchange in networksA. Arora, D. Poduska, The Ohio State University, U.S.A.
38. A Neural Network Approach to Multicast Routing in Real-Time Communication Networks, C. Pornavalai,G.Chakraborty,N.Shiratri. Tohoku University, Japan
39. A Routing Protocol for Finding Two Node-Disjoint Paths in Computer Networks, K. Ishida, Y. Kakuda, T. Kikuno, Hiroshima Prefectural University, Japan

Session 7B: Multimedia LANs(Room B)

Session Co-Chairs:

Ching-Sung Lu, Telecom Lab., MOTC, Taiwan

Osamu Takada, Hitachi, Japan

40. Buffer Insertion/Self Token (BIST) Protocol for Multimedia LANs, K. Tanno, A. Koyama, T. Taketa, and S. Noguchi, Yamagata University, Japan
41. Nonpreemptive Scheduling Algorithms for Multimedia Communication in Local Area Networks, S. Eun, J. Kim, B. Kim, H. Yoon, S. R. Maeng, Korean Advanced Institute of Science and Technology, Korea
42. A Reliable Ordered Delivery Protocol for Interconnected Local-Area Networks, D. A. Agarwal, L. E. Moser, P. M. Melliar-Smith, and R. K. Budhia, University of California, U.S.A.