Shinji Kikuchi. Performance Estimation for Business Workflows on Public Cloud Offerings Using Probabilistic Model Checker. In Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, UCC 2014, London, United Kingdom, December 8-11, 2014. pages 317-326, IEEE, 2014. [doi]
Abstract is missing.