Debido a los grandes volúmenes de información generados en diversos ámbitos y en forma continua, resulta indispensable desarrollar técnicas para facilitar la tarea de quien debe utilizar dicha información. De la necesidad de estudiar y obtener técnicas efectivas para comunicar…

This paper is an attempt to define how a
specific data structure might be used to
store, in a persistent manner, temporal
information during a computer simulation.
In particular, it considers the sort of
temporal information generated during a
discrete…

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…

La supervisión y control de entornos de distinta índole implica la necesidad de medir variables propias del ambiente. Cuando los sitios en que deben hacerse estas mediciones son de difícil acceso se suele recurrir a redes inalámbricas de sensores inteligentes…

Model-Driven Architecture (MDA) es un enfoque ampliamente aceptado para el desarrollo de sistemas de software complejos. MDA propone el uso de modelos en todas las fases de desarrollo, desde la especificación y análisis hasta la implementación. La transformación de modelos…

La Recuperación de Información de la Web es uno más de los problemas de buscar en un conjunto los elementos más cercanos a una consulta dada bajo un cierto criterio de similitud. Es de interés aprovechar las cualidades de los…

The metric spaces model formalizes the similarity search concept in nontraditional databases. The goal is to build an index designed to save distance computations when answering similarity queries later. A large class of algorithms to build the index are based…

En este artículo se presenta una metodología y el conjunto de herramientas open source utilizado para la automatización de las pruebas funcionales de productos con interfaz web. Este conjunto de herramientas está compuesto por: Selenium, Eclipse y extensiones de Mozilla…

El desarrollo y mantenimiento de sitios Web no es un tarea fácil. Garantizar que la información de un sitio Web es consistente resulta cada vez más difícil, por ello los administradores Web necesitan de mecanismos que ayuden a reparar estas…

We present point slicing, a new slicing technique for imperative programs that gives an answer to the question Which sentences can be executed if sentence p is executed?, very common in program testing, debugging, and understanding tasks and, as far…