Analyzing Energy-Efficient and Kubernetes-Based Autoscaling of Microservices Using Probabilistic Model Checking

由 Agos Jawaddi, Siti Nuraishah; Ismail, Azlan; Sulaiman, Mohd Suffian; Cardellini, Valeria
发表在 JOURNAL OF GRID COMPUTING (2025)

Analyzing Energy-Efficient and Kubernetes-Based Autoscaling of Microservices Using Probabilistic Model Checking

由 Agos Jawaddi S.N.; Ismail A.; Sulaiman M.S.; Cardellini V.
发表在 Journal of Grid Computing (2025)