An Integrated Formal Model for Context-Aware Systems.

Eun-Sun Cho, Tae-Seob Yoon, Joong-Hyun Choi, Joon-Young Paik, Sumi Helal

Browse the full COMPSAC paper archive.