Desplegado de programas lógicos difusos
Tesis doctoral de Jaime Penabad Vázquez El objetivo general de esta tesis es la introducción de un conjunto de transformaciones, […]
Tesis doctoral de Fernando Cuartero Gomez
Información academica Fernando Cuartero Gomez. Tesis donde Fernando Cuartero Gomez ha sido autor, director o parte del tribunal.
High performance computing applied to nonlinear time series analysis
Tesis doctoral de Ismael Marin Carrion Many applications of science and engineering, e.G. In physics, biology, economics or meteorology, are
Entendiendo las semánticas de procesos
Tesis doctoral de Carlos Gregorio Rodriguez En las investigaciones seguidas para la consecución de la tesis, fundamentalmente se ha buscado
Applications of formal methods to performance evaluation
Tesis doctoral de Fernando Lopez Pelayo En esta tesis se presenta un modelo teórico para validar características cualitativas y cuantitativas
Description and verification of multimedia systems and web services with time constraints
Tesis doctoral de María Emilia Cambronero Piqueras Esta tesis aborda el análisis de diversos sistemas de tiempo real utilizando para
Limitacion de recursos en paralelismo real
Tesis doctoral de Ruiz Delgado María Carmen La tesis doctoral objeto de este informe se enmarca dentro de la utilización
Applying and developing formal techniques in the design of ecommerce oriented web services with strong time constraints
Tesis doctoral de Gregorio Diaz Descalzo A partir del año 2000 todas las tecnologías relacionadas con internet, la red de
Semanticas para álgebras de procesos estocásticos no markovianos
Tesis doctoral de Natalia López Barquilla En esta tesis se ha realizado un estudio de semánticas para álgebras de procesos
Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción tableau para su aplicación en comprobación de modelos on-the-fly
Tesis doctoral de Hornos Barranco Miguel Juan Este trabajo constituye el punto de partida para la verificación automática de sistemas
Diseño y evaluación de un entorno software para el procesamiento distribuido de imágenes de teledetección aplicado a sistemas de información geográfica.
Tesis doctoral de José Antonio Gallud Lázaro Cuando un equipo de desarrollo software se enfrenta al reto de generar una
