Metabuscador

Filtrado por:

Temas

Año

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

An extension to EMTPL
Cobo, María Laura - Falappa, Marcelo Alejandro

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The development of languages allowing a proper handling of time is important in many areas of computer science because the capability to deal with the notions of change and time are essential to solve their problems. In the development of…
Fecha:	2012-10-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Using web-site QEM to measure the quality of sites
Olsina Santos, Luis Antonio - Lafuente, Guillermo Javier - Lafuente, Gustavo - Rossi, Gustavo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In this position paper, the main steps to measure and evaluate quantitatively the quality of sites are shown. Besides, some specific models, criteria and procedures to apply in these activities are discussed by quoting case studies already performed (e.g., in…
Fecha:	2012-10-10
Recurso:	Unversidad Nacional de La Plata

Recurso libre

EMTPL and its relation to first order logic
Cobo, María Laura - Falappa, Marcelo Alejandro

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Time and change are notions that seems unavoidable in some areas of work and investigation, languages that can deal with these notions are necessary. At the same time, methods for a proper time handling are quite complex, mainly because problem’s…
Fecha:	2012-10-12
Recurso:	Unversidad Nacional de La Plata