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
2025
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://www-webofscience-com.uitm.idm.oclc.org/wos/woscc/full-record/WOS:001388451100001 |