EduCart: a hardware management system for supporting devices in a classroom learning environment | IEEE Conference Publication | IEEE Xplore