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 contextaware computing. In the first part of the paper, we investigate the possibility of taking into consideration the relations between software(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)
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)
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)
Due to the multiplicity of mobile computer terminals and communicating objects in our daily life, we observe the emergence of applications using the notion of context. We propose a survey on mobile and ambient computing and then present a model for solving the problem of the interaction between the computer, the user and their environment. We propose a set(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)
After a survey of the specific features of ubiquitous computing applications and corresponding middleware requirements, we list the various paradigms used in the main middlewares for ubiquitous computing in the literature. We underline the lack of works introducing the use of the concept of Aspects in middleware dedicated to ubiquitous computing, in spite(More)