1.
|
Selección de un método formal de especificación como herramienta de diseño de un sistema distribuido basado en objetos. Gómez González, Raúl - Monge Anwandter, Raúl
|
2.
|
Un proyecto de construcción de software de aplicación para ser desarrollado en los primeros años de una carrera de Ciencias de Computación: Un sistema de cruzamiento de encuestas Aguirre, Jorge - Medel, Ricardo
|
3.
|
Investigación básica y aplicada en bases de datos deductivas Liberatori, Héctor - Paganini, José Humberto - González, C. - Figueroa, Sebastián Marcos - Tejerina, Mario - Vega, Ariel - Castillo, C. - Battezzati, V.
|
4.
|
Minería de datos aplicada a la conservación ex situ de recursos fitogenéticos de San Juan Fernández, Karina - Meglioli, Carola - Klenzi, Raúl O.
|
5.
|
Análisis de incidentes informáticos usando modelos de asociación y métodos del análisis de satos multivariante García, Alejandro - Corso, Cynthia Lorena - Gibellini, Fabián - Rapallini, Marcos
|
6.
|
Sincronización de datos entre aplicaciones sobre redes móviles Borda Luciani, Fabricio Damián - Gagliardi, Edilma Olinda - Hernández Peñalver, Gregorio
|
7.
|
Sistemas inteligentes que promuevan el aprendizaje colaborativo soportado por computadoras Méndez, Analía - Costaguta, Rosanna - Menini, María de los Ángeles - Missio, Daniela - Fares, Rubén - Roldán, Aldo - Ozán, Victor - Miranda, Ricardo - Budán, Maximiliano
|
8.
|
Reglas de predicción aplicables al diseño de un curso de computación Grossi, María Delia - Lanzarini, Laura Cristina
|
9.
|
Indexación de objetos en movimiento sobre redes móviles Gagliardi, Edilma Olinda - Giraudi, Daniela Carolina - Segura Guzmán, Gabriela Soledad - Hernández Peñalver, Gregorio
|
10.
|
Towards the verification of RAISE specifications through Model Checking Perna, Juan Ignacio - George, Chris W.
|