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…

Descripción completa.

Descripción completa.

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

Este trabajo presenta un análisis desde el punto de vista tecnológico de AJAX y su la posibilidad de alcanzar la inserción de dicha tecnología en un marco conceptual y metodológico para el desarrollo de software.
El objetivo del trabajo es…

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…

Inicialmente un grupo de desarrolladores de software enfrentaron el problema de disponer de una capa de software capaz de permitir el desarrollo ágil de aplicaciones Web, básicamente utilizando a PHP como lenguaje de trabajo y motores clásicos de Base de…

Motivación y objetivos generales
 Seguimiento y estimación de trayectorias en video
 Trayectoria: Es el conjunto de todas las posiciones por las que pasa un cuerpo en movimiento.
 Analizar algoritmos para cada etapa
Tiempo…

Descripción completa.