La Ingeniería de Requisitos provee métodos, técnicas y herramientas para ayudar a los ingenieros a elicitar y especificar requisitos. Uno de los primeros modelos que se construye en muchos procesos de requisitos es un glosario. Por otra parte el uso…

El presente trabajo describe el desarrollo de un modelo de representación conceptual de un dominio específico, en este caso teoría de gramáticas formales y máquinas abstractas, a través del modelado ontológico, una reciente rama de la inteligencia artificial.
Este desarrollo…

No hay dudas respecto de que la seguridad de las aplicaciones web es un tema de interés actual y cotidiano. Las complejas y sensibles funcionalidades de las actuales aplicaciones web ha movido el perímetro de seguridad de las organizaciones, y…

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…

El análisis de seguridad diseñado se basa en ejecución simbólica, un paradigma en el cual se simula la ejecución del programa usando valores simbólicos en las variables.
El efecto de analizar un comando del lenguaje se modela a través de…

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

Descripción completa.

Descripción completa.

Descripción completa.

Descripción completa.