Multi-level specification and protocol design for distributed multimedia communication
暂无分享,去创建一个
Yi Deng | Taieb Znati | Shi-Kuo Chang | Brian Field | Shi-Kuo Chang | T. Znati | Yi Deng | Brian Field
[1] Dinesh C. Verma,et al. A Scheme for Real-Time Channel Establishment in Wide-Area Networks , 1990, IEEE J. Sel. Areas Commun..
[2] Taieb Znati,et al. Experimental evaluation of transport layer protocols for real-time applications , 1991, [1991] Proceedings 16th Conference on Local Computer Networks.
[3] Mohamed G. Gouda,et al. Closed Covers: To Verify Progress for Communicating Finite State Machines , 1984, IEEE Transactions on Software Engineering.
[4] P. David Stotts,et al. Temporal hyperprogramming , 1990, J. Vis. Lang. Comput..
[5] T. Znati. A deadline-driven window protocol for transmission of hard real-time traffic , 1991, [1991 Proceedings] Tenth Annual International Phoenix Conference on Computers and Communications.
[6] Yi Deng,et al. Intelligent database retrieval by visual reasoning , 1990, Proceedings., Fourteenth Annual International Computer Software and Applications Conference.
[7] Yi Deng,et al. A G-Net Model for Knowledge Representation and Reasoning , 1990, IEEE Trans. Knowl. Data Eng..
[8] Yi Deng,et al. A Framework for the Modeling and Prototyping of Distributed Information Systems , 1991, Int. J. Softw. Eng. Knowl. Eng..
[9] Cosmos Andrea Nicolaou,et al. An Architecture for Real-Time Multimedia Communication Systems , 1990, IEEE J. Sel. Areas Commun..
[10] P B Berra,et al. Architecture for distributed multimedia database systems , 1990, Comput. Commun..
[11] James L. Peterson,et al. Petri Nets , 1977, CSUR.
[12] P. David Stotts,et al. Petri-net-based hypertext: document structure with browsing semantics , 1989, TOIS.
[13] Gregor von Bochmann,et al. Finite State Description of Communication Protocols , 1978, Comput. Networks.
[14] J. J. Garcia-Luna-Aceves,et al. CCWS: A Computer-Based, Multimedia Information System , 1985, Computer.
[15] Lixia Zhang,et al. A new architecture for packet switching network protocols , 1989 .
[16] Shi-Kuo Chang,et al. Transformation and Verification of Office Procedures , 1985, IEEE Transactions on Software Engineering.
[17] Ramesh Govindan,et al. Support for continuous media in the DASH system , 1990, Proceedings.,10th International Conference on Distributed Computing Systems.
[18] Kurt Lautenbach,et al. System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..
[19] Chung Laung Liu,et al. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.
[20] Raj Jain,et al. Myths about Congestion Management in High Speed Networks , 1992, INDC.
[21] Purificacion Matute,et al. Transmission control protocol: darpa internet program protocol specification , 1981 .
[22] Harry Rudin,et al. Automated Protocol Validation: One Chain of Development , 1978, Comput. Networks.
[23] Ralf Steinmetz,et al. Synchronization Properties in Multimedia Systems , 1990, IEEE J. Sel. Areas Commun..
[24] Gillian Woodruff,et al. Multimedia Traffic Management Principles for Guaranteed ATM Network Performance , 1990, IEEE J. Sel. Areas Commun..
[25] Jean C. Walrand,et al. Dynamic priority protocols for packet voice , 1989, IEEE J. Sel. Areas Commun..
[26] T.D.C. Little,et al. Network considerations for distributed multimedia object composition and communication , 1990, IEEE Network.
[27] Arif Ghafoor,et al. Synchronization and Storage Models for Multimedia Objects , 1990, IEEE J. Sel. Areas Commun..
[28] Yi Deng,et al. A HyperNet Model for Large Hypertext Systems , 1991, DASFAA.