Sciweavers

8492 search results - page 282 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
142
Voted
IAT
2010
IEEE
15 years 3 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...
TII
2011
206views Education» more  TII 2011»
14 years 12 months ago
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
Simona Bernardi, Javier Campos, José Merseg...
ECMDAFA
2007
Springer
100views Hardware» more  ECMDAFA 2007»
15 years 11 months ago
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
Andreas Ulrich, Alexandre Petrenko
127
Voted
ET
1998
99views more  ET 1998»
15 years 4 months ago
A Behavior Model for Next Generation Test Systems
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
Lee A. Shombert, John W. Sheppard
153
Voted
CODES
2004
IEEE
15 years 8 months ago
Design and programming of embedded multiprocessors: an interface-centric approach
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...
Pieter van der Wolf, Erwin A. de Kock, Tomas Henri...