A policy language for a pervasive computing environment | IEEE Conference Publication | IEEE Xplore