Modeling and simulation for user assistance in smart environments | IEEE Conference Publication | IEEE Xplore