{"title":"A formal basis for structured multimedia collaborations","authors":"S. Rajan, P., V. Rangan, H. Vin","doi":"10.1109/MMCS.1995.484924","DOIUrl":null,"url":null,"abstract":"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 sample meetings and conferences to classrooms and examinations, and from corporate negotiations, work flow tasks, and team design endeavours 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 from SRI International. The mechanization allows us to experiment with different formal models, and reason about properties of multimedia collaborations efficiently.","PeriodicalId":423754,"journal":{"name":"Proceedings of the International Conference on Multimedia Computing and Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1995-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"25","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the International Conference on Multimedia Computing and Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MMCS.1995.484924","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 25
Abstract
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 sample meetings and conferences to classrooms and examinations, and from corporate negotiations, work flow tasks, and team design endeavours 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 from SRI International. The mechanization allows us to experiment with different formal models, and reason about properties of multimedia collaborations efficiently.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
