Tesis doctoral de Ismael Rodríguez Laguna

Información academica Ismael Rodríguez Laguna. Tesis donde Ismael Rodríguez Laguna ha sido autor, director o parte del tribunal.

Contractual verification of web service compositions with time constraints

Tesis doctoral de Enrique Martinez Lopez This chapter has described the state of the art of service-oriented computing (soc), the […]

anders Ravn, Enrique Martinez Lopez, Fernando Cuartero Gomez, Ismael Rodríguez Laguna, María Emilia Cambronero Piqueras, Mercedes Garcia Merayo

Algoritmos heurísticos y aplicaciones a métodos formales

Tesis doctoral de Pablo Manuel Rabanal Basalo Los algoritmos de optimización basados en búsquedas locales recorren el espacio de soluciones

Carlos Cotta Porras, David De Frutos Escrig, Gregorio Diaz Descalzo, Ismael Rodríguez Laguna, María Lourdes Araújo Serna, Pablo Manuel Rabanal Basalo

Especificación de sistemas concurrentes usando conceptos de teoría económica: sintaxis, semántica, aplicaciones y extensiones del lenguaje formal pamr

Tesis doctoral de Ismael Rodríguez Laguna El problema de la distribución de recursos computacionales entre las entidades concurrentes presentes en

Fernando Cuartero Gomez, Frutos Escrig David De, Ismael Rodríguez Laguna, Manuel Nuñez garcia, mario Bravetti, rosa Cavalli ana