1.
|
Análisis modular y recuperación de contraejemplos en TACO Alborodo, Raúl - Ricci, Nicolás - Galeotti, Juan P. - Aguirre, Nazareno Matías
|
2.
|
Web services Pavan, Willingthon - Agnol, Giovani Dall
|
3.
|
Utilización de excepciones para implementar predicados opacos en técnicas de ofuscación de código intermedio Dolz, Daniel - Parra, Gerardo
|
4.
|
Sistema inteligente para gerenciamento da colheita do mexilhão perna perna (Linné, 1758) Fernandes, Anita Ma. da Rocha - Ramos, Cássio Veiga
|
5.
|
Reasoning module interface design considerations Stankevicius, Alejandro G.
|
6.
|
Um estudo sobre métodos de pesquisa utilizados em segurança computacional - Criptografia Introdução Ribeiro, V. G.
|
7.
|
JavaLog: una integración de objetos y lógica para la programación de agentes Zunino, Alejandro - Amandi, Analía - Iturregui, Ramiro
|
8.
|
JEDI: An interactive interpreter for JAVA Rodrigues, Hermann Oliveira - Camarão, Carlos
|
9.
|
Verificación modular de atomicidad en bytecode Java Multi-Thread Bavera, Francisco
|
10.
|
Mecanismos de suporte ao escalonamento em sistemas com objetos distribuídos Java Geyer, Cláudio Fernando Resin - Silva, Luciano da - Augustin, Iara - Yamin, Adenauer - Araujo, Edvar Bergmann
|