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.
|
Análisis modular y recuperación de contraejemplos en TACO Alborodo, Raúl - Ricci, Nicolás - Galeotti, Juan P. - Aguirre, Nazareno Matías
|
3.
|
Docencia asistida por ordenador en infografía Perales Lopez, Francisco José - Yániz, C.
|
4.
|
Métricas de Performance en Administración de BDD en redes LAN y WAN Bertone, Rodolfo Alfredo
|
5.
|
Transmisión progresiva por Internet de modelos topográficos texturados Abásolo Guerrero, María José - De Giusti, Armando Eduardo - Blat Gimeno, Josep
|