Modeling and Reasoning of Contexts in Smart Spaces | IEEE Conference Publication | IEEE Xplore