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…

Se hace la segunda revisión de las 13 especies mexicanas integrantes del ensamble específico Frankliniella paricutinensis Johansen. También se incluye la descripción de una especie nueva afín a este ensamble específico encontrada en agroecosistemas de cebolla Allium cepa L. en…

Using COTS software promises faster time-to-market, which can yield substantial advantages over competitors with regards to earlier placement of a new product on a market. At the same time, component-based software introduces risks, such as unknown quality properties of the…

Data mining is at the core of the knowledge discovery process. However, an initial preprocessing step is crucial for assuring reliable results within this process. Preprocessing of data is a time-consuming and non-trivial task since data quality issues should be…

DATA QUALITY IS DEGRADED DURING THE PROCESS OF EXTRACTING AND MERGING DATA FROM MULTIPLE HETEROGENEOUS SOURCES. BESIDES, USERS HAVE NO INFORMATION REGARDING THE QUALITY OF THE ACCESSED DATA. THIS DOCUMENT PRESENTS THE METHODS UTILIZED TO ASSESS DATA QUALITY AT MULTIPLE…

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…

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…

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…