Mobile Cloud Computing (MCC) extends cloud services to the resource-constrained mobile
devices. Compute-intensive mobile applications can be augmented using cloud either in …

We describe a state-machine verifier for speed-independent control circuits, using as an
example an “arbiter with reject.” User-level behavioral descriptions are given as Petri nets …

Large scale information systems, such as public information systems for light-train/metro
networks, must be able to fulfill contractualized Service Level Agreements (SLAs) in terms of …

Mobile Cloud Computing (MCC) enables the resource-constrained mobile devices to
execute the compute-intensive mobile applications either in client/server model or through …

Elasticity in computing refers to dynamically adjusting the amount of allocated resources to
process a distributed application. In order to achieve this, mechanisms are needed to avoid …

An ever-increasing number of clouds and web applications are providing open services to a
wide range of applications. Whilst traditional centralized approaches to services …

Business processes can benefit from the external knowledge widely available in the web in
terms of open services. Traditional centralized approaches to services orchestration are …

An ever-increasing number of web applications are providing open services to a wide range
of applications. Whilst traditional centralized approaches to services orchestration are …

Este trabalho propôs e avaliou um middleware com suporte à tolerância a falhas e à
elasticidade em um cluster de alto desempenho. Para isso, foi construída uma arquitetura …

The development and management of large-scale information systems, such as highspeed
transportation networks, are pushing the limits of the current state-of-the-art in middleware …