Abul Bashar, Nazeeruddin Mohammad, Shahabuddin Muhammed. Modeling and Evaluation of Pre-Copy Live VM Migration Using Probabilistic Model Checking. In Tadeusz A. Wysocki, Beata J. Wysocki, editors, 12th International Conference on Signal Processing and Communication Systems, ICSPCS 2018, Cairns, Australia, December 17-19, 2018. pages 1-7, IEEE, 2018. [doi]
Abstract is missing.