Cloud computing is a new technology, providing different online resources and services to
users. Load balancing has become an interesting research area in this field. A few existing …

Formal methods are necessary to capture the semantics and behavior of processes of
various systems. They characterize and provide insight into the behavior of real systems and …

The provisioning of a Cloud service requires a number of parties to engage in a legal
commitment towards one another. The responsibilities and expectations of both customers …

In hosting environments such as IaaS clouds, desirable application performance is usually
guaranteed through the use of Service Level Agreements (SLAs), which specify minimal …

With the fast growth of Information Technology (IT), organisations rely mostly on web
services, cloud services and recently on Big Data Analytics services (BDA services), in order …

Cloud Computing services are regulated by a contract called Service Level Agreement
(SLA). They are cosigned between the customers and the providers after a negotiation …

Cloud computing solutions have such a strong influence on all the aspects of human life
from personal to business. In most cases, alongside progress, technology is a fertile ground …

Cloud computing is increasingly becoming a target of cyber-criminal attacks. Often the
committed crimes violate the Service Level Agreement (SLA) contracts, which must be …

Cloud computing services represent the actual computation delivery to the most of customer
communities. Such services are regulated by a contract called Service Level Agreement …

Computer science researchers in the programming languages and formal verification
communities, among others, have produced a variety of automated assistance and …