A decision-model for restart and recovery from errors in information processing systems