{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:17:49Z","timestamp":1759033069312,"version":"3.41.0"},"reference-count":67,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["60736015"],"award-info":[{"award-number":["60736015"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Council of Hong Kong","award":["1.11E+11"],"award-info":[{"award-number":["1.11E+11"]}]},{"DOI":"10.13039\/501100001747","name":"Hong Kong Baptist University","doi-asserted-by":"publisher","award":["1\/05C"],"award-info":[{"award-number":["1\/05C"]}],"id":[{"id":"10.13039\/501100001747","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002855","name":"Ministry of Science and Technology of the People's Republic of China","doi-asserted-by":"publisher","award":["2006CB303000"],"award-info":[{"award-number":["2006CB303000"]}],"id":[{"id":"10.13039\/501100002855","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2010,1]]},"abstract":"<jats:p>Pervasive computing environments typically change frequently in terms of available resources and their properties. Applications in pervasive computing use contexts to capture these changes and adapt their behaviors accordingly. However, contexts available to these applications may be abnormal or imprecise due to environmental noises. This may result in context inconsistencies, which imply that contexts conflict with each other. The inconsistencies may set such an application into a wrong state or lead the application to misadjust its behavior. It is thus desirable to detect and resolve the context inconsistencies in a timely way. One popular approach is to detect context inconsistencies when contexts breach certain consistency constraints. Existing constraint checking techniques recheck the entire expression of each affected consistency constraint upon context changes. When a changed context affects only a constraint's subexpression, rechecking the entire expression can adversely delay the detection of other context inconsistencies. This article proposes a rigorous approach to identifying the parts of previous checking results that are reusable without entire rechecking. We evaluated our work on the Cabot middleware through both simulation experiments and a case study. The experimental results reported that our approach achieved over a fifteenfold performance improvement on context inconsistency detection than conventional approaches.<\/jats:p>","DOI":"10.1145\/1656250.1656253","type":"journal-article","created":{"date-parts":[[2010,2,2]],"date-time":"2010-02-02T13:33:51Z","timestamp":1265117631000},"page":"1-61","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":57,"title":["Partial constraint checking for context consistency in pervasive computing"],"prefix":"10.1145","volume":"19","author":[{"given":"Chang","family":"Xu","sequence":"first","affiliation":[{"name":"The Hong Kong University of Science and Technology, Hong Kong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. C.","family":"Cheung","sequence":"additional","affiliation":[{"name":"The Hong Kong University of Science and Technology, Hong Kong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W. K.","family":"Chan","sequence":"additional","affiliation":[{"name":"City University of Hong Kong, Hong Kong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chunyang","family":"Ye","sequence":"additional","affiliation":[{"name":"The Hong Kong University of Science and Technology and Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,2]]},"reference":[{"key":"e_1_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-003-0108-y"},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376616.1376634"},{"key":"e_1_2_2_3_1","unstructured":"ArgoUML. 2009. http:\/\/argouml.tigris.org\/.  ArgoUML. 2009. http:\/\/argouml.tigris.org\/."},{"key":"e_1_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2006.38"},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11596356_91"},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/UDM.2005.7"},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1237173"},{"key":"e_1_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194006002951"},{"volume-title":"TR2000-381","author":"Chen G.","key":"e_1_2_2_9_1"},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1214323"},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2003.1161596"},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2008.4497584"},{"key":"e_1_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.122"},{"volume-title":"Proceedings of the 1st International Workshop on Managing Interactions in Smart Environments. 114--128","author":"Dey A. K.","key":"e_1_2_2_14_1"},{"volume-title":"Proceedings of the 23rd International Conference on Software Engineering. 411--420","author":"Easterbrook S.","key":"e_1_2_2_15_1"},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134339"},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.38"},{"key":"e_1_2_2_18_1","unstructured":"EPC. 2009. Low Level Reader Protocol (LLRP). http:\/\/www.epcglobalinc.org\/standards\/llrp.  EPC. 2009. Low Level Reader Protocol (LLRP). http:\/\/www.epcglobalinc.org\/standards\/llrp."},{"key":"e_1_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/839268.839270"},{"volume-title":"RFID: Applications, Security, and Privacy","year":"2005","author":"Garfinkel S.","key":"e_1_2_2_20_1"},{"key":"e_1_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2004.1269131"},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1072997.1072999"},{"volume-title":"Proceedings of the 25th International Conference on Software Engineering. 363--372","author":"Griswold W. G.","key":"e_1_2_2_23_1"},{"key":"e_1_2_2_24_1","unstructured":"Harrop P. and Holland G. 2005. RFID for postal and courier services. http:\/\/www.idtechex.com\/pdfs\/en\/R264Q5829.pdf.  Harrop P. and Holland G. 2005. RFID for postal and courier services. http:\/\/www.idtechex.com\/pdfs\/en\/R264Q5829.pdf."},{"volume-title":"Proceedings of the Joint European Software Engineering Conference and the ACM Symposium on the Foundations of Software Engineering. 20--38","author":"Hauswirth M.","key":"e_1_2_2_25_1"},{"volume-title":"Proceedings of the 2nd IEEE Conference on Pervasive Computing and Communications. 77--86","author":"Henricksen K.","key":"e_1_2_2_26_1"},{"volume-title":"Proceedings of the 2nd IEEE Conference on Pervasive Computing and Communications Workshops. 33--37","author":"Henricksen K.","key":"e_1_2_2_27_1"},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1758908.1758930"},{"key":"e_1_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2005.21"},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.08.039"},{"volume-title":"Proceedings of the 32nd International Conference on Very Large Data Bases. 163--174","author":"Jeffery S. R.","key":"e_1_2_2_31_1"},{"key":"e_1_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587056"},{"key":"e_1_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.47"},{"key":"e_1_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.730542"},{"key":"e_1_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181805"},{"key":"e_1_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368098"},{"key":"e_1_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.105"},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151695.1151698"},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/514183.514186"},{"volume-title":"Proceedings of the 25th International Conference on Software Engineering. 455--464","author":"Nentwich C.","key":"e_1_2_2_40_1"},{"key":"e_1_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/839268.839271"},{"key":"e_1_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287659"},{"key":"e_1_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2004.1316821"},{"key":"e_1_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00779-003-0251-x"},{"key":"e_1_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2002.1037722"},{"volume-title":"Proceedings of the 32nd International Conference on Very Large Data Bases. 175--186","author":"Rao J.","key":"e_1_2_2_46_1"},{"key":"e_1_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025115.1025267"},{"key":"e_1_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.91"},{"key":"e_1_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2002.1158281"},{"key":"e_1_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/302979.303126"},{"key":"e_1_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1265525"},{"key":"e_1_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(03)00172-5"},{"key":"e_1_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503292"},{"volume-title":"Proceedings of the 20th International Conference on Software Engineering. 230--239","author":"Tarr P.","key":"e_1_2_2_54_1"},{"volume-title":"Proceedings of the 28th Annual International Computer Software and Applications Conference. 458--465","author":"Tse T. H.","key":"e_1_2_2_55_1"},{"key":"e_1_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.18"},{"key":"e_1_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/128756.128759"},{"key":"e_1_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081759"},{"key":"e_1_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134327"},{"key":"e_1_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.5555\/1260984.1261356"},{"key":"e_1_2_2_61_1","unstructured":"Xu C. Cheung S. C. Chan W. K. and Ye C. 2007b. Consistency constraints for context-aware applications. Tech rep. HKUST-CS07-08 Department of Computer Science and Engineering The Hong Kong University of Science and Technology Clear Water Bay Kowloon Hong Kong China.  Xu C. Cheung S. C. Chan W. K. and Ye C. 2007b. Consistency constraints for context-aware applications. Tech rep. HKUST-CS07-08 Department of Computer Science and Engineering The Hong Kong University of Science and Technology Clear Water Bay Kowloon Hong Kong China."},{"key":"e_1_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287712"},{"key":"e_1_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2008.46"},{"volume-title":"Proceedings of the IFIP Workshop on Building Intelligent Sensor Networks. 568--575","author":"Xu C.","key":"e_1_2_2_64_1"},{"key":"e_1_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000009305.62647.ee"},{"key":"e_1_2_2_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2002.1037720"},{"key":"e_1_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.115"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1656250.1656253","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1656250.1656253","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:41:18Z","timestamp":1750250478000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1656250.1656253"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1]]},"references-count":67,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,1]]}},"alternative-id":["10.1145\/1656250.1656253"],"URL":"https:\/\/doi.org\/10.1145\/1656250.1656253","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"type":"print","value":"1049-331X"},{"type":"electronic","value":"1557-7392"}],"subject":[],"published":{"date-parts":[[2010,1]]},"assertion":[{"value":"2007-07-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2008-10-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-02-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}