6829 search results - page 33 / 1366 » Quantitative Generalizations of Languages |
80
Voted
DLT
2001
15 years 2 months ago
2001
78
Voted
SIGPLAN
2008
15 years 19 days ago
2008
60
Voted
CORR
2010
Springer
14 years 7 months ago
2010
Springer
DAC
2003
ACM
16 years 1 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...
118
click to vote
MATES
2005
Springer
15 years 6 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...