Sciweavers

15635 search results - page 159 / 3127
» Modelling and Design of VAML
Sort
View
ECAI
2000
Springer
15 years 10 months ago
Designing Clustering Methods for Ontology Building - The Mo'K Workbench
This paper describes Mo’K, a configurable workbench that supports the development of conceptual clustering methods for ontology building. Mo’K is intended to assist ontology de...
Gilles Bisson, Claire Nedellec, Dolores Cañ...
IPPS
1999
IEEE
15 years 10 months ago
The Paderborn University BSP (PUB) Library - Design, Implementation and Performance
The Paderborn University BSP (PUB) library is a parallel C library based on the BSP model. The basic library supports buffered and unbuffered asynchronous communication between an...
Olaf Bonorden, Ben H. H. Juurlink, Ingo von Otte, ...
IAT
2010
IEEE
15 years 4 months ago
Design and Evaluation of Explainable BDI Agents
It is widely acknowledged that providing explanations is an important capability of intelligent systems. Explanation capabilities are useful, for example, in scenario-based traini...
Maaike Harbers, Karel van den Bosch, John-Jules Ch...
RTAS
2010
IEEE
15 years 4 months ago
Towards the Design of Certifiable Mixed-criticality Systems
Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different c...
Sanjoy K. Baruah, Haohan Li, Leen Stougie
WOA
2010
15 years 4 months ago
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
Matteo Baldoni, Cristina Baroglio, Federico Bergen...