Rewriting-based verification and debugging of web systems
Tesis doctoral de Daniel Omar Romero The increasing complexity of web system has led to the development of sophisticated formal […]
Tesis doctoral sobre Informatica
Accede a todas las tesis doctorales sobre Informatica mas relevantes.
Metodología para la sistematización de los servicios de consultoría ti. aplicación al sector de la manufactura
Tesis doctoral de Carlos Ramón López Paz Esta memoria de tesis doctoral presenta una metodología para la sistematización de los
Modelo para la difusión proactiva de información en sistemas distribuidos basado en enfoques epidémicos. aplicación a los sistemas de gestión de red.
Tesis doctoral de Yudivián Almeida Cruz En la presente investigación se propone un modelo para la difusión proactiva de información
A middleware framework for self-adaptive large scale distributed services
Tesis doctoral de Pablo Chacín Martínez Las aplicaciones orientadas a servicios modernas demandan la capacidad de adaptarse a condiciones variables
Técnicas de automatización web para fuentes de la web 2.0
Tesis doctoral de Paula Montoto Castelao La mayoría de las fuentes web al ser diseñados para ser fácilmente utilizados por
Business process-based requirements specification and object-oriented conceptual modelling of information systems
Tesis doctoral de José Luis De La Vara González Two of the main needs when developing an information system for
Design space exploration for networks on-chip
Tesis doctoral de Francisco Gilabert Villamón Multi-core designs are becoming a more and more popular solution to most of the
Gestión de procesos sobre una arquitectura orientada a servicios en repositorios de objetos de aprendizaje
Tesis doctoral de Manuel Marco Such Tesis realizado por compendio de publicaciones en la que se aborda la creación de
Combinación de sistemas mediante aprendizaje automático en tareas de procesamiento de lenguaje natural
Tesis doctoral de Fernando Enriquez De Salamanca Ros En el área del procesamiento del lenguaje natural (pln) existen muchas tareas
Functional size measurement and model verification for software model-driven developments: a cosmic-based approach
Tesis doctoral de Beatriz Mariela Marín Campusano Historically, software production methods and tools have a unique goal: to produce high