En este proyecto se diseña un sistema para transmitir a una estación de control central, la deformación del suelo provocada por el movimiento del magma dentro del volcán que, al ejercer presión sobre las paredes internas, produce cambios en la…

El presente trabajo es una herramienta generadora de código para aplicaciones Web escritas en JAVA; cuyo principal objetivo es agilizar el proceso de desarrollo de software. Esta aplicación utiliza los metadatos de un motor de base de datos para construir…

Poder resolver algunos de los problemas con los que cuenta actualmente la I. Municipalidad del cantón Déleg referentes al cobro de impuestos relacionados con catastro, los cuales han sido organizados en los siguientes módulos: Predios, Alcabalas, Plusvalías, Patentes, Contribución de…

El framework de desarrollo JSF (JAVA Server Faces) es uno de los más popularmente usados en el desarrollo de aplicaciones Web. Este incorpora la novedad de permitir construir “componentes a medida” o “componentes customizadas”, aunque la implementación inadecuada desemboca en…

En este trabajo se presenta una técnica para verificar modularmente atomicidad de programas bytecode Java multi-thread. Los programas deben contar con una especificación referente a los bloqueos y al acceso a los recursos compartidos para realizar la verificación modular. Se…

Resulta fundamental disponer de una herramienta de reportes que permitan un fácil y rápido acceso hacia los datos contenidos en bases de datos Postgres como parte de una estrategia Open Source aplicable a cualquier organización, considerando el ahorro en licencias…

Protecting sensitive information has become an important facet of software development.
One aspect of software security relies on information flow control (IFC), a technique for discovering information leaks in software. Despite the large body of work on language-based IFC, there…

En el presente trabajo de tesis, se desarrolla y describe la implementación
en Java de un sistema de modelado de sólidos basado principalmente
en dos modelos: los modelos EVM (Extreme Vertices Model) y el OUoDBM
(Ordered Union of Disjoint…

Se construyó un Analizador de Tráfico de Red - Poli Analizer el cual se enfoca en realizar un monitoreo de lo que está sucediendo en un punto de la red. El aporte de la tesis es la descripción del desarrollo…

El presente proyecto se enfoca en el diseño e implementación
de un algoritmo para resolver un problema de exploración de un ambiente
utilizando un robot móvil Khepera, utilizando un conjunto de 8 sensores
infrarrojos para la detección de…