1.
|
Moodelling of processes and formal methods Riesco, Daniel Eduardo - Montejano, Germán Antonio - Uzal, Roberto
|
2.
|
Towards the verification of RAISE specifications through Model Checking Perna, Juan Ignacio - George, Chris W.
|
3.
|
Developing a Repository of Knowledge for virtual communities with semantic web technologies Casalini, María Clara - Estevez, Elsa Clara - Fillottrani, Pablo Rubén
|
4.
|
Design of a service-oriented architecture for federated systems Calegari, Daniel - Viera, Marcos - Motz, Regina
|
5.
|
Knowledge extraction in large databases using adaptive strategies Hasperué, Waldo
|