Verification and validation of MapReduce program model for parallel K-means algorithm on Hadoop cluster | IEEE Conference Publication | IEEE Xplore