On the Performance Evaluation of Cloud Computing Enviroments Metrics using PRISM Model Checker
Loading...
Date
2017
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
FACULTY: Mathematics and Informatics Department of computer science - MOHAMED BOUDIAF UNIVERSITY - M’SILA
Abstract
The term cloud computing can be defined as a set of services provided by the service
provider to a customer or several clients over the Internet. The performance assessment of
cloud computing services is critical and beneficial to both service providers and service
consumers. The high performance of services and anything related to Clouds affects users
Therefore, we have evaluated the performance of cloud computing by analysis modeling
using "PRISM model checker".
Description
Keywords
cloud computing ,analysis modeling ,evaluated the performance