Erasure-Coding Based Dissemination Protocol for Mobile Clouds