Issues related to maternal mortality have generated a lot of empirical and theoretical information. However, despite the amount of work published on the topic, maternal mortality continues to occur at high rates and solutions to the problem are still not…

Several surveys have indicated that many data warehouses fail to meet business objectives or are outright failures. One reason for this is that requirement engineering is typically overlooked in real projects. This paper addresses data warehouse design from a business…

This work studied the effect of treatment with a high frequency ultrasound bath (40 kHz and a power of 80 W.) on the pH, foaming capacity and stability of the foam of the white of hens eggs (sample 1/120 hours…

Most of the current hypermedia model life cycles focus in analysis and design issues, ignoring crucial tasks and activities of hypermedia projects. Others do not take care of basic Software Engineering concepts such as planning, physical and logical modeling, validation…

In this paper, we present a UML profile and a group of UML patterns for documenting the component-and-connector views of software architectures [8]. They facilitate the creation of the component and connector viewtype in any UML 2.0 tool with a…

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…

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…