Modeling and reasoning about uncertainty in context-aware systems | IEEE Conference Publication | IEEE Xplore