User inactivity modeling and simulation for power management of PC fleets | IEEE Conference Publication | IEEE Xplore