Buscar recursos académicos

Este artículo presenta tres perspectivas analíticas sobre la relación entre computación ubicua (ubicomp) y diversas dimensiones sociales y culturales. Para ello, se reconstruyen las últimas tres décadas de producci...

"Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many...

Nowadays, performing multi-objective optimizations of actual building designs is one of the most challenging problems of the building energy efficiency area. This paper aims to propose an efficient method to solve multi-...

One of the main challenges in Internet of Things (IoT) is providing communication support to an increasing number of connected devices. In recent years, the narrowband radio technology has emerged to address this situati...

We consider a toy model for nonlocal quantum correlations in which nature resorts to some form of hidden signaling (i.e., signaling between boxes but not available to the users) to generate correlations. We show that if ...

The purpose of this paper is to present a new version of the One-to-One Pickup and Delivery Problem in which a single vehicle must comply with requests for transportation from specific collect points to specific delivery...

Real-time rendering applications are difficult software engineering development projects, due to the complexity of the implemented algorithms required to achieve interactive frame rates. To provide a faster development p...