Browsing by Author "Bensalah, Amin"

Now showing 1 - 1 of 1
  • Thumbnail Image
    ItemOpen Access
    On the Performance Evaluation of Cloud Computing Enviroments Metrics using PRISM Model Checker
    (FACULTY: Mathematics and Informatics Department of computer science - MOHAMED BOUDIAF UNIVERSITY - M’SILA, 2017) Bensalah, Amin
    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".