Sciweavers

2317 search results - page 179 / 464
» Model based testing for agent systems
Sort
View
143
Voted
CAISE
2003
Springer
15 years 9 months ago
Ontological Basis for Agent ADL
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...
Stéphane Faulkner, Manuel Kolp
119
Voted
ATAL
2003
Springer
15 years 9 months ago
A protocol for multi-agent diagnosis with spatially distributed knowledge
In a large distributed system it is often infeasible or even impossible to perform diagnosis using a single model of the whole system. Instead, several spatially distributed local...
Nico Roos, Annette ten Teije, Cees Witteveen
151
Voted
AIPS
2008
15 years 6 months ago
A Temporal Logic-Based Planning and Execution Monitoring System
As no plan can cover all possible contingencies, the ability to detect failures during plan execution is crucial to the robustness of any autonomous system operating in a dynamic ...
Jonas Kvarnström, Fredrik Heintz, Patrick Doh...
JSAC
2006
69views more  JSAC 2006»
15 years 3 months ago
Signal model and receiver algorithms for a transmit-reference ultra-wideband communication system
A communication system based on transmit-reference (TR) ultra-wideband (UWB) is studied and further developed. Introduced by Hoctor and Tomlinson, the aim of the TR-UWB transceiver...
Q. H. Dang, Antonio Trindade, Alle-Jan van der Vee...
ATAL
2009
Springer
15 years 10 months ago
The DSML4MAS development environment
This paper presents the Dsml4mas Development Environment (DDE) which is a model-driven framework for the development of multiagent systems based on the Domain Specific Modeling L...
Stefan Warwas, Christian Hahn