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 concept of “approximate” searching has applications in a vast number of fields. Some examples are non-traditional databases (e. g. storing images, fingerprints or audio clips, where the concept of exact search is of no use and we search instead…

Software engineering has entered a new era, the Internet and its associated technologies require a different conceptual framework for building and understanding software solutions.
Users ask to develop applications more rapidly, and software engineers need to ensamble systems from preexisting…

Today, one of the main challenges of the Business-to-Business (B2B) E-Commerce solutions is to improve the business processes that organizations carry out with their suppliers and customers. B2B relationships require the management of public business processes, which span the organizational…