Availability and Accuracy of Distributed Web Crawlers: A Model-Based Evaluation | IEEE Conference Publication | IEEE Xplore