En virtud de las principales necesidades que afrontan gran parte de los Hospitales Públicos en Argentina, como la deficiente disponibilidad de información veraz, completa, oportuna y centralizada y los bajos recursos tecnológicos, se ha decidido realizar un modelo de solución…

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…

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

Se construirá un motor que mostrará el funcionamiento de administración de una base de datos que permita conocer en forma práctica la resolución de consultas y transacciones (select, insert, update, delete, etc.) con filas de tablas almacenadas en el mismo.

Knowledge-intensive processes are widely used to recover from errors, handle exceptional cases and complaints, and to improve or adapt a process itself. In this context, evolved Business-Process Reengineering (BPR) techniques are changing to give some answers to this reality. In…

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…

Objetivos:
- Implementar una propuesta para generar un DW automáticamente partiendo de una visión conceptual de las bases de datos (ER).
- Analizar mediante esta si MDD es viable para el área de base datos.
- Llevar a cabo este…

El sistema de ayuda de la plataforma Eclipse1 define puntos de extensión con los cuales podemos contribuir.
Uno de los aspectos menos documentados es la producción de ayuda en forma dinámica. En este artículo trataremos el uso del punto de…

En este trabajo presentamos la implementación de componentes para un plug-in de Eclipse que permite la visualización del Modelo de Byrd de depuración de programas lógicos sobre el código fuente de los programas. La depuración en el código fuente es…