Formal methods for the analysis of security protocols
Tesis doctoral de María De Los Llanos Tobarra Abad Los sistemas informáticos que aparecen en la actualidad se encuentran orientados […]
Tesis doctoral sobre Ciencia de los ordenadores
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Bolómetros centelleadores para búsqueda de materia oscura
Tesis doctoral de Lidia Carmen Torres Ferrández La presente memoria es fruto de la colaboración rosebud (rare object search with
Performance of scheduling policies and networks in generalized adversarial queueing models
Tesis doctoral de Christopher Thraves Caro Esta tesis estudia problemas generados en redes de colas haciendo un analisis de peor
Una teoría para el desarrollo software construida mediante técnicas y modelos de gestión del conocimiento
Tesis doctoral de María Aurora Martínez Rey En esta tesis se muestra y demuestra, cómo la ecuación fundamental del conocimiento,
Conceptual schemas generation from organizacional model in an automatic software production process.
Tesis doctoral de Alicia Martínez Rebollar Actualmente, la ingeniería de software ha propuesto múltiples técnicas para mejorar el desarrollo de
Crash recovery with partial amnesia failure model issues.
Tesis doctoral de Rubén De Juan Marín Replicated systems are a kind of distributed systems whose main goal is to
A service-oriented approach for the i* framework
Tesis doctoral de Hugo Estrada Esquivel Nuevas áreas de aplicación como comercio electrónico, aplicaciones para provisión de servicios y computación
Tecnología del riego por aspersión estacionario, calibración y validación de un modelo de simulación
Tesis doctoral de Ruly Alberto Nin Las circunstancias económicas internacionales surgidas a raíz de los acuerdos de liberalización progresiva y
Desarrollo de un sistema ontológico para la integración de fuentes de datos heterogéneas
Tesis doctoral de Francisco Javier Rodríguez Martínez La proliferación de fuentes de datos en internet ha sido enorme en los
Cobber: un enfoque sistémico, afectivo y ontológico para el razonamiento basado en casos conversacional.
Tesis doctoral de Héctor Gómez Gauchia El enfoque conversacional del razonamiento basado en casos (ccbr) se ha propuesto como puente