2470 search results - page 12 / 494 » Liveness-Preserving Simulation Relations |
MCS
2010
Springer
13 years 7 months ago
2010
Springer
A vertex model for the simulation of grain growth and grain boundary migration is developed and its implementation is explained in detail. The utilization of the model is also exe...
AIS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The success of DEVS methods for simulating large continuous models calls for more in-depth examination of the applicability of discrete events in modeling continuous phen...
CALCO
2009
Springer
14 years 3 months ago
2009
Springer
IANDC
2006
13 years 9 months ago
2006
We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notio...
MABS
2000
Springer
14 years 16 days ago
2000
Springer
There is a growing belief that the agents' cognitive structures play a central role on the enhancement of predicative capacities of decision-making strategies. This paper anal...