1.
|
EMTPL and its relation to first order logic Cobo, María Laura - Falappa, Marcelo Alejandro
|
2.
|
Towards the verification of RAISE specifications through Model Checking Perna, Juan Ignacio - George, Chris W.
|
3.
|
An argumentation framework with uncertainty management designed for dynamic environments Capobianco, Marcela - Simari, Guillermo Ricardo
|
4.
|
Design of a service-oriented architecture for federated systems Calegari, Daniel - Viera, Marcos - Motz, Regina
|
5.
|
Environment for the simulation of different ACP and error recovery in Distributed Data Bases Ruscuni, Sebastián - Bertone, Rodolfo Alfredo
|
6.
|
Using boolean circuits for the parallel computation of queries Gagliardi, Edilma Olinda - Herrera, Norma Edith - Reyes, Nora Susana - Turull Torres, José María
|
7.
|
Developing a Repository of Knowledge for virtual communities with semantic web technologies Casalini, María Clara - Estevez, Elsa Clara - Fillottrani, Pablo Rubén
|
8.
|
An analysis of the variables that provide a supply chain with sustainable competitiveness, An analysis of the variables that provide a supply chain with sustainable competitiveness, Análisis de las variables que proporcionan una competitividad sostenible de la cadena de suministro Arana-Solares, Iván A.; Tecnológico de Monterrey - Alfalla-Luque, Rafaela; University of Seville - Machuca, José A.D.; Universidad de Sevilla
|