Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Oussama Kamel"'
Publikováno v:
Applied Sciences, Vol 11, Iss 20, p 9743 (2021)
Models@runtime (models at runtime) are based on computation reflection. Runtime models can be regarded as a reflexive layer causally connected with the underlying system. Hence, every change in the runtime model involves a change in the reflected sys
Externí odkaz:
https://doaj.org/article/ffb4e20d270743398c98a6d3136fbf08
The service computing paradigm has been widely adopted in various domains, such as in Web applications, Cloud computing and Internet of Things (IoT). Service providers offer services to their clients depending on their functional and non-functional r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e210f8fd3fa6ccfd8f1df3e387e25a11
https://doi.org/10.21203/rs.3.rs-2302388/v1
https://doi.org/10.21203/rs.3.rs-2302388/v1
Autor:
Ahmed Bouzenada, Mohammed Mounir Bouhamed, Oussama Kamel, Hermenegilda Macià, Gregorio Díaz, Allaoua Chaoui
Publikováno v:
Modelling and Implementation of Complex Systems ISBN: 9783031185151
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4114745c336b44db41aea024c97dd706
https://doi.org/10.1007/978-3-031-18516-8_16
https://doi.org/10.1007/978-3-031-18516-8_16
Publikováno v:
2022 4th International Conference on Pattern Analysis and Intelligent Systems (PAIS).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0e733f76859b22d0dfd34ecd8eec2a5c
https://doi.org/10.1109/pais56586.2022.9946867
https://doi.org/10.1109/pais56586.2022.9946867
Publikováno v:
Applied Sciences
Volume 11
Issue 20
Applied Sciences, Vol 11, Iss 9743, p 9743 (2021)
Volume 11
Issue 20
Applied Sciences, Vol 11, Iss 9743, p 9743 (2021)
This work is licensed under a Creative Commons Attribution 4.0 International License. Models@runtime (models at runtime) are based on computation reflection. Runtimemodels can be regarded as a reflexive layer causally connected with the underlying sy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::58ce96c704a9518b24d2a56be18baf20
Publikováno v:
RUIdeRA. Repositorio Institucional de la UCLM
instname
RUIdeRA: Repositorio Institucional de la UCLM
Universidad de Castilla-La Mancha
instname
RUIdeRA: Repositorio Institucional de la UCLM
Universidad de Castilla-La Mancha
We propose a formal approach based on Bigraphical Reactive Systems (BRSs) and model checking techniques for modeling and verifying the interaction behaviours of SLA-based cloud computing systems. In the first phase of this approach, we address the mo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e10c7b450ab8a868240ea4f019fdd1d9
https://www.sciencedirect.com/science/article/pii/S092054892030369X
https://www.sciencedirect.com/science/article/pii/S092054892030369X
Publikováno v:
BDIOT
Service Level Agreement (SLA) represents a means of regulating and controlling the interaction between service providers and their customers. In the first part of this paper, we use Bigraphical Reactive Systems (BRS) to model customers, offered servi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f6d60ab975ae682e2783a88bbe8fe5cd
https://doi.org/10.1145/3175684.3175727
https://doi.org/10.1145/3175684.3175727
Publikováno v:
IDEAS
In the last decade, cloud computing has emerged as one of the most popular computing models. This model delivers a pool of computing resources as on-demand services to different categories of users. As the number of cloud services available on the In
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e3319e05074c5d1126f05c32e1ddfe81
https://doi.org/10.1145/3105831.3105851
https://doi.org/10.1145/3105831.3105851