|
1.
|
Verificación estática de confidencialidad en un sistema de múltiples niveles de seguridad basado en Java bytecode Medel, Ricardo - Martínez Spessot, Cesar Ignacio - Vázquez, Juan C. - Giagante, Ignacio
|
|
2.
|
Implementación de componentes multi-propósito y un entorno de desarrollo Ortega, Alfredo - Cerra, José P. - Rosanigo, Zulema Beatriz - Bramati, Pedro - Paur, Alicia Beatriz
|
|
3.
|
Creación de software de análisis estadístico del tráfico de internet aplicable a una red de área local Ortega Álvarez, Galo Efrén - Velasco Rivera, Saulo Ismael - Calderón Hinojosa, Xavier Alexander
|
|
4.
|
Implementación de una aplicación para la administración de citas médicas utilizando dispositivo móvil Gellibert Merchán, Grace Alexandra - González Zamora, Javier Eduardo - Morales Peña, Guillermo Arturo
|
|
5.
|
Laboratorios virtuales y remotos basados en EJS para la enseñanza de robótica industrial Jara Bravo, Carlos Alberto - Candelas Herías, Francisco Andrés - Torres Medina, Fernando
|
|
6.
|
JavaVis: instalación Cazorla Quevedo, Miguel Ángel
|
|
7.
|
JavaVis: una librería para visión artificial en Java Cazorla Quevedo, Miguel Ángel - Colomina Pardo, Otto - Compañ Rosique, Patricia - Escolano Ruiz, Francisco - Zamora, José Luis
|
|
8.
|
JavaVis: funciones Cazorla Quevedo, Miguel Ángel
|
|
9.
|
Unidad 7. Reflexión (curso 2011-2012) Ponce de León Amador, Pedro José
|
|
10.
|
Verificación modular de atomicidad en bytecode Java Multi-Thread Bavera, Francisco
|
