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…

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…

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…

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…

La tesis titulada Desarrollo de Herramientas para la creación de Sitios
Electrónicos en Internet es acerca de la implementación de
una herramienta accessible vía Web para la construcción,
mantenimiento, actualización y personalización de sitios Web.
Ésta está dirigida…

Varios intentos se han realizado para mejorar la producción de programas en diversos lenguajes. No es difícil imaginar cuán conveniente sería poder aplicar técnicas inteligentes para colaborar en este sentido. El presente trabajo realiza el desarrollo y evaluación de un…

El propósito general de este artículo se centra en
presentar una serie de herramientas para la
enseñanza a distancia de robótica industrial, que
permite a los usuarios interactuar con simulaciones
de robots reales de una manera intuitiva y
económica. Mediante…

Hoy en día existen grandes volúmenes de información
y conocimiento a los que pueden accederse en las bibliotecas, no solamente
en las bibliotecas físicas, sino también en las digitales.
Una Biblioteca Digital es un espacio virtual que comprende grandes

Ponencias Orales





Algoritmo paralelo para la detección y caracterización de halos de materia oscura en simulaciones cosmológicas.
Parallel algorithm for the detection of dark matter halos and computation of their properties in cosmological simulations.
Vera,…

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…