Ubiquitous communicating systems have particular characteristics, such as their dynamic nature and the great number of users and heterogeneous devices involved. In our work, we focus on collaborative activities. For such activities, users are organized into groups and communicate in order to achieve a common goal. Therefore, the problem of designing and… (More)
with academic license to prepare a PhD thesis at LAAS ¤. Abstract Collaborative Browsing has experienced an increasing popularity as a topic for both, academic research and commercial software development, due mainly to the promise that it represents as an enabling technology for distant collaboration. Several areas are adequate for the application of this… (More)
Ubiquitous computing environments provide a wide range of new challenges and possibilities in Distributed Systems. Among these, collaborative activities involving several users present some complex issues. These activities are very dynamic and imply heterogeneous communications and devices, and therefore adaptive solutions are required. Moreover, context… (More)
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirements. A generic framework is proposed and specialized for hierarchical groups.
Ubiquitous computing environments are complex systems containing a great amount of heterogeneous devices and services available to users. Both user needs and services offered to them evolve very fast. This evolution requires the adaptation of the software architectures that support user activities. Moreover, such adaptation must be based on application… (More)