On the Performance Evaluation of Cloud Computing Enviroments Metrics using PRISM Model Checker
| dc.contributor.author | Bensalah, Amin | |
| dc.date.accessioned | 2018-02-01T09:35:09Z | |
| dc.date.available | 2018-02-01T09:35:09Z | |
| dc.date.issued | 2017 | |
| dc.description.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". | en_US |
| dc.identifier.uri | http://dspace.univ-msila.dz:8080//xmlui/handle/123456789/2111 | |
| dc.language.iso | en | en_US |
| dc.publisher | FACULTY: Mathematics and Informatics Department of computer science - MOHAMED BOUDIAF UNIVERSITY - M’SILA | en_US |
| dc.subject | cloud computing ,analysis modeling ,evaluated the performance | en_US |
| dc.title | On the Performance Evaluation of Cloud Computing Enviroments Metrics using PRISM Model Checker | en_US |
| dc.type | Thesis | en_US |