: In this paper, we present an agent-based approach for the improvement of searching in an ontology-based knowledge management system. The system implements a libraryscenario in wh...
Abstract. eDemocracy aims to increase participation of citizens in democratic processes through the use of information and communication technologies. In this paper, an architectur...
A development of the Mondex system was undertaken using Event-B and its associated proof tools. mental approach was used whereby the refinement between the abstract specification o...
: An operational Air Surveillance System shall generate a stable and reliable air picture. In dense target situations the quality of available sensor data is reduced. System models...
Multi-agent System Product Lines (MAS-PLs) have emerged to integrate software product lines (SPLs) and agent-oriented software engineering techniques by incorporating their respec...