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)
The paper discusses an experience in using a real-time 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.
This paper presents the architecture and the design of a distributed teleteaching platform adapted to the professional education of Airbus airplane pilots and maintenance agents. Starting from the studies of the current teaching given in classical classrooms, an analysis of the different interactions between trainer and trainees has been conducted. These… (More)