Teaching Pervasive Computing: A Report and a Look Ahead From a Dagstuhl Seminar | IEEE Journals & Magazine | IEEE Xplore