Publications by authors named "Luis Orozco-Barbosa"

In this article, we present a parameterized Colored Petri Net (CPN) model of the IEEE 802.11e protocol for wireless communications with mobile stations. CPNs provide a graphical model for the modeling and analysis of concurrent systems, which can be parameterized by the use of constants, and thus they allow us to create more flexible models.

View Article and Find Full Text PDF

Smart City initiatives across the globe have spurred increasing demand for high-skilled workers. The digital transformation, one of the main building blocks of the Smart City movement, is calling for a workforce prepared to develop novel business processes. Problem-solving, critical and analytical thinking are now the essential skills being looked at by employees.

View Article and Find Full Text PDF

Nowadays, there is a great interest in developing accurate wireless indoor localization mechanisms enabling the implementation of many consumer-oriented services. Among the many proposals, wireless indoor localization mechanisms based on the Received Signal Strength Indication (RSSI) are being widely explored. Most studies have focused on the evaluation of the capabilities of different mobile device brands and wireless network technologies.

View Article and Find Full Text PDF

The three-dimensional wavelet transform (3D-WT) has been proposed for volumetric data coding, since it can provide lossless coding and top-quality reconstruction: two key features highly relevant to medical imaging applications. In this paper, we present experimental results for four new algorithms based on the Classic 3D-WT. The proposed algorithms are capable of obtaining the wavelet coefficients after the spatial and, mainly, the temporal decomposition processes, reducing most redundancies in the video sequence and getting lower entropy values than the Classic algorithm.

View Article and Find Full Text PDF