Transition systems (TS) and Petri nets (PN) are important models of computation ubiquitous in formal methods for modeling systems. An important problem is how to extract from a given TS a PN whose reachability graph is ...

Energy and Information and Communication Technology (ICT), as two driving forces of the contemporary life, are reshaping themselves based on ubiquitous society architecture to improve their service quality. Within the ...

The dissertation is focused on a multimedia lab for different applications, projects, text, video, audio, etc. Focused on the use of different user categories, as can be seen from reading the thesis. Design structures that ...

Ubiquitous environment's research has evolved considerably over the last years. The wide range of mobile devices, their high diversity and mobility have raised a variety of challenges being resource management a predominant, ...

Network and device heterogeneity, nomadic mobility, intermittent connectivity and, more generally, extremely dynamic operating conditions, are major challenges in the design of security infrastructures for pervasive ...

El Proyecto Final de Carrera consiste en desarrollar un middleware que permite la composición de un sistema pervasivo a partir de dispositivos personales, de manera que se puede seleccionar el más adecuado a la situación ...

Using low-power symmetric multi-cores on FPGAs are becoming ubiquitous in embedded computing. This is due to the emergence of power and energy as key design metrics, as important as performance. This leads to the requirement ...