This paper describes the formal specification in LOTOS of CooPSCAN, a framework for cooperative applications development. We first present the architectural choices and collaboration strategies for the integration of applications in such a collaboration aware framework. Then, we show how we derive a LOTOS specification from the CoopScan description. We define some generic properties to be verified in this kind of framework. The verification of some of these properties is presented, using the C£SAR-ALDEBARAN toolbox.
Abstract. Streaming multimedia applications, such as video on demand or conferencing are increasingly deployed in heterogeneous and mobile environments including Workstations, PDAs, mobile phones, etc. These applications are very resource demanding and in general, they need to be dynamically adapted when executed on low capability terminals. The proxybased content adaptation approach is well suited to transparently adapt in real time multimedia data on intermediate nodes without modifying the application. In this paper, we report on experiments on dynamic configuration of such proxies by using a configuration language called APSL (Adaptation Proxy Specification Language). We developed a configurable proxy allowing adaptation of existing videoconferencing applications, and evaluated the performance benefits of the proxy approach using a DirectShow/COM-based framework.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.