A Formal Aspect-Oriented Method for Modeling and Analyzing Adaptive Resource Scheduling in Cloud Computing

Guisheng Fan, Huiqun Yu, Liqiong Chen. A Formal Aspect-Oriented Method for Modeling and Analyzing Adaptive Resource Scheduling in Cloud Computing. IEEE Transactions on Network and Service Management, 13(2):281-294, 2016. [doi]

Abstract

Abstract is missing.