The structured techniques for systems analysis and design are still the most widely known. One of the alternatives of this technique is the JAD methodology (Joint Application Design). This methodology is an improvement with respect to the existing ones -…

Electronic Government initiatives, such as seamless public services delivered at one-stop government portals, require establishing collaborative networks among public- and private-sector organizations. However, semantic interoperability problems emerge as these organizations may differ in the terms and meanings they use to…

The evaluation of metric of performance is useful in the evaluation of protocols, in the improvement of applications, in the content choice, among others. The obtaining of these metrics, it continues being a complex task because most of the time…

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…

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…

The development of languages allowing a proper handling of time is important in many areas of computer science because the capability to deal with the notions of change and time are essential to solve their problems.
In the development of…

The production of educational contents in academic environments has been traditionally developed without an integral plan which allows their adequate distribution and access. In addition, it produces effort duplication and misuse of resources. As a possible solution, this work proposes…

The main purpose of this book is to present the contents of an introductory course in databases. In this regard, one can find a number of material validity and recognized different scopes. This work is developed under the guidelines that…

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.…