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…

Los servicios basados en la Web ya se han convertido en una herramienta más en la vida de la mayoría de las personas. En la actualidad por ejemplo se utiliza la Web para pagar servicios, comprar artículos o escuchar programas…

En este trabajo se discuten técnicas de mapeo automático de tareas concurrentes a procesadores, mediante el análisis del grafo de relación entre tareas, en el que se incorporan los tiempos de procesamiento y comunicación.
Partiendo de un primer análisis en…

El proyecto tiene como objetivo evaluar distintas herramientas FLOSS, definir una arquitectura de software para el desarrollo de aplicaciones Web y realizar un desarrollo aplicando las herramientas y arquitectura seleccionada.
Actualmente existen varios proyectos de ley que fomentan la utilización…

Este trabajo tiene como objetivo la presentación de un caso de aplicación relacionado con la minería web, más específicamente a la minería de uso web. En él se expone una metodología para la aplicación de la minería de uso web,…

Se presentan los resultados parciales de una investigación a partir de una experiencia en un Entorno Virtual de Aprendizaje (EVA) en el ámbito de la Facultad de Ingeniería de la Universidad Nacional de Lomas de Zamora. Se recogen los vestigios…

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

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…

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…

Objetivo del trabajo:
Diseñar y desarrollar artefactos de software que permitan:
- Generar metadatos desde una tabla existente en la base de datos.
- Modificar dichos metadatos, de manera tal que se puedan explicitar relaciones entre ellos y estilos de…