Scheduling server for responsive computing - Richling, Jan 1973- (Informatik-Berichte, 1997)