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

Downloads:

BibTeX:

@inproceedings{publication-28,
  author = {Cafezeiro, Isabel and Viterbo, Jose and Rademaker, Alexandre and Haeusler, Edward Hermann and Endler, Markus},
  title = {A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing},
  booktitle = {Third International Symposium, ISoLA 2008, Proceddings},
  year = {2008},
  publisher = {Springer Berlin},
  address = {Heidelberg},
  isbn = {9783540884781},
  doi = {10.1007/978-3-540-88479-8_37},
  pdflink1 = {/files/isola-2008.pdf},
  file = {:http://dx.doi.org/10.1007/978-3-540-88479-8\_37:TYPE}
}