What is it about?
This study aims to produce a novel decision-generating method for cloud model encoding through a model-checking with synthesis technique. The effectiveness of independent decision-making process of the clouds is evaluated based on the quality objective, resource variation, and uncertainty of the system environment.
Featured Image
Photo by Jakob Owens on Unsplash
Why is it important?
Generating optimal decision codes automatically is a complex and challenging task. There is an increasing need for software systems to be able to manage and execute respective cloud applications independently. However, the existing generating methods are yet to fulfill this rising demand. The proposed approach has shown potential benefits in improving the effectiveness of autonomic cloud decision-generation.
Perspectives
Read the Original
This page is a summary of: Synthesizing Pareto Optimal Decision for Autonomic Clouds Using Stochastic Games Model Checking, December 2017, Institute of Electrical & Electronics Engineers (IEEE),
DOI: 10.1109/apsec.2017.50.
You can read the full text:
Contributors
The following have contributed to this page