From research to classroom a course in pervasive computing | IEEE Journals & Magazine | IEEE Xplore