Metabuscador

Filtrado por:

Temas

Recursos

Año

Aproximadamente 2 registro(s) hasta el momento: (base de datos)

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Taking advantages of ontology and contexts to determine similarity of data
Buccella, Agustina - Cechich, Alejandra - Rodríguez Brisaboa, Nieves

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Data integration is the process of unifying data sharing some common semantics but are originated from unrelated sources. In our work we consider these sources are autonomous, heterogeneous and they are physically distributed. These three characteristics make the integration task…
Fecha:	2012-10-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