2092 search results - page 6 / 419 » A domain specific modeling language for multiagent systems |
149
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
173
click to vote
CAISE
2005
Springer
15 years 11 months ago
2005
Springer
: In this paper, we propose an MDA based approach for developing multi-agent systems. MDA specifies a structured software development process divided in modeling stages. In the PIM...
145
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...