454 search results - page 51 / 91 » Modeling and analysis of multi-agent systems using petri net... |
115
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
The PartNET++ system is an experimental multi-agent-based simulation tool that uses a new model based on hyper-graphs for understanding partnership formation among heterogeneous a...
191
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
153
click to vote
FORTE
2004
15 years 5 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
125
Voted
PE
2007
Springer
15 years 3 months ago
2007
Springer
This paper develops time-based rejuvenation policies to improve the performability measures of a cluster system. Three rejuvenation policies, namely standard rejuvenation, delayed...
141
click to vote
IJACTAICIT
2010
14 years 11 months ago
2010
The theory of regions has been recognized as the optimal deadlock prevention policy based on the marking/transition-separation instance (MTSI) or the event-state-separation-proble...