Knowledge-intensive processes are widely used to recover from errors, handle exceptional cases and complaints, and to improve or adapt a process itself. In this context, evolved Business-Process Reengineering (BPR) techniques are changing to give some answers to this reality. In…

When stakeholders are geographically distributed communication presents new challenges for software engineering community. In order to improve communication between stakeholders, we have previously proposed to apply learning style models to characterise the way people interact. In this work we enhance…

In omplete information is a problem in many aspe ts of a tual environments. Further- more, in many s enarios the knowledge is not represented in a risp way. It is ommon to nd fuzzy on epts or problems with…

Semantic Web is an extension of the current web in which data contained in the web documents are machine-understandable.
On the other hand, Web Services provide a new model of the web in which sites exchange dynamic information on demand.

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…

Data base management evolved during the sixties and seventies. The evolution period was protracted. Many driving forces impacted the evolution and it is the aim of this paper to analyze these driving forces (some technical and some political) and to…

This paper shows models of data description that incorporate uncertainty like models of data extension EER, IFO among others. These database modeling tools are compared with the pattern FuzzyEER proposed by us, which is an extension of the EER model…

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…

In cases of extremely imbalanced dataset with high dimensions, standard machine learning techniques tend to be overwhelmed by the large classes. This paper rebalances skewed datasets by compressing the majority class. This approach combines Vector Quantization and Support Vector Machine…

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…