Energy-Efficient Proactive Scheduling Policies for Finite-Buffer Regular Service Guarantees | IEEE Conference Publication | IEEE Xplore