6829 search results - page 33 / 1366 » Quantitative Generalizations of Languages |
CORR
2010
Springer
14 years 11 months ago
2010
Springer
111
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
149
click to vote
MATES
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents the language and software environment LEADSTO that has been developed to model and simulate the dynamics of Multi-Agent Systems (MAS) in terms of both qualitati...