1.
|
Verificación modular de atomicidad en bytecode Java Multi-Thread Bavera, Francisco
|
2.
|
JBLIF, a tool for non-interference analysis of java and java bytecode programs Cavadini, Salvador V.
|
3.
|
Using JOP to build a chip multiprocessor JVM for embedded realtime systems Andreotti, José Pablo A.
|
4.
|
Utilizando contratos JML para optimizar diseños orientado a objetos siguiendo MDA Uva, Marcelo - Frutos, Mariana - Gonzaléz, Ariel - Arsaute, Ariel - Daniele, Marcela - Martellotto, Paola - Zorzán, Fabio
|
5.
|
Analizador Java Inteligente López De Luise, María Daniela - Agüero, Martín Jorge
|
6.
|
Utilización de excepciones para implementar predicados opacos en técnicas de ofuscación de código intermedio Dolz, Daniel - Parra, Gerardo
|
7.
|
Uma aplicação distribuída para redes de telecomunicações utilizando as tecnologias web e CORBA Souza, Fernanda Pereira de - Notare, Mirela Sechi Moretti Anonni - Leite, Karla Cristina - Westphall, Becker Carlos
|
8.
|
Herramienta para el desarrollo y evaluación de métodos de control de congestión en TCP Rigotti, Guillermo
|
9.
|
Aplicación de gestión para estaciones de usuario basada en el estándar WBEM y su aplicación a la Red de Datos de la Universidad del Cauca Agredo Méndez, Guefry - Maya Ortiz, Natalia - Maya Ortiz, Eva Juliana
|
10.
|
Una extensión de agentes en JASON para razonar con incertidumbre: G-JASON Biga, Adrián - Casali, Ana
|