DocumentCode
3144576
Title
Context Awareness Systems Design and Reasoning
Author
Jin Song Dong ; Yuzhang Feng ; Jing Sun ; Jun Sun
Author_Institution
Nat. Univ. of Singapore, Singapore
fYear
2006
fDate
15-19 Nov. 2006
Firstpage
335
Lastpage
340
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ISoLA.2006.29
Filename
4463733
Link To Document