At present the business processes have temporary requirements within their specifications. Logistics, e-commerce, are examples of these, among others. The time involved in business processes is important regarding the interaction of the actors. The sound of the technology involved in…

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…

Since huge amounts of spatial data can be easily collected from various applications, ranging from remote sensing technology to geographical information system, the extraction and comprehension of spatial knowledge is a more and more important task. Many excellent studies on…

The genetic algorithms have seen applied in knowledge discovery and specially for discovering association rules. In this paper, we explore the use of di erent rule quality measures in the tness function in a genetic algorithm for discovering association rules.…

With the growing complexity of window based software and the use of object-oriented, the development of software is getting more complex than ever. Based on that, this article intends to present a methodology for software documentation and to analyze our…

It is commonly said that a pattern has four essential parts: a statement of the context where the pattern is useful, the problem that the pattern addresses, the forces that play in forming a solution, and the solution that resolves…

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…