1.
|
Computing support for virtual communities of practice Casalini, María Clara - Estevez, Elsa Clara - Janowski, Thomas
|
2.
|
EMTPL and its relation to first order logic Cobo, María Laura - Falappa, Marcelo Alejandro
|
3.
|
Ontologies for the semantic web Vallés, María Clara - Fillottrani, Pablo Rubén
|
4.
|
Towards the verification of RAISE specifications through Model Checking Perna, Juan Ignacio - George, Chris W.
|
5.
|
Messaging infrastructure for Electronic Government: background, rationale, objectives Estevez, Elsa Clara - Janowski, Thomas - Fillottrani, Pablo Rubén
|
6.
|
An extension to EMTPL Cobo, María Laura - Falappa, Marcelo Alejandro
|