Contribucion a la fase de prueba de sistemas concurrentes y distribuidos mediante tecnicas de descripcion formal
Tesis doctoral de Juan Carlos Burguillo Rial El objetivo de esta tesis es analizar y formalizar nuevas tecnicas para mejorar […]
Tesis doctoral sobre Informatica
Accede a todas las tesis doctorales sobre Informatica mas relevantes.
Modelos de interaccion lateral en computacion acumulativa para la obtención de siluetas
Tesis doctoral de Antonio Fernandez Caballero El trabajo objeto de esta tesis doctoral consiste en el estudio, diseño y realización
Hidra: una arquitectura para alta disponibilidad en sistemas distribuidos. soporte a objetos.
Tesis doctoral de Pablo Galdamez Saiz Debido al abaratamiento de los ordenadores, al continuo aumento de la velocidad y fiabilidad
Sistema experto docente
Tesis doctoral de Marhuenda García Marco Antonio Sistema de docencia virtual de código abierto implementado sobre linux que mejora los
Un sistema eficiente de planificación de trayectorias en entornos cerrados grandes para robots movieles y sistemas agvs (automated guided vehicles)
Tesis doctoral de Daniel Cagigas Muñiz La memoria presenta en primer lugar una introducción a la robótica móvil y a
Enhancing collaborative learning using a simulated student agent
Tesis doctoral de Aurora Vizcaíno Barceló Datos académicos de la tesis doctoral «Enhancing collaborative learning using a simulated student
Midea; una metodología para el desarrollo de almacenes de datos
Tesis doctoral de José María Cavero Barca Los almacenes de datos (datawarehouses) surgen ante la necesidad por parte de las
Sistema de gestión de interfaces de usuario auto-adaptables basado en componentes, tecnología de objetivos y agentes analizadores de patrones de comportamiento.
Tesis doctoral de González Rodríguez Bernardo Martín La adaptaciónde aplicaciones informáticas a las necesidades cognitivas, perceptivas o motoras concretas de
«double pushout transformation of algebras»
Tesis doctoral de Merce Llabres Segura La transformación de pushout doble (dpo) de grafos, introducida a principios de los años
Calidad de servicios en sistemas multimedia empotrados mediante gestión dinámica de recursos
Tesis doctoral de M. Soledad García Valls Los sistemas multimedia son un tipo de sistemas de tiempo real no crítico