{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:41:43Z","timestamp":1743090103339,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540884781"},{"type":"electronic","value":"9783540884798"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88479-8_37","type":"book-chapter","created":{"date-parts":[[2008,11,4]],"date-time":"2008-11-04T09:18:43Z","timestamp":1225790323000},"page":"519-533","source":"Crossref","is-referenced-by-count":7,"title":["A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing"],"prefix":"10.1007","author":[{"given":"Isabel","family":"Cafezeiro","sequence":"first","affiliation":[]},{"given":"Jos\u00e9","family":"Viterbo","sequence":"additional","affiliation":[]},{"given":"Alexandre","family":"Rademaker","sequence":"additional","affiliation":[]},{"given":"Edward Hermann","family":"Haeusler","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Endler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"37_CR1","doi-asserted-by":"crossref","unstructured":"Birkedal, L., Debois, S., Elsborg, E., Hildebrandt, T., Niss, H.: Bigraphical Models of Context-aware Systems. Technical Report TR-2005-74, The IT University of Copenhagen (November 2005)","DOI":"10.1007\/11690634_13"},{"key":"37_CR2","unstructured":"Cafezeiro, I., Haeusler, E.H.: Semantic interoperability via category theory. Conferences in Research and Practice in Information Technology\u00a083 (2006)"},{"key":"37_CR3","doi-asserted-by":"crossref","unstructured":"Cafezeiro, I., Rademaker, A., Haeusler, E.H.: Ontology and Context. In: Proceedings of CoMoREA 2008, pp. 53\u201362 (2008)","DOI":"10.1109\/PERCOM.2008.21"},{"key":"37_CR4","unstructured":"Goldblatt, R.: Topoi: The Categorical Analysis of Logicser. Ser Studies in Logic and the Foundations of Mathematics. NorthHolland (1979)"},{"issue":"1","key":"37_CR5","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/j.pmcj.2005.07.003","volume":"2","author":"K. Henricksen","year":"2006","unstructured":"Henricksen, K., Indulska, J.: Developing context-aware pervasive computing applications: Models and approach. Models and approach. Pervasive and Mobile Computing\u00a02(1), 37\u201364 (2006)","journal-title":"Models and approach. Pervasive and Mobile Computing"},{"key":"37_CR6","unstructured":"Julien, C., Payton, J., Roman, G.-C.: Reasoning About Context-Awareness in the Presence of Mobility. In: Proc. of the 2nd Int. Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2003), Marseille, France (September 2003)"},{"key":"37_CR7","doi-asserted-by":"crossref","unstructured":"Kindberg, T., Fox, A.: System software for ubiquitous computing. Pervasive Computing Magazine (2002)","DOI":"10.1109\/MPRV.2002.993146"},{"key":"37_CR8","volume-title":"Categories for the Working Matematician","author":"S. MacLane","year":"1997","unstructured":"MacLane, S.: Categories for the Working Matematician. Springer, Heidelberg (1997)"},{"key":"37_CR9","doi-asserted-by":"crossref","unstructured":"Parnas, D.: On the criteria to be used in decomposing systems into modules. Communications of the ACM (December 1972)","DOI":"10.1145\/361598.361623"},{"key":"37_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-540-24721-0_2","volume-title":"Fundamental Approaches to Software Engineering","author":"G.-C. Roman","year":"2004","unstructured":"Roman, G.-C., Julien, C., Payton, J.: A Formal Treatment of Context Awareness. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 12\u201336. Springer, Heidelberg (2004)"},{"key":"37_CR11","unstructured":"Shehzad, A., Ngo, H.Q., Pham, K.A., Lee, S.Y.: Formal modeling in context aware systems. In: Proceedings of the First International Workshop on Modeling and Retrieval of Context (September 2004)"},{"key":"37_CR12","first-page":"175","volume-title":"Proceedings of the 13th IEEE International Conference on En- gineering of Complex Computer Systems (ICECCS 2008)","author":"J. Viterbo","year":"2008","unstructured":"Viterbo, J., Endler, M., Briot, J.-P.: Ubiquitous service regulation based on dynamic rules. In: Proceedings of the 13th IEEE International Conference on En- gineering of Complex Computer Systems (ICECCS 2008), Belfast, pp. 175\u2013182. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"37_CR13","first-page":"18","volume-title":"Proc. of 2nd IEEE Conf. Pervasive Computing and Communications (PerCom 2004), Workshop on Context Modeling and Reasoning","author":"X.H. Wang","year":"2004","unstructured":"Wang, X.H., Zhang, D.Q., Gu, T., Pung, H.K.: Ontology based context modeling and reasoning using OWL. In: Proc. of 2nd IEEE Conf. Pervasive Computing and Communications (PerCom 2004), Workshop on Context Modeling and Reasoning, Orlando, Florida, March 2004, pp. 18\u201322. IEEE Computer Society Press, Los Alamitos (2004)"},{"issue":"3","key":"37_CR14","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1038\/scientificamerican0991-94","volume":"265","author":"M. Weiser","year":"1991","unstructured":"Weiser, M.: The computer for the twenty-first century. Scientific American\u00a0265(3), 94\u2013104 (1991)","journal-title":"Scientific American"},{"key":"37_CR15","unstructured":"Yan, L., Sere, K.: A Formalism for Context-Aware Mobile Computing. In: Proceedings of the IEEE 3rd International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Networks (HeteroPar), Cork, Ireland (July 2004)"}],"container-title":["Communications in Computer and Information Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88479-8_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T22:30:05Z","timestamp":1557873005000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88479-8_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540884781","9783540884798"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88479-8_37","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2008]]}}}