Title :
Context Awareness Systems Design and Reasoning
Author :
Jin Song Dong ; Yuzhang Feng ; Jing Sun ; Jun Sun
Author_Institution :
Nat. Univ. of Singapore, Singapore
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.
Keywords :
program verification; sensor fusion; ubiquitous computing; context awareness systems design; context awareness systems reasoning; integrated formal approach; sensor constraints; Context awareness; Context modeling; Lighting control; Mobile handsets; Motion detection; RFID tags; Radiofrequency identification; Sensor systems; Sun; Tracking;
Conference_Titel :
Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on
Conference_Location :
Paphos
Print_ISBN :
978-0-7695-3071-0
DOI :
10.1109/ISoLA.2006.29
