Dynamic Constraint Reasoning in Smart Environments | IEEE Conference Publication | IEEE Xplore