1.
|
JBLIF, a tool for non-interference analysis of java and java bytecode programs Cavadini, Salvador V.
|
2.
|
Verificación modular de atomicidad en bytecode Java Multi-Thread Bavera, Francisco
|
3.
|
Aspectos computacionais do ambiente IMAGUS Raabe, André Luís Alice - Giraffa, Lúcia Maria Martins
|
4.
|
Simulador para el estudio de casos de procesamiento distribuido en tiempo real Miaton, Ivana Carla - Pesado, Patricia - De Giusti, Armando Eduardo
|
5.
|
VisualJVM: a visual tool for teaching Java technology Garrido Abenza, Pedro Pablo - Ledesma Latorre, Bernardo - Grediaga Olivo, Ángel
|
6.
|
Laboratorios virtuales y remotos basados en EJS para la enseñanza de robótica industrial Jara Bravo, Carlos Alberto - Candelas Herías, Francisco Andrés - Torres Medina, Fernando
|
7.
|
Utilización de excepciones para implementar predicados opacos en técnicas de ofuscación de código intermedio Dolz, Daniel - Parra, Gerardo
|
8.
|
Comunicación síncrona de simulaciones interactivas desarrolladas con Easy Java Simulations Jara Bravo, Carlos Alberto - Candelas Herías, Francisco Andrés - Torres Medina, Fernando - Esquembre Martínez, Francisco - Dormido Bencomo, Sebastián
|
9.
|
Herramienta de generación de procesadores de lenguajes para código móvil seguro Arroyo, Marcelo - Florio, Nicolás - Felippa, J. - Aguirre, Jorge - Gómez, Gabriela - Bavera, Francisco - Caymes Scutari, Paola - Nordio, D.
|
10.
|
Herramientas interactivas para la enseñanza de robótica Jara Bravo, Carlos Alberto - Candelas Herías, Francisco Andrés - Torres Medina, Fernando
|