27 search results - page 1 / 6 » DEVSpecL: DEVS specification language for modeling, simulati... |
INFSOF
2006
13 years 4 months ago
2006
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...
HYBRID
1994
Springer
13 years 9 months ago
1994
Springer
We make the case that Discrete Event System Speci cation DEVS is a universal formalismfor discrete event dynamical systems DEDS. DEVS o ers an expressive framework for modelling, ...
TOMACS
2008
13 years 4 months ago
2008
abstractly; it is intended to provide a basis for implementing efficient and scalable parallel algorithms that correctly simulate DEVS models. Categories and Subject Descriptors: I...
ICCS
2007
Springer
13 years 11 months ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
TOOLS
1999
IEEE
13 years 9 months ago
1999
IEEE
This paper reports on an effort to use both the system theoretic DEVS (discrete event simulation) formalism and the JavaBeans component model as a basis for a componentbased discr...