Chapter 13

Context Awareness: A Formal Foundation

Lu Yan1 and Mats Neovius2

1 University College London, London, UK

2 Åbo Akademi University, Åbo, Finland

13.1 Introduction

13.2 Background

13.3 Related Work

13.4 Wireless Sensor Networks

13.5 Formalizing Context Awareness and Context Dependency

13.6 Case Study: from Specification, via Formalism, to Implementation

13.7 Concluding Remarks

References

Get Mobile Intelligence now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.