A formal quantitative analysis of elastic cloud systems based on PSMaude
Cloud computing, with its various extensions, is a significant IT evolution aiming to provide on-demand IT services with an efficient resource usage, but still ensuring service availability and Quality of Service (QoS). Resource elasticity is an effective feature to deal with such issues; it provide...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Elsevier
2020-05-01
|
| Series: | Journal of King Saud University: Computer and Information Sciences |
| Subjects: | |
| Online Access: | http://www.sciencedirect.com/science/article/pii/S1319157819302150 |