Cloud computing has become one of the most used platforms to deploy High Availability
(HA) solutions for its flexibility, on-demand provisioning, and elasticity. However, although …

Private cloud infrastructures are now widely deployed and adopted across technology
industries and research institutions. Although cloud computing has emerged as a reality, it is …

The current IoT systems are based on simple sensors that collect data to a cloud and
actuators controlled by applications in the cloud. When the devices become more powerful …

Multimedia conferencing is the real-time exchange of multimedia content between multiple
parties. It is the basis of several interactive multiuser applications, such as distance learning …

In the cloud environment, it brings better reliability and robustness with geographically
distributed datacenters. As the growth of large-scale applications in geo-distributed cloud …

A cloud's elasticity which makes it attractive is limited to its physical resources. As a measure
to prevent this limitation from being a hindrance to the attraction, the cloud inter-operates …

Cloud-Föderationen sind in den letzten Jahren in den Fokus der Cloud-Forschung geraten,
da sie viele Probleme der traditionellen Clouds, wie zum Beispiel Ressourcenengpässe in …

A cloud's elasticity is enhanced by inter-operating with other clouds and borrowing
resources from them. Hence, a request from any such inter-operating cloud's user is fulfilled …

By exploiting the portability of application containers, platform-and software-as-a-service
providers receive the flexibility to deploy and move their cloud services across infrastructure …

Inferring Models from Cloud APIs and Reasoning over Them: A Tooled and Formal Approach
Page 1 HAL Id: tel-02016442 https://tel.archives-ouvertes.fr/tel-02016442 Submitted on 13 …