Login / Signup
A Maude-Based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration.
Khaled Khebbeb
Nabil Hameurlain
Faiza Belala
Published in:
J. Syst. Archit. (2020)
Keyphrases
</>
formal model
web services
statistical model
high level
cost function
probabilistic model
parameter estimation
computational model
neural network
theoretical framework
experimental data
prediction model