Partial constraint checking for context consistency in pervasive computing (2010)

by C Xu, S C Cheung, W K Chan, C Ye
Venue:ACM Trans. Softw. Eng. Methodol