PMDC: Programmable Mobile Device Clouds for Convenient and Efficient Service Provisioning | IEEE Conference Publication | IEEE Xplore