We introduce a first-order extension of dynamic logic (FO-DL), suitable to represent and reason about the behaviour of Data-aware Systems (DaS), which are systems whose data content is explicitly exhibited in their description. We illustrate the expressivity of the formal framework by modelling English auctions as DaS and by specifying relevant properties in FO-DL. Most importantly, we develop ...

Many real-work smart environments make use of IoT to be provided with context-aware services. Additionally, these environments require making decisions based on predictions about future actions. This involves the use of goal-directed behaviour which may need reasoning about new goals. This paper is devoted to analyze when a new goal can be formulated. Once a plan has been computed for a given p...

In this paper, we discuss possible risks posed by the application of tailorable context-aware systems in real-life practices. We use a tailorable context-aware system in the homecare domain as a case study to identify and analyse such risks. Next, we discuss which of these risks can be generalized to the use of tailorable context-aware system in other contexts than homecare. This would help the...

A lot of smart context-aware services would be adopting location information as context information. However, the location information is also very important information to be protected for users’ privacy, security, and safety. In this paper, we propose One Time Password (OTP) in the communication between users’ devices and network devices such as APs. By using this approach, APs does not keep ...

.......................................................................................................................................... II Declaration .................................................................................................................................... IV Acknowledgments...............................................................................................

In the coming years user-centric services will be deployed in our homes, cars, offices, etc. Users expect that these services are autonomous and user-friendly. This requires that these services can adapt themselves to changes in the environment, implying that they have to become contextaware. In this paper we present a formal context model and an OSGi based framework that allows easy developmen...

While there has been a great deal of research on provenance systems, there has been little discussion about challenges that arise when making different provenance systems interoperate. In fact, most of the literature focuses on provenance systems in isolation and does not discuss interoperability – what it means, its requirements, and how to achieve it. We designed the Provenance-Aware Storage ...

To deploy context-aware applications, there has been a steadily increasing interest in context model to efficiently represent various contexts in daily life. However, most ways of modeling context are specific to purpose of each service or give undue value to particular information, e.g. location. To loosen the coupling between contexts and services, we propose unified context that represent us...

In this paper we present an approach for designing and deploying context-aware services in the context of physical hypermedia applications, those applications in which mobile users explore real and digital objects using the hypermedia paradigm. We show how to adapt the objects’ response to the user’s navigation context by changing the role these objects play in the user’s travel. We first motiv...

Context-aware services platforms aim at supporting the handling of contextual information in order to provide better user-tailored services. This paper proposes a novel services platform architecture to support mobile context-aware applications, giving emphasis to the configurability of the platform’s generic functionality. The paper introduces concepts and a language to cope with configurabili...