Virtual networks are considered today as a critical IT resource that connects distributed and virtualised Cloud services and components like servers, applications and storage. Network virtualisation allows traffic isolation between different tenants, ...

This paper describes issues related to context-aware deployment and reconfiguration of services within networked nodes. A deployment platform has been designed and implemented on top of a peer-to-peer layer to carry on the whole deployment process. The ...

Cloud computing enables an economic model for virtual resources provisioning based on Internet protocols. For this paradigm, service oriented Architecture (SOA) is a pillar block to build applications. For service-based applications in the cloud, ...

The scale of the current cloud infrastructures and the heterogeneity of applications running on them pose significant challenges about resources management on clouds. This paper proposes a monitoring system that allows user to collect and aggregate data ...

This second edition of CSP focuses on collaborative aspects of modeling and enactment of software development processes. It aims to provide an opportunity for the software engineering community to exchange ideas and to present emerging new technology ...

Formal proofs of distributed algorithms are long, hard and tedious. We propose a general approach, based on the formal method Event-B, to automatically generate correct programs of distributed algorithms. Our approach is implemented with a translation ...

Cloud computing is a new delivery model for IT services. Cloud platforms are being increasingly used for the deployment and execution of service-based business processes (SBPs). Nevertheless, the provisioning of elastic infrastructures and/or platforms ...

As Cloud computing becomes one of the mainstream distributed computing paradigms, cloud users are generating more intricate business processes and scientific jobs which involve the use of service workflows. Efficient management of those workflows' ...

The pay-per-use business model is one of the key factors for the success of the cloud computing paradigm: resources are acquired only when needed and charged on the basis of their actual usage. The execution of applications in the cloud implies costs ...

We present a technique to fully automate validation of a byte code verifier (BCV) implementation by testing. The technique is based on the use of a finite state machine model of the JVM specifications to systematically explore the set of legal JVM ...

The Convergence of distributed clouds, grids and their management conference track focuses on virtualization and cloud computing as they enjoy wider acceptance. A recent IDC report predicts that by 2016, $1 of every $5 will be spent on cloud-based ...

In this paper, we present a formal architecturecentric approach that aims, first, to model message-oriented SOA design patterns with the SoaML standard language, and second to formally specify these patterns at a high level of abstraction using the ...

We propose in this paper a model-driven approach for specifying and verifying Web services composition. In particular, we present how the process engineering and reengineering allows us to check the consistency of Web services composition. To achieve ...

Although the initiative of Autonomic Computing was introduced a dozen years ago, several challenges remain open. One of these challenges is the efficient monitoring at runtime oriented to the detection, diagnosis, and repair of problems that result from ...

The new trend in the process of data-intensive management indicates the importance of a distributed file system for both Internet large scale services and cloud computing environments. I/O latency and application buffering sizes are two of a number of ...

Cloud Computing is a revolutionary model that offers everything as a service (storage, servers, network, etc.). It enables users to outsource their data and entrust a service provider with its storage and processing. However, we are doing with resource-...