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…

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…

Se presenta una línea de investigación del Proyecto de la Facultad de Ingeniería de la Universidad de Buenos Aires I015: Manufactura Integrada por Computadora en Sistemas Complejos para el Desarrollo Social, Industrial y de Tecnología.
Se introduce conceptos básicos 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…

Las bases de datos clásicas se organizan basándose en el concepto de búsqueda exacta sobre datos estructurados, capturando sólo un estado de la realidad modelizada. Actualmente las bases de datos han incluido la capacidad de almacenar otro tipos de datos…

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

Con la evolución de las tecnologías de información y comunicación, han surgido almacenamientos no estructurados de información. No sólo se consultan nuevos tipos de datos tales como texto libre, imágenes, audio y vi deo; sino que adem´as, en algunos casos,…

Sumario:
1- Introducción
2- Revisión bibliográfica
3- Etapas y características de un proceso de análisis de datos en un monitor de rendimiento
4- Arquitectura de la estrategia de análisis de datos
5- Instancia de la…

Los datos multimedia son cada vez más comunes en las aplicaciones actuales, siendo tanto o más importante no sólo contar con la información textual, sino con la imagen que la representa.
Estas aplicaciones que trabajan con distintos tipos de media:…

Una aplicación distribuida está compuesta por un conjunto de procesos. Los procesos pueden cooperar para realizar una tarea o competir por la utilización de un recurso.
Un proceso cooperativo es aquel que puede afectar o ser afectado por otros procesos…