{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T18:05:00Z","timestamp":1754157900463,"version":"3.41.2"},"reference-count":12,"publisher":"Emerald","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J of Pervasive Comp &amp; Comm"],"published-print":{"date-parts":[[2007,12,20]]},"DOI":"10.1108\/17427370710841918","type":"journal-article","created":{"date-parts":[[2008,1,12]],"date-time":"2008-01-12T07:05:37Z","timestamp":1200121537000},"page":"30-56","source":"Crossref","is-referenced-by-count":6,"title":["Verification of uncertain context based on a theory of context spaces"],"prefix":"10.1108","volume":"3","author":[{"given":"Amir","family":"Padovitz","sequence":"first","affiliation":[]},{"given":"Seng","family":"Wai Loke","sequence":"additional","affiliation":[]},{"given":"Arkady","family":"Zaslavsky","sequence":"additional","affiliation":[]},{"given":"Bernard","family":"Burg","sequence":"additional","affiliation":[]}],"member":"140","reference":[{"key":"b4","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2003.07.008"},{"key":"b5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016587515822"},{"key":"b9","doi-asserted-by":"crossref","unstructured":"Henricksen, K., Indulska, J. and Rankotonirainy, A. (2002), \u201cModeling context information in pervasive computing systems\u201d,Pervasive 2002, Zurich, pp. 167\u201080.","DOI":"10.1007\/3-540-45866-2_14"},{"key":"b14","doi-asserted-by":"publisher","DOI":"10.1007\/s007780050029"},{"key":"b16","doi-asserted-by":"publisher","DOI":"10.1145\/643550.643554"},{"key":"b18","doi-asserted-by":"publisher","DOI":"10.1007\/BF00962977"},{"key":"b22","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2002.1037722"},{"key":"b23","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2002.1158281"},{"key":"b24","doi-asserted-by":"crossref","unstructured":"Satyanarayanan, M. (2001a), \u201cPervasive computing: vision and challenges\u201d,IEEE Pervasive Computing, Vol. 8 No. 4, August, pp. 10\u201017.","DOI":"10.1109\/98.943998"},{"key":"b25","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2003.1228519"},{"key":"b26","doi-asserted-by":"publisher","DOI":"10.1109\/98.944006"},{"key":"b27","doi-asserted-by":"publisher","DOI":"10.1016\/S0097-8493(99)00120-X"}],"container-title":["International Journal of Pervasive Computing and Communications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.emeraldinsight.com\/doi\/full\/10.1108\/17427370710841918","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T00:22:17Z","timestamp":1753402937000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.emerald.com\/ijpcc\/article\/3\/1\/30-56\/161372"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12,20]]},"references-count":12,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,12,20]]}},"alternative-id":["10.1108\/17427370710841918"],"URL":"https:\/\/doi.org\/10.1108\/17427370710841918","relation":{},"ISSN":["1742-7371"],"issn-type":[{"type":"print","value":"1742-7371"}],"subject":[],"published":{"date-parts":[[2007,12,20]]}}}