Detection of Behavioral Contextual Properties in Asynchronous Pervasive Computing Environments | IEEE Conference Publication | IEEE Xplore