Arquitectura de computadores de reduccion
Tesis doctoral de Mañas Argemi José Antonio El trabajo presenta un modelo de arquitectura para la reducion de programas escritos […]
Tesis doctoral de Mañas Argemi José Antonio
Información academica Mañas Argemi José Antonio. Tesis donde Mañas Argemi José Antonio ha sido autor, director o parte del tribunal.
Detección de intrusiones en redes basada en anomalías mediante técnicas de modelado de protocolos
Tesis doctoral de Juan Manuel Estevez Tapiador El trabajo de tesis doctoral presentado en esta memoria supone una contribución a
Metodología para la incorporación de medidas de seguridad en sistemas de información de gran implantación: confianza dinámica distribuida y regulación del nivel de servicio para sistemas y protocolos de internet
Tesis doctoral de Muñoz Esteban Juan Jesús Los orígenes de internet y su propio talante han conducido a un modelo
Contribucion a la formalizacion de la fase de ejecucion de pruebas.
Tesis doctoral de Huecas Fernandez Toribio Gabriel En el campo de la ingenieria de protocolos es fundamental el papel que
Diseño y verificacion de sistemas en lotos
Tesis doctoral de Martin Llamas Nistal Lotos (lenguage of temporal ordering specificaction) es una tecnica de descripcion formal desarrollada para
Arquitectura de programas a partir de especificaciones formales
Tesis doctoral de Joaquin Salvachua Rodriguez Lotos es un lenguaje de especificacion para la descripcion de protocolos entre sistemas abiertos.
Uso de tecnicas formales para el diseño de protocolos de comunicaciones
Tesis doctoral de Tomas Robles Valladares Los protocolos que se desarrollan para las nuevas redes de comunicaciones son cada vez