Open AccessModeling and Performance Analysis of Resource Provisioning in Cloud Computing using Probabilistic Model Checking
Author(s) -
Hichem Debbi
Publication year - 2021
Publication title -
informatica
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.172
H-Index - 34
eISSN - 1854-3871
pISSN - 0350-5596
DOI - 10.31449/inf.v45i4.3308
Subject(s) - cloud computing , provisioning , computer science , probabilistic logic , virtualization , distributed computing , virtual machine , resource (disambiguation) , cloud testing , set (abstract data type) , cloud computing security , computer network , operating system , artificial intelligence , programming language