Specification of a Managing Agent of Emergent Serious Games for a Smart Classroom | IEEE Journals & Magazine | IEEE Xplore