Dist-RIA Crawler: A Distributed Crawler for Rich Internet Applications | IEEE Conference Publication | IEEE Xplore