@article{DBLP:journals/tosem/XuCCY10,
author = {Chang Xu and
S. C. Cheung and
W. K. Chan and
Chunyang Ye},
title = {Partial constraint checking for context consistency in pervasive
computing},
journal = {ACM Trans. Softw. Eng. Methodol.},
volume = {19},
number = {3},
year = {2010},
ee = {http://doi.acm.org/10.1145/1656250.1656253},
bibsource = {DBLP, http://dblp.uni-trier.de}
}