1.
|
Towards the verification of RAISE specifications through Model Checking Perna, Juan Ignacio - George, Chris W.
|
2.
|
Enfoque para la aplicación de Semantic Web Services en Sistemas Centrados en el Usuario Sanabria, Fernando Daniel - Ierache, Jorge Salvador
|
3.
|
Administración de una base de datos replicada: implementación de un protocolo de cometido en un problema real Lamberti, Ricardo Javier
|
4.
|
Implementando ayuda dinámica en la plataforma eclipse Vanrell, Juan Ángel - Vaucheret, Claudio A.
|
5.
|
Plug-in de eclipse para un Sistema Prolog de código abierto Vanrell, Juan Ángel - Vaucheret, Claudio A.
|
6.
|
Sistema de Simulación de Transformación Lluvia-Caudal (SSTLC) Rosario San Miguel, María del - Pérez, Martín - Zamanillo, Eduardo A.
|
7.
|
Computing support for virtual communities of practice Casalini, María Clara - Estevez, Elsa Clara - Janowski, Thomas
|
8.
|
Representación en memoria secundaria del trie de sufijos Ruano, Darío - Herrera, Norma Edith - Ruano, Carina - Villegas, Ana
|
9.
|
Desarrollo de aplicaciones Web utilizando herramientas FLOSS Samec, Gustavo - Mazzanti, Renato
|
10.
|
Herramientas CASE para la validación de modelos UML a través de invariantes OCL Pesce, Pablo - Pons, Claudia
|