Vitalsource Technologies, Inc. Models And Algorithms Of Time-dependent Scheduling