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…

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

Worldwide, there is a well-documented crisis for bees and other pollinators which represent a fundamental biotic capital for wild life conservation, ecosystem function, and crop production. Among all pollinators of the world, bees (Hymenoptera: Apoidea) constitute the major group in…

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…

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…

An important problem in Mineralogy, is to accomplish an adequate representation of a great amount of data coming from different geological environments, in order to characterize a particular geologic region in terms of its tectonic setting. With such Databases of…

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…

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…