A Formal Modeling for Exceptions in Context-Aware Systems.

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

Browse the full COMPSAC paper archive.