Verification of energy-driven microservice autoscaling policies in cloud environment using probabilistic model checking / Siti Nuraishah Agos Jawaddi
Microservice autoscaling is one of the critical mechanisms in a cloud system that needs to be analyzed and verified to ensure that it is working as expected. This is a challenging task for the cloud engineer at design time especially if they need to understand the impact on the energy consumption si...
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | 学位論文 |
| 言語: | English |
| 出版事項: |
2023
|
| 主題: | |
| オンライン･アクセス: | https://ir.uitm.edu.my/id/eprint/88754/1/88754.pdf https://ir.uitm.edu.my/id/eprint/88754/ |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|