Discovering Statistical Models of Availability in Large Distributed Systems: An Empirical Study of SETI@home | IEEE Journals & Magazine | IEEE Xplore