A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing.

Isabel Cafezeiro José Viterbo Filho Alexandre Rademaker Edward Hermann Haeusler Markus Endler A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing. 519-533 2008 ISoLA http://dx.doi.org/10.1007/978-3-540-88479-8_37 conf/isola/2008 db/conf/isola/isola2008.html#CafezeiroFRHE08