Evolucion del software: una formalizacion basada en logica temporal de predicados y redes de petri coloreadas
Tesis doctoral de Rodriguez Fortiz M. Jose Se utilizan dos formalismos: las redes de petri coloreadas (rdpc) y la lógica […]
Tesis doctoral sobre Informatica
Accede a todas las tesis doctorales sobre Informatica mas relevantes.
«an approach to component-based performance engineering using an object-oriented performance modelling technique»
Tesis doctoral de Nuncio Nicolo Savino Vázquez Esta investigación presenta la definición formal de opmt (objet-oriented performance modelling technique) así
Agra: sistema de distribucion de objetos para un sistema distribuido orientado a objetos soportado por una máquina abstracta.
Tesis doctoral de Fernando álvarez García Esta tesis describe la forma en que se pueden utilizar las tecnologías orientadas a
Function-described graphs for structural pattern recognition
Tesis doctoral de Francesc Serratosa Casanelles Datos académicos de la tesis doctoral «Function-described graphs for structural pattern recognition« Título
Descripcion de escenas de exteriores a partir de un aprendizaje supervisado de las caracteristicas mas significativas de los objetos
Tesis doctoral de Jordi Freixenet Bosch Esta tesis presenta un nuevo metodo de descripcion de escenas exteriores basado en una
Metodos iterativos paralelos para la resolucion de sistemas lineales hermiticos y definidos positivos.
Tesis doctoral de Castel De Haro M. Jesús Esta memoria se ha centrado en dos grandes e importantes grupos de
Algoritmos iterativos paralelos para la resolución de sistemas no lineales
Tesis doctoral de Josep Arnal Garcia En la actualidad,la computación paralela es un área de intensa actividad investigadora. Especialmente útil
Un nuevo algoritmo para la modelizacion de sistemas altamente estructurados
Tesis doctoral de Monica Cortes Molina Este proyecto se basa en la construcción de un nuevo software, en lenguaje c,
Sahara: arquitectura de seguridad integral para sistemas de agentes moviles basados en java.
Tesis doctoral de Perez Diaz Jesús Arturo Esta tesis describe una arquitectura de seguridad para proteger a un sistema de
Identificacion del arma y la municion utilizadas en un disparo con tecnicas conexionistas
Tesis doctoral de Angelica González Arrieta En este trabajo presentamos un primer tratamiento de la identificación de las armas y/o