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 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…

El presente trabajo describe un Proyecto de Minería de Datos en el ámbito de la información criminal, analizando los homicidios dolosos cometidos en la República Argentina mediante una herramienta de distribución libre., This article describes a Project of Data mining…

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…

El presente artículo presenta la implementación de un laboratorio virtual para que a través de Internet cumpla con objetivos pedagógicos en el estudio de los dispositivos electrónicos básicos usados en la enseñanza de la electrónica en las Universidades. Se desarrolla…

El presente trabajo de grado consiste en el desarrollo de un modelo genérico que brinde funcionalidad referente a la gestión de información geográfica. Este modelo constituye una capa de SIG y se busca que sobre la misma pueda montarse cualquier…

Vertical partitioning, in which attributes of a relation are
assigned to partitions, is aimed at improving database
performance. We extend previous research that is based on
a single relation to multi-relation database environment,
by including referential integrity constraints, access time

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…

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…

Sumario:
1- Introducción a las bases de datos distribuidas
2- Replicación
3- Sincronización
4- Manejo de réplicas coordinadas
5- Presentación de un problema real
6- Implementación de una solución
7- Conclusiones