Tesis Ing. Inf.

Browse by

By Issue Date Authors Titles Subjects

Recent submissions

Learning for Optimization with Virtual Savant

Massobrio, Renzo (2021-05-25)
Processing Heterogeneous Data in the Internet of Things

Corral Plaza, David José (2021-03-08)
Análisis de eventos para evaluar competencias en experiencias de aprendizaje basadas en serious games

Caballero Hernández, Juan Antonio (2020-11-13)
Método para el diseño, despliegue y evaluación de escenarios educativos extendidos usando programación visual

Mota Macías, José Miguel (2020-07-24)
Generación Automática de Casos en Procesamiento de Eventos con EPL

Gutiérrez Madroñal, Lorena (2017-03-10)
Prueba de Mutación Evolutiva en Entornos Orientados a Objetos

Delgado Pérez, Pedro (2017-04-21)
Evaluación de competencias genéricas basada en indicadores procedentes de registros de actividades de aprendizaje

Balderas Alberico, Antonio (2016-07-27)
Event-driven Principles and Complex Event Processing for Self-adaptive Network Analysis and Surveillance Systems

Gad, Ruediger (2015-11-04)
Aplicación de la prueba de mutaciones a composiciones de servicios web en WS-BPEL para la generación de casos de prueba de calidad

Estero Botaro, Antonia (2013-11-25)
Integrating Extra-Functional Properties in Model-Driven Web Service Development

Ortiz Bellot, Guadalupe (2007-04-12)
Un framework para el despliegue y evaluación de procesos software

Ruiz Rube, Iván (2014-01-10)
Caracterización experimental y modelado del canal de propagación inalámbrico a 5.8 GHz en entornos marinos

Reyes-Guerrero, J.C. (2013-06-24)
Sistemas integrados de la navegación mediante redes locales inalámbricas

Mariscal Rico, Luis Antonio (2001-01-01)
Investigaciones sobre gramáticas categoriales: Algoritmos de parsing y equivalencia entre formalismos

Jiménez Millán, José Antonio (2003-01-01)
Verificación formal en ACL2 del algoritmo de Buchberger

Medina Bulo, María Inmaculada (2003-01-01)
Generación dinámica de invariantes para composiciones de servicios web en WS-BPEL

Palomo Duarte, Manuel (2011-08-22)
Búsquedas Genéticas: Métodos de optimización global y optimización combinatoria

Domínguez Jiménez, Juan José (2010-02-10)

Tesis Ing. Inf.

Browse by

Recent submissions

Learning for Optimization with Virtual Savant ﻿

Processing Heterogeneous Data in the Internet of Things ﻿

Análisis de eventos para evaluar competencias en experiencias de aprendizaje basadas en serious games ﻿

Método para el diseño, despliegue y evaluación de escenarios educativos extendidos usando programación visual ﻿

Generación Automática de Casos en Procesamiento de Eventos con EPL ﻿

Prueba de Mutación Evolutiva en Entornos Orientados a Objetos ﻿

Evaluación de competencias genéricas basada en indicadores procedentes de registros de actividades de aprendizaje ﻿

Event-driven Principles and Complex Event Processing for Self-adaptive Network Analysis and Surveillance Systems ﻿

Aplicación de la prueba de mutaciones a composiciones de servicios web en WS-BPEL para la generación de casos de prueba de calidad ﻿

Integrating Extra-Functional Properties in Model-Driven Web Service Development ﻿

Un framework para el despliegue y evaluación de procesos software ﻿

Caracterización experimental y modelado del canal de propagación inalámbrico a 5.8 GHz en entornos marinos ﻿

Sistemas integrados de la navegación mediante redes locales inalámbricas ﻿

Investigaciones sobre gramáticas categoriales: Algoritmos de parsing y equivalencia entre formalismos ﻿

Verificación formal en ACL2 del algoritmo de Buchberger ﻿

Generación dinámica de invariantes para composiciones de servicios web en WS-BPEL ﻿

Búsquedas Genéticas: Métodos de optimización global y optimización combinatoria ﻿

Learning for Optimization with Virtual Savant

Processing Heterogeneous Data in the Internet of Things

Análisis de eventos para evaluar competencias en experiencias de aprendizaje basadas en serious games

Método para el diseño, despliegue y evaluación de escenarios educativos extendidos usando programación visual

Generación Automática de Casos en Procesamiento de Eventos con EPL

Prueba de Mutación Evolutiva en Entornos Orientados a Objetos

Evaluación de competencias genéricas basada en indicadores procedentes de registros de actividades de aprendizaje

Event-driven Principles and Complex Event Processing for Self-adaptive Network Analysis and Surveillance Systems

Aplicación de la prueba de mutaciones a composiciones de servicios web en WS-BPEL para la generación de casos de prueba de calidad

Integrating Extra-Functional Properties in Model-Driven Web Service Development

Un framework para el despliegue y evaluación de procesos software

Caracterización experimental y modelado del canal de propagación inalámbrico a 5.8 GHz en entornos marinos

Sistemas integrados de la navegación mediante redes locales inalámbricas

Investigaciones sobre gramáticas categoriales: Algoritmos de parsing y equivalencia entre formalismos

Verificación formal en ACL2 del algoritmo de Buchberger

Generación dinámica de invariantes para composiciones de servicios web en WS-BPEL

Búsquedas Genéticas: Métodos de optimización global y optimización combinatoria