1.
|
Metodologia para validar IPS’s de código-fonte aberto Trentin, Marco Antônio S - Linden, Gustavo S - Zandoná, Tomás Damo
|
2.
|
Herramientas CASE para la validación de modelos UML a través de invariantes OCL Pesce, Pablo - Pons, Claudia
|
3.
|
Espacios de búsquedas geométricamente separables Gagliardi, Edilma Olinda - Hernández Peñalver, Gregorio
|
4.
|
Preservación de consultas expresables en fragmentos existenciales en bases de datos relacionales Grosso, Alejandro - Turull Torres, José María
|
5.
|
Métodos de acceso por similitud Chávez, Edgar - Herrera, Norma Edith - Ruano, Carina - Villegas, Ana
|
6.
|
Utilización de extensiones de lógica de primer orden para la computación de queries en problemas de redes Gagliardi, Edilma Olinda - Maldocena, P. - Reyes, Nora Susana
|
7.
|
Protocolos utilizando Memoria Compartida Cenci, Karina M. - Ardenghi, Jorge Raúl
|
8.
|
Un paquete para cálculos en reticulados Ferraro, Sebastián J. - Cimadamore, Cecilia R.
|
9.
|
Descubrimiento incremental de las reglas de asociación temporales Kim, Ji Hae (Sara) - Ale, Juan María
|
10.
|
Integración de los meta-modelos de Workflow y UML Riesco, Daniel Eduardo - Acosta, Edgardo - Uva, Marcelo - Grando, Adela
|