Insights into cloud autoscaling: a unique perspective through MDP and DTMC formal models
Cloud autoscaling is an important mechanism to dynamically manage cloud system resources with uncertain workload demands. The common goal in developing such a mechanism is to produce correct-by-design scaling policies that contribute to a reliable autoscaling component. A promising approach is forma...
| Published in: | Journal of Supercomputing |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | English |
| Published: |
Springer
2024
|
| Online Access: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85171969551&doi=10.1007%2fs11227-023-05665-7&partnerID=40&md5=49a8d6792c79839a568415b56997650d |