Manipulating and retrieving multimedia data has received increasing attention with the advent of cloud storage facilities. The ability of querying by similarity over large data collections is mandatory to improve storage and user interfaces. But, all of them are expensive…

This paper describes an approach to On Line Analytical Processing (OLAP), expresed in the declarative programming paradigm.
We define a collection of functions that capture some of the functionality currently provided by multidimensional database product. This is done by defining…

La obtención de conocimiento a partir de la información existente es un proceso no trivial que consiste en identificar patrones válidos, novedosos, potencialmente útiles y comprensibles a partir de los datos disponibles. La Minería de Datos es el área de…

The software architecture role in agile methodologies is not sufficiently documented or formalized by means of a process consistent with the philosophy. The current work’s contributions are: 1) Defining guidelines to implement architecture practices in an agile way and so…

Ressenya del seminari organitzat l'abril del 2006, en el marc de la càtedra UNESCO d'E-learning de la UOC, sobre les anomenades aplicacions Web 2.0 i les noves maneres de treballar en el camp de la recerca, l'educació i la difusió…

Ressenya del seminari organitzat l'abril del 2006, en el marc de la càtedra UNESCO d'E-learning de la UOC, sobre les anomenades aplicacions Web 2.0 i les noves maneres de treballar en el camp de la recerca, l'educació i la difusió…

The paper presents a case study illustrating a collaborative problem solving process in Virtual Communities of Practice. The process relies on the existence of an underlying shared knowledge base – a repository of resources, and is carried out collaboratively by…

Today software solutions are often modeled using UML. Design patterns are frequently instantiated within these particular solutions. However, in several situations, UML is not expressive enough to describe them properly.
UML profiles extend UML syntax and semantic in order to…

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…

Generally, the interactivity provided by web applications is carried out through surfing, as a result of a server’s response at the request of a workstation. This is an essential characteristic of this type of software, although in some circumstances it…