A Semi-Markov Decision Model-based brokering mechanism for mobile cloud market | IEEE Conference Publication | IEEE Xplore