S. Rajan, P. V. Rangan, and H. M. Vin. A formal basis for structured multimedia collaboration. In Proc. 2nd IEEE Conf. on Multimedia Computing and Systems, Wash., D.C., May 1995.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....Section 2 discusses the group coordination framework and main architectural aspects and outlines a generic coordination protocol. Section 3 concludes the paper. 2 COORDINATION FRAMEWORK We present a formal view on entities and actions in coordination centric systems, refining earlier efforts [24, 25] on the definition of coordination and control processes 1 in collaborative multimedia systems. Candan et al. 5] focus on algorithms for collaborative composition and transmission of media objects under given quality constraints, and their presentation in collaborative group sessions. We picture ....

....and influence others is reduced. Finally, coordination touches upon security issues, specifying whether users are anonymous or authenticated in their exchanges, either at session initiation, or at every turn, and whether information is encrypted. 2.1. 2 Hierarchical Sessions Rajan et al. [24] identify a confluence as a special session type, where all participants transmit and receive the same set of media streams mixed together in broadcast, which allows to save bandwidth. The notion of confluences and session nesting leads to the concept of multilevel or hierarchical sessions. ....

[Article contains additional citation context not shown here]

S. Rajan, P. V. Rangan, and H. M. Vin. A formal basis for structured multimedia collaboration. In Proc. 2nd IEEE Conf. on Multimedia Computing and Systems, Wash., D.C., May 1995.

....[16] and stream synchronization [20] Coordination and cooperation among users in networked multimedia systems support the process of multimedia collaboration [30] which is the actual act of users working together online. We present a formal view on entities and actions refining earlier efforts [29, 30] on the definition of coordination and control processes in collaborative multimedia systems. Our work is process oriented and differs from Candan et al. 4] who concentrate on algorithms for collaborative composition and transmission of media objects under given quality constraints, and their ....

....each member s ability to participate and influence others is reduced. Finally, coordination touches upon security issues, specifying whether users are anonymous or authenticated in their exchanges, either at session initiation, or at every turn, and whether information is encrypted. Rajan et al. [29] identify a confluence as a special session type, where all participants transmit and receive the same set of media streams mixed together in broadcast, which saves bandwidth. The notion of confluences and session nesting leads to the concept of multilevel or hierarchical sessions, whose ....

[Article contains additional citation context not shown here]

S. Rajan, P. V. Rangan, and H. M. Vin. A formal basis for structured multimedia collaboration. In Proc. 2nd IEEE Conf. on Multimedia Computing and Systems, Wash., D.C., May 1995.

....reserve. Mehra et al. 13] introduce the real time channel as a paradigm for guaranteed QoS communication services in packetswitched networks. The architecture proposed provides services such as admission control, traffic enforcement, buffer management, and CPU and link scheduling. Rajan et al. [16] propose a formal framework for multimedia collaboration, which distinguishes three levels of abstraction: streams at the lowest level, for media communication, sessions at the next level, representing collections of semantically related media streams, and conferences as temporally related ....

S. Rajan, P.V. Rangan, and H.M. Vin. A Formal Basis for Structured Multimedia Collaborations. In Proceedings of the 2nd IEEE International Conference on Multimedia Computing and Systems, Washington, D.C., May 1995.

....and recursively form subsessions depending on the group dynamics of the startup sessions. Such online session reformation can be permanent or temporary, and session attributes are inherited from supersessions by their children, but can be overridden. This concept of hierarchical session control [60] reflects the organizational nature of face to face meetings. A temporary subsession, which is also called a coterie 2 , allows for concentrating task threads and side chats to a smaller scope of selected session members. The activities within coteries are invisible for the wider session ....

....Interdependencies among resources and temporal and causal synchronization constraints have been discussed in the context of the MCP protocol framework [79] which employs a token based floor control mechanism. Formal models for multimedia collaboration proposing hierarchical session organization [60] and group membership in asynchronous and syn 14 Hans Peter Dommel and J.J. Garcia Luna Aceves chronous scenarios [59] have also been subjects of research. To clarify the question of how floor control fits into different task groups and collaboration types, a simple taxonomy for collaborative ....

Rajan S, Rangan PV, Vin HM (1995) A formal basis for structured multimedia collaboration. In Proc. 2nd IEEE Multimedia, Wash. D.C., May

....and recursively form subsessions depending on the group dynamics of the startup sessions. Such online session reformation can be permanent or temporary, and session attributes are inherited from supersessions by their children, but can be overridden. This concept of hierarchical session control [59] reflects the organizational nature of face to face meetings. A temporary subsession, which is also called a coterie, allows for concentrating task threads and side chats to a smaller scope of selected session members. The term coterie in this context is related, yet slightly different from the ....

....Interdependencies among resources and temporal and causal synchronization constraints have been discussed in the context of the MCP protocol framework [78] which employs a token based floor control mechanism. Formal models for multimedia collaboration proposing hierarchical session organization [59] and group membership in asynchronous and synchronous scenarios [58] have also been subjects of research. To clarify the question of how floor control fits into various task groups and collaboration types, a simple taxonomy for collaborative environments is useful. Unlike the focus of other more ....

Rajan S, Rangan PV, Vin HM (1995) A formal basis for structured multimedia collaboration. Proceedings of the 2nd IEEE Multimedia Comput and Systems Conference, Washington, D.C., IEEE Comput. Soc. Press, Los Alamitos, CA, pp 194--201

....and recursively form subsessions depending on the group dynamics of the startup sessions. Such online session reformation can be permanent or temporary, and session attributes are inherited from supersessions by their children, but can be overridden. This concept of hierarchical session control [60] reflects the organizational nature of face to face meetings. A temporary subsession, which is also called a coterie (the term coterie in this context is related, yet slightly different from the concept of coteries used in distributed systems and database theory, particularly in the context of ....

....Interdependencies among resources and temporal and causal synchronization constraints have been discussed in the context of the MCP protocol framework [79] which employs a token based floor control mechanism. Formal models for multimedia collaboration proposing hierarchical session organization [60] and group membership in asynchronous and synchronous scenarios [59] have also been subjects of research. To clarify the question of how floor control fits into different task groups and collaboration types, a simple taxonomy for collaborative environments is useful. Unlike in other more general ....

Rajan S, Rangan PV, Vin HM (1995) A formal basis for structured multimedia collaboration. In Proc. 2nd IEEE Multimedia Comput and Sys, Wash. D.C., pp 194-201, May IEEE Comput Soc Press, Los Alamitos, CA

....Capture, and Access of Collaboration Streams Our goal is to support not only real time collaborative activities but the capture of collaborative work sessions in a distributed multimedia database for non real time offline access and analysis. We utilize a formal model of collaboration [14, 6] which defines the roles of participants, modes of interaction, and protocols for joining and leaving. This model serves not only as the basis for the collaborative work middleware control of a session but also as a part of the database schema for storing data captured during a session. Additional ....

S. Rajan, P.V. Rangan, and H.M. Vin. A formal basis for structured multimedia collaboration. In Proc. IEEE Multimedia, May 1995.

....in PVS PVS[16] 6 is the PROTOTYPE VERIFICATION SYSTEM, the current SRI research project in formal methods and theorem proving. PVS has been used to verify many different projects, including a microprocessor[19] floating point division[18] fault tolerant algorithms[12] and multimedia frameworks[17], by users at SRI and other sites. PVS combines a specification language with a variety of theorem proving tools. Proposition 1 states that security is preserved if a program is linked and run in a consistent extension of the type context it was compiled in. Any actual implementation of dynamic ....

RAJAN, S., RANGAN, P. V., AND VIN, H. M. A formal basis for structured multimedia collaborations. In Proceedings of the 2nd IEEE International Conference on Multimedia Computing and Systems (Washington, DC, May 1995), IEEE Computer Society, pp. 194--201.

....reserve. Mehra et al. 12] introduce the real time channel as a paradigm for guaranteedQoS communication services in packet switched networks. The architecture proposed provides services such as admission control, traffic enforcement, buffer management, and CPU and link scheduling. Rajan et al. [15] propose a formal framework for multimedia collaboration, which distinguishes three levels of abstraction: streams at the lowest level, for media communication, sessions at the next level, representing collections of semantically related media streams, and conferences as temporally related ....

S. Rajan, P.V. Rangan, and H.M. Vin. A Formal Basis for Structured Multimedia Collaborations. In Proceedings of the 2nd IEEE International Conference on Multimedia Computing and Systems, Washington, D.C., May 1995.

....graphical objects, video and audio streams etc. 3 Participants are associated with certain roles. A role is a set of privileges [Ell91] A multimedia environment allowing remote collaboration with multiple resource types is called a collaborative environment. 2 Related Work Rajan et al. [Raj95] present a formal model for structured, multimedia groupwork. Their work mainly focuses on formal, verifiable definitions of static model situations. The IETF working group MMUSIC develops mechanisms mainly for session control. Two different session models are described [Han96] session control ....

S. Rajan et al.: "A Formal Basis for Structured Multimedia Collaborations". In Proc. IEEE Multimedia Computing and Systems, Los Alamitos, C.A., 1995.

.... protocols [165 167] to program development [168] software development steps [169 172] and refinement [173 175] to compilers [176 179] to hardware design [180 203] and synthesis [204 209] to memory models and cache coherence protocols [210 213] to multimedia collaborations [214], to testing program visualization tools [215] to validating fault tolerant systems [216] and to self stabilization [217] PVS has also been used to support other specification notations [218 225] and in combination with other systems [226, 227] ....

Sreeranga Rajan, P. Venkat Rangan, and Harrick M. Vin. A formal basis for structured multimedia collaborations. In Proceedings of the 2nd IEEE International Conference on Multimedia Computing and Systems, pages 194--201, Washington, DC, May 1995. IEEE Computer Society.

....dynamic compositions of mixed media documents. Wray et al. 25] have built an experimental collaborative environment called Medusa which integrates data from heterogeneous hardware devices. Medusa provides an environment which facilitates rapid prototyping of new applications. Rajan, Vin et al. [20] started some work on formalizing the notion of multimedia collaboration. They provide a basis which can support a wide spectrum of structured multimedia collaborations. Their formalization captures the requirements of various types of interactive and non interactive collaborations. They also ....

S. Rajan, P.V. Rangan, and H.M. Vin, "A Formal Basis for Structured Multimedia Collaborations ", IEEE Intl. Conf. on Multimedia Computing and Systems, 1995.

....dynamic compositions of mixed media documents. Wray et al. 9] have built an experimental collaborative environment called Medusa which integrates data from heterogeneous hardware devices. Medusa provides an environment which facilitates rapid prototyping of new applications. Rajan, Vin et al. [10] started some work on formalizing the notion of multimedia collaboration. They provide a basis which can support a wide spectrum of structured multimedia collaborations. Their formalization captures the requirements of various types of interactive and non interactive collaborations. They also ....

S. Rajan, P.V. Rangan, and H.M. Vin, "A Formal Basis for Structured Multimedia Collaborations ", IEEE Intl. Conf. on Multimedia Computing and Systems, 1995.

....implementation of hardware satisfies the properties expressed by its high level specification. PVS has been used for reasoning in many domains, such as in hardware verification [Cyr93, KK94] protocol verification, algorithm verification [LOR 93, ORSvH95] and multimedia [RRV95] We briefly give the features of the PVS specification language in Section 3.1, the PVS verification features in Section 3.2, and highlight the syntax of the PVS specification language in Section 3.3. Finally, in Section 3.4 we give some example specifications and verification sessions in PVS. ....

Sreeranga P. Rajan, P. Venkat Rangan, and Harrick M. Vin. A formal basis for structured multimedia collaborations. In Submitted to 2nd IEEE International Conference on Multimedia Computing and Systems, Washington, D.C., 1995. IEEE Press.

No context found.

S. Rajan, P. V. Rangan, and H. M. Vin. A formal basis for structured multimedia collaboration. In Proc. 2nd IEEE Conf. on Multimedia Computing and Systems, Wash., D.C., May 1995.

No context found.

S. Rajan, P.V. Rangan, and H.M. Vin (1995) A Formal Basis for Structured Multimedia Collaborations, IEEE Intl. Conf. on Multimedia Computing and Systems, 1995.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC