Using a policy language to control tuple-space synchronization in a mobile environment | IEEE Conference Publication | IEEE Xplore