The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
This paper briefly presents the ISA project that addresses the issue of how argumentation processes can be supported by providing textual information from document databases. The ...
: Dealing with context information is an important concern for mobile service computing. However, modern frameworks and programming languages do not directly support context-depend...
Abstract. Typically each voter contributes with one vote for an election. But there are some elections where voters can have different weights associated with their vote. In this p...
Abstract: Although immense efforts have been invested in the construction of hundreds of learning object repositories, the degree of reuse of learning resources maintained in such ...