Curso "Web Development 2" sobre programación web con PHP para el "Máster doble competencia en ciencias informáticas y ciencias sociales" ("Master double competence in computer science and social science")., Proyecto TEMPUS JEP – 26235-2005.

The great advance of the communications and the importance gained by the mobile systems have increased the development of WAP (Wireless Application Protocol) applications, nevertheless at the present time do not exist methodologies specifically designed for the WAP applications development…

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…

We present point slicing, a new slicing technique for imperative programs that gives an answer to the question Which sentences can be executed if sentence p is executed?, very common in program testing, debugging, and understanding tasks and, as far…

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…

Most information in science, engineering and business has been recorded in form of text. This information can be found online in the World-Wide-Web. One of the major tools to support information access are the search engines which usually use information…

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…

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…

This paper focuses on prediction and prevention of seismic risk through a system for decision making. Data Warehousing and OLAP operations are applied, together with, data mining tools like association rules, decision trees and clustering to predict aspects such as…