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

En esta línea de investigación tenemos como objetivo principal profundizar en los componentes de la función de gestión de los Sistemas de Información y sus relaciones con aspectos relevantes de los Sistemas de Información, tales como: su evolución, la integración…

Se presenta aquí el proyecto de desarrollo de un sistema tal que permita controlar una flota de vehículos. El mismo hace referencia a la telemetría y georreferenciación brindando información de una unidad móvil en tiempo real, principalmente su estado y…

Se presenta un modelo de simulación de embalses para realizar análisis de riesgo en la atención de la demanda para riego. Este modelo simula las operaciones de cada embalse en base a series de aporte observadas y sintéticas; considera en…

Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal. In particular, the usage of Model Checking in formal languages…

Las redes móviles están en pleno auge desde no hace más de una década. Las redes móviles están compuestas por dispositivos que no siempre poseen conexión con la red.
Sobre los dispositivos pueden correr aplicaciones que, en caso de trabajar…

En esta línea de investigación proponemos desarrollar un framework semántico y un cálculo que permita describir, transformar y razonar sobre patrones arquitectónicos de software. El trabajo apunta a responder a las necesidades que emergen a partir del éxito de la…

Se presenta una síntesis del proyecto Prometeo y los avances logrados durante el año 2008. Se enuncian los antecedentes, características de la heurística usada y los objetivos del software, logros recientes y avances previstos en este año., Eje: Ingeniería de…

Con el proyecto presente: “investigación básica y aplicada en Bases de Datos Deductivas”; se pretende avanzar en el estudio, aplicaciones y desarrollo de técnicas para el procesamiento de consultas recursivas para bases de datos deductivas, tendientes a ofrecer alternativas de…

Este proyecto se centra en definir una arquitectura de integración entre sistemas de descubrimiento de conocimiento (adquisición automática) y sistemas basados en conocimiento (sistemas expertos). Se busca estimar la viabilidad de implementación de dicha arquitectura en función de la madurez…