1786 search results - page 285 / 358 » Domain Independent Generative Modeling |
ICFEM
2009
Springer
14 years 4 months ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
SBMF
2009
Springer
14 years 4 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
VL
2005
IEEE
14 years 3 months ago
2005
IEEE
Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In ...
ISF
2006
13 years 10 months ago
2006
The development of complex products, such as automobiles, involves engineering changes that frequently require redesigning or altering the products. Although it has been found that...
TCS
2008
13 years 10 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...