Goal-Directed Context Validation for Adaptive Ubiquitous Systems | IEEE Conference Publication | IEEE Xplore