CHIMP: a framework for supporting distributed multimedia document authoring and presentation
MULTIMEDIA '96 Proceedings of the fourth ACM international conference on Multimedia
Floor control for multimedia conferencing and collaboration
Multimedia Systems
The security of static typing with dynamic linking
Proceedings of the 4th ACM conference on Computer and communications security
Semantic multicast: intelligently sharing collaborative sessions
ACM Computing Surveys (CSUR)
Specifying and analysing multimedia systems
Formal methods for distributed processing
Collaborative Multimedia Systems: Synthesis of Media Objects
IEEE Transactions on Knowledge and Data Engineering
Ontology-based modelling of session management policies for groupware applications
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Hi-index | 0.00 |
In this paper, a formal basis for multimedia collaborations is proposed. The formal basis establishes a precise mathematical framework for supporting a wide spectrum of structured collaborative tasks, ranging from simple meetings and conferences to classrooms and examinations, and from corporate negotiations, work flow tasks, and team design endeavors to courtroom hearings. We mechanize three levels of abstraction: streams at the lowest level, for media communication, sessions at the next level, which represent collections of semantically related media streams, and conferences, which represent temporally related sequences of sessions. The mathematical framework has been mechanized in Prototype Verification System (PVS) from SRI International. The mechanization allows us to experiment with different formal models, and reason about properties of multimedia collaborations efficiently.