Cloud computing enables users to provision resources on demand and execute applications
in a way that meets their requirements by choosing virtual resources that fit their application …

Approaches to decision-making in self-adaptive systems are increasingly becoming more
effective at managing the target system by taking into account more elements of the decision …

Cloud computing is seeking attention as a new computing paradigm to handle operations
more efficiently and cost-effectively. Cloud computing uses dynamic resource provisioning …

In this work we target horizontal scaling of NoSQL databases, which exhibit highly varying,
unpredictable and difficult to model behavior coupled with transient phenomena during VM …

Currently, software systems are operated in a dynamic and uncertain environment, making it
difficult to predict the operating environment. Particularly, the Internet of Things (IoT) …

In the recent years, growing attention has been paid to the concept of Cloud Computing as a
new computing paradigm for executing and handling operations/processes in an efficient …

Probabilistic model checking is a formal verification technique that has been applied
successfully in a variety of domains, providing identification of system errors through …

More and more companies are currently migrating business processes to the Cloud in order
to handle customer service in an efficient and cost effective way. Cloud Computing's …

Resource management of modern datacenters needs to consider multiple competing
objectives that involve complex system interactions. In this work, Linear Temporal Logic …

Decision making seeks the optimal choice for maximum rewards or minimal costs under
certain conditions, requirements and constraints. Decision making problems in practice are …