Sciweavers

4902 search results - page 284 / 981
» Multi-agent Systems Methodology
Sort
View
CODES
2002
IEEE
15 years 11 months ago
Metrics for design space exploration of heterogeneous multiprocessor embedded systems
This paper considers the problem of designing heterogeneous multiprocessor embedded systems. The focus is on a step of the design flow: the definition of innovative metrics for th...
Donatella Sciuto, Fabio Salice, Luigi Pomante, Wil...
ATAL
2006
Springer
15 years 10 months ago
Model checking knowledge, strategies, and games in multi-agent systems
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
Alessio Lomuscio, Franco Raimondi
SAC
2002
ACM
15 years 6 months ago
A modular approach to build structured event-based systems
Event-based systems are developed and used as a coordination model to integrate components in loosely coupled systems. Research and product development focused so far on efficienc...
Ludger Fiege, Gero Mühl, Felix C. Gärtne...
IPPS
2007
IEEE
16 years 1 months ago
A Probabilistic Approach to Measuring Robustness in Computing Systems
System builders are becoming increasingly interested in robust design. We believe that a methodology for generating robustness metrics will help the robust design research efforts...
Behdis Eslamnour, Shoukat Ali
MRCO
2005
Springer
16 years 5 days ago
An Architecture for Developing Context-Aware Systems
This paper proposes a component-based architecture and development methodology for context-aware systems. A context is formally defined from relational point of view. The architec...
Kaiyu Wan, Vasu S. Alagar, Joey Paquet