Agent-Based Proactive Support in Smart Environments | IEEE Conference Publication | IEEE Xplore