Skip to main content
Article thumbnail
Location of Repository

Decentralized Constraint Checking for Pervasive Computing

By Chang Xu and S. C. Cheung


As computing becomes more pervasive, smart computing devices are increasingly connected. Applications provide pervasive services based on contexts of their host devices as well as other connected devices. However, the use of contexts commonly follows a centralized approach, i.e., copying all required contexts of other devices to one device that performs a computing task. This causes space overhead and privacy threats to resource-limited, personal devices. In this paper, we propose a constraint-based approach to systematically decentralizing constraint-expressed computing tasks to connected devices. This approach is expressive to support pervasive computing tasks such as situation evaluation to complete in a device-collaborating way. We show that the approach is effective for reducing space cost and protecting device privacy in pervasive computing. 1

Year: 2008
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.