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…

La Automatización de Oficinas es un área importante de las aplicaciones en Ciencias de la Computación, en la cual los avances tecnológicos (velocidad de procesamiento, comunicaciones, periféricos, capacidad de memoria, etc.) produjeron grandes cambios en los últimos años.
La modelización…

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 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…

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…

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…

Dentro de los desarrollos de software empresarial, uno de los principales actores continúan siendo las aplicaciones cliente/servidor construidas sobre J2EE. La estabilidad de esta tecnología y la capacidad de usar dichas aplicaciones en el escenario Internet/Intranet, usando tanto clientes java…

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…

Sumario:
1- Introducción
2- Definiciones generales de bases de datos
3- Modelos y técnicas para el control de la concurrencia
4- MVCC: Control de Concurrencia Multiversión
5- Niveles de aislamiento
6- Aplicación Lectores/Escritores