Mining for statistical models of availability in large-scale distributed systems: An empirical study of SETI@home | IEEE Conference Publication | IEEE Xplore