The era of ubiquitous and pervasive computing technology opens the world for new pervasive applications and services within the physical surroundings. Often users find themselves dealing and interacting with multiple applications simultaneously to achieve certain goals to satisfy certain motive. Currently, pervasive computing applications are individually created and tailored with little or no ...

Trust plays an important role in making collaborative decisions about service evaluation and service selection in pervasive computing. Context is a fundamental concept in pervasive systems, which is based on the interpretation of environment and systems. The dynamic nature of context can strongly affect trust management and service selection. In this paper, we present a context-based trust mana...

Transparency of the system and its integration into the natural environment of the user are some of the important features of pervasive computing. But these characteristics that are considered as the strongest points of pervasive systems are also their weak points in terms of the user’s privacy. The privacy in pervasive systems involves more than the confidentiality of communications and concea...

Adaptation is one of the key characteristics of pervasive computing applications. However, implementing adaptation using conventional development techniques is challenging as adaptation requirements tend to affect multiple elements of a pervasive environment. In this paper, we present our experience with implementing adaptation using aspect-oriented programming (AOP). We argue that the use of A...

A typical pervasive application executes in a changing environment: people, computing resources, software services and network connections come and go continuously. A robust pervasive application needs adapt to this changing context as long as there is an appropriate rewiring strategy that guarantees correct behavior. We combine the MERODE modeling methodology with the ReWiRe framework for crea...

The eld of Pervasive Computing has emerged as an active research area in the past few years [8]. Pervasive computing refers to computing environments which contain millions of computing devices or information appliances [7], embodied in the environment we live in (e.g., our cars, watches and clothes, mobile phones, microwave ovens, refrigerators. etc.). These devices interact with us using our ...

Access control in open and dynamic Pervasive Computing Environments (PCEs) is a very complex mechanism and encompasses various new requirements. In fact, in such environments, context information should be used in access control decision process; however, it is not applicable to gather all context information completely and accurately all the time. Thus, a suitable access control model for PCEs...

Pervasive computing looks beyond the age of the personal computer to a time when everyday devices will be embedded with technology and connectivity. The goal of pervasive computing is to make such devices available throughout the physical environment to support people's usual activities with timely interventions without overwhelming them with inappropriate responses. So far, a number of researc...

In our paper “Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments”, we propose the Property Detection for Asynchronous Context (PDAC) framework to support formal specification and runtime detection of dynamic properties in asynchronous pervasive computing environments. Three essential parts of the framework are discussed: modeling of...