The focus of this work is the on-demand resource provisioning in cloud computing, which is
commonly referredto as cloud elasticity. Although a lot of effort has been invested in …

Supporting real-time, cost-effective execution of Complex Event processing applications in
the cloud has been an important goal for many scientists in recent years. Distributed Stream …

Clouds are complex systems that provide computing resources in an elastic way. Elasticity
allows their adaptation to input workloads by (de) provisioning resources as the demand …

The few recent years have witnessed the appearance of a new kind of self-adaptive systems
called cloud based-elastic systems. These systems are particularly appealing for their ability …

Probabilistic model checking is a technique employed for verifying the correctness of
computer systems that exhibit probabilistic behaviour. A related technique is controller …

The verification of the Cloud composite services' correctness is challenging. In fact, multiple
component services, derived from different Cloud providers with different service description …

Composition of Cloud services is necessary when a single component is unable to satisfy all
the user's requirements. It is a complex task for Cloud managers which involves several …

Cloud computing (CC) is an attractive emerging technology due to offering services based
on-demand by the process of virtualization. Since CC platform offers services based on …

Clouds are complex systems that provide computing resources in an elastic way. Elasticity
property allows their adaptation to input workload by (de) provisioning resources as the …

With the emergence of the Cloud computing paradigm, service composition has received
much interests as it satisfies complex user requirements. Service composition promote …