Daniel Cheung-Foo-Wo

Learn More
This paper presents Wcomp which is a framework for rapid application prototyping. This framework has been developed for targeting wearable computing applications but can also be used in the field of pervasive and context-aware computing. In the first part of the paper, we investigate the possibility of taking into consideration the relations between(More)
Pervasive devices are becoming popular and smaller. Those mobile systems should be able to adapt to changing requirements and execution environments. But it requires the ability to reconfigure deployed codes, which is considerably simplified if applications are component-oriented rather than monolithic blocks of codes. So, we propose a middleware called(More)
littérature pour l'adaptation d'une application à son contexte, nous présentons une approche originale pour l'adaptation dynamique d'applications au contexte par sélection d'aspects d'assemblage et par composition dynamique de composants. ABSTRACT. Due to the multiplicity of mobile computer terminals and communicating objects in our daily life, we observe(More)
Adaptable systems have been required since the emergence of pervasive computing. Adaptations are seen as direct consequences of the dynamic variations of devices surrounding the system. They consist in an integration cycle that is threefold : the discovery of new devices, the selection and the validation of adaptations. MDI allows to model the management of(More)
Because of the growing diversity of mobile computer terminals and communicating objects, we observe the emergence of applications using the notion of context. Firstly, we propose an analysis of definitions of context. Then, we present a model in which we simplify the expression of the problems caused by the interaction between the computer, the user and(More)
Concrere critical systems validation is a major challenge in any development process. Model checking verification offers exhaustive and automated validation. To apply this methodology, rhe specification of critical systems musr be supported by a formal mathematical well-sounded model. To this end, we rely on syuchronoiis language to model such systems and(More)
Due to more and more mobile computers moving among smart and communicating devices in our everyday life, we observe the emergence of new constraints in software design. Indeed, device heterogeneity, dynamic software variation, and frequent mobile device apparition/disappearance make software applications compulsorily adapt to their context. In this paper,(More)