454 search results - page 52 / 91 » Modeling and analysis of multi-agent systems using petri net... |
165
click to vote
APN
2006
Springer
15 years 7 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...
160
click to vote
VALUETOOLS
2006
ACM
15 years 10 months ago
2006
ACM
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
150
click to vote
IJCAI
2001
15 years 5 months ago
2001
This paper presents an efficient online mode estimation algorithm for a class of sensor-rich, distributed embedded systems, the so-called hybrid systems. A central problem in dist...
138
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
In this work we present the basic concepts for a dynamic plug-in-based software architecture using concepts from the Petri net-based MAS framework Mulan. By transferring the conce...
128
click to vote
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...