1772 search results - page 63 / 355 » The Model Coupling Toolkit |
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
We define an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth together with the Assertion Network Toolkit, a graphical inter...
VLSI
2007
Springer
14 years 4 months ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
AGS
2009
Springer
14 years 4 months ago
2009
Springer
Many research projects oriented on control mechanisms of virtual agents in videogames have emerged in recent years. However, this boost has not been accompanied with the emergence ...
ICCS
2003
Springer
14 years 3 months ago
2003
Springer
In many areas of design search and optimisation one needs to utilize Computational Fluid Dynamics (CFD) methods in order to obtain numerical solution of the flow field in and/or ...
MODELS
2009
Springer
14 years 4 months ago
2009
Springer
We present a novel technique for applying two-level runtime models to distributed systems. Our approach uses graph rewriting rules to transform a high-level source model into one o...