1

Although mobile devices can collaborate and interact when connected by a communication infrastructure, such interactions may also be …

In this paper we present Contracts for Concurrency. A contract for concurrency specifies the protocol to access the services provided …

There is a clear trend and progressive interest in the quasi-real-time sharing of user-generated content, and mobile devices are among …

Os dispositivos móveis são atualmente uma das principais fontes de geração de conteúdos pessoais. A portabilidade e a crescente …

The central notion of this paper is that of contracts for concurrency, allowing one to capture the expected atomicity of sequences of …

N/A

A Pareto front provides to the decision-maker a set of optimal solutions from where a unique solution should be selected to solve a …

One of the main characteristics of mobile ad-hoc networks (MANETs) is the lack of global, consistent, and up-to-date knowledge of the …

N/A

Presently, hand-held mobile devices, such as smartphones, generate and record large amounts of data (e.g., multimedia files like photos …