153 search results - page 8 / 31 » Smart Simulation Using Collaborative Formal and Simulation E... |
WSC
2008
14 years 12 months ago
2008
This paper presents a new extension of the DEVS formalism that allows multiple occurrences of a given instance of a DEVS component. This paper is a follow-up to a previous short p...
MATES
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The formalization and use of experiences in good model design would make an important contribution to increasing the efficiency of modeling as well as to supporting the k...
AMAST
2004
Springer
15 years 3 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
60
Voted
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
The goal of engineering self-organising emergent systems is to acquire a macroscopic system behaviour solely from autonomous local activity and interaction. Due to the non-determin...
IIE
2007
14 years 9 months ago
2007
Abstract. Issues related to 3d turtle’s navigation and geometrical figures’ manipulation in the simulated 3d space of a newly developed computational environment, MaLT, are re...