A QoS-Satisfied Prediction Model for Cloud-Service Composition Based on a Hidden Markov Model. (30th July 2013)