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.
|
Proyecto ATM simulator Álvarez, Jerónimo - Canabal, Alberto - Baher, Arya
|
4.
|
Implementación de un laboratorio virtual para el estudio de dispositivos electrónicos Ibarra B., Carlos Andrés - Medina S., Sebastián - Bernal N., Álvaro
|
5.
|
Estudio y desarrollo de software para la gestión y aprobación electrónica de documentos en el registro individual de contratos dentro del Ministerio de Relaciones Laborales - Dirección Regional de Trabajo del Austro Morocho Minchala, Henry Paúl - Arévalo Noriega, Pablo José
|
6.
|
AnaBench: a Web/CORBA-based workbench for biomolecular sequence analysis Badidi, Elarbi - De Sousa, Cristina - Lang, Franz Bernd - Burger, Gertraud
|
7.
|
VisualJVM: a visual tool for teaching Java technology Garrido Abenza, Pedro Pablo - Ledesma Latorre, Bernardo - Grediaga Olivo, Ángel
|
8.
|
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
|
9.
|
Utilización de excepciones para implementar predicados opacos en técnicas de ofuscación de código intermedio Dolz, Daniel - Parra, Gerardo
|
10.
|
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
|