Proactive Digital Companions in Pervasive Hypermedia Environments | IEEE Conference Publication | IEEE Xplore