EVALUATION OF LANGUAGES FOR SPECIFYING INTEGRITY CONDITIONS FOR MULTICAST GROUPS
暂无分享,去创建一个
[1] Ray Welland,et al. VCt - a formal language for the specification of diagrammatic modelling techniques , 1998, Inf. Softw. Technol..
[2] Serge Fdida. Multimedia transport protocol and multicast communication , 1995, High-Speed Networking for Multimedia Applications.
[3] Alan S. Abrahams,et al. Event-centric Policy Specification for E-commerce Applications , 2002 .
[4] David Walker,et al. A type system for expressive security policies , 2000, POPL '00.
[5] Ralf Steinmetz,et al. A Novel Group Integrity Concept for Multimedia Multicasting , 2001, IDMS.
[6] René Wies,et al. Using a classification of management policies for policy specification and policy transformation , 1995, Integrated Network Management.
[7] Erwin Engeler,et al. Languages with expressions of infinite length , 1966 .
[8] Katia Obraczka,et al. Multicast transport protocols: a survey and taxonomy , 1998, IEEE Commun. Mag..
[9] Richard R. Muntz,et al. COCA: collaborative objects coordination architecture , 1998, CSCW '98.
[10] Nicodemos Constantinou Damianou,et al. A policy framework for management of distributed systems , 2002 .
[11] Frank van Harmelen,et al. Comparing formal specification languages for complex reasoning systems , 1993 .
[12] J. Doug Tygar,et al. Specifying and Checking UNIX Security Constraints , 1994, Comput. Syst..
[13] Tommaso Bolognesi,et al. Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.
[14] Bernd Meyer,et al. Defining Policies for Performance Management in Open Distributed Systems , 1994 .
[15] Ralf Steinmetz,et al. Security Issues in Group Integrity Management for Multimedia Multicasting , 2001 .
[16] Richard R. Muntz,et al. A collaboration specification language , 1999, DSL '99.
[17] Hartmut König,et al. GCSVA-a multiparty videoconferencing system with distributed group and QoS management , 1998, Proceedings 7th International Conference on Computer Communications and Networks (Cat. No.98EX226).
[18] Richard R. Muntz,et al. Runtime dynamics in collaborative systems , 1999, GROUP '99.
[19] Olivier Bonaventure,et al. A Group Communication Framework , 1994, Broadband Islands.
[20] Calvin Ko,et al. User-Level Truffles: Final Report , 1997 .
[21] Emil C. Lupu,et al. The Ponder Policy Specification Language , 2001, POLICY.
[22] Thu D. Nguyen,et al. A Hierarchical Policy Specification Language and Enforcement Mechanism for Governing Digital Enterprises , 2002, POLICY.
[23] Serge Fdida,et al. GCAP: A New Multimedia Multicast Architecture for QoS , 2001, PROMS.
[24] Betty H. C. Cheng,et al. An object-oriented toolkit for constructing specification editors , 1992, [1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference.
[25] Ray Welland,et al. Increasing the flexibility of modelling tools via constraint-based specification , 1999, CASCON.
[26] Jeanine Souquières,et al. Description of specification developments , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.
[27] Emil C. Lupu,et al. Policy Specification for Programmable Networks , 1999, IWAN.
[28] Ralf Steinmetz,et al. A framework for group integrity management in multimedia multicasting , 2001, Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey.