Analyzing Energy-Efficient and Kubernetes-Based Autoscaling of Microservices Using Probabilistic Model Checking
Microservices are widely used to enable agility and scalability in modern software systems, while cloud computing offers cost-effective ways to provision computing resources on demand. However, ensuring the correctness of scaling decisions and their impact on energy consumption is a challenging prob...
| الحاوية / القاعدة: | Journal of Grid Computing |
|---|---|
| المؤلف الرئيسي: | |
| التنسيق: | مقال |
| اللغة: | English |
| منشور في: |
Springer Science and Business Media B.V.
2025
|
| الوصول للمادة أونلاين: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85213696655&doi=10.1007%2fs10723-024-09789-9&partnerID=40&md5=2351a5b1f5d24e45730f45c2899e134e |