Whilst Augmented Reality (AR) has been a prevalent research topic it has proved difficulty to implement and apply in commercial situations as it generally requires complex and exp...
Abstract. In a distributed system, dynamically dividing execution between nodes is essential for service robustness. However, when all of the nodes cannot be equally trusted, and w...
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
—We propose SWAN, a stateless network model which uses distributed control algorithms to deliver service differentiation in mobile wireless ad hoc networks in a simple, scalable ...
With the growing academic and industrial interest in Software Product Lines (SPL), one area demanding special attention is tool support development, which is a pre-requisite for w...
Fernando Calheiros, Vilmar Nepomuceno, Paulo Borba...