317 search results - page 36 / 64 » Tooling the Dynamic Behavior Models of Graphical DSLs |
HASE
1998
IEEE
14 years 27 days ago
1998
IEEE
Fault trees provide a graphical and logical framework for analyzing the reliability of systems. A fault tree provides a conceptually simple modeling framework to represent the sys...
ANSS
2006
IEEE
14 years 2 months ago
2006
IEEE
With the availability of huge databases cataloguing the various molecular “parts” of complex biological systems, researchers from multiple disciplines have focused on developi...
ICPR
2002
IEEE
14 years 9 months ago
2002
IEEE
Bayesian networks are an attractive modeling tool for human sensing, as they combine an intuitive graphical representation with ef?cient algorithms for inference and learning. Ear...
ACSW
2007
13 years 10 months ago
2007
A Grid based e-Research platform is being developed for providing a simulation-based virtual reality environment for clinical management and therapy treatment. The development of ...
GG
2004
Springer
14 years 2 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...