Metabuscador

Filtrado por:

Temas

Recursos

Año

Aproximadamente 3 registro(s) hasta el momento: (datos)

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Computing support for virtual communities of practice
Casalini, María Clara - Estevez, Elsa Clara - Janowski, Thomas

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	This document describes a research and development project - Semantic Web and Cooperative Problem Solving for Online Communities of Practice. The aim of the project is to build a system supporting Cooperative Problem Solving within the framework of online Communities…
Fecha:	2012-09-11
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Towards the verification of RAISE specifications through Model Checking
Perna, Juan Ignacio - George, Chris W.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal. In particular, the usage of Model Checking in formal languages…
Fecha:	2012-09-11
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Messaging infrastructure for Electronic Government: background, rationale, objectives
Estevez, Elsa Clara - Janowski, Thomas - Fillottrani, Pablo Rubén

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Electronic Government applications aim to deliver efficient, seamless, customer-focused services to the public using various distribution channels. One of challenges in building such applications is the requirement to rely upon preexisting, often heterogeneous government applications. In order to enable communication…
Fecha:	2012-09-11
Recurso:	Unversidad Nacional de La Plata