Context Awareness Systems Design and Reasoning

Jin Song Dong,Yuzhang Feng,Jing Sun,Jun Sun
DOI: https://doi.org/10.1109/isola.2006.29
2006-01-01
Abstract:This paper reports a recent research investigation on an integrated formal approach to model and verify sensor constraints and relations in the context awareness systems.
What problem does this paper attempt to address?