Sciweavers

3233 search results - page 52 / 647
» Rule Modeling and Markup
Sort
View
CORR
2010
Springer
50views Education» more  CORR 2010»
15 years 6 months ago
A Complete and Terminating Execution Model for Constraint Handling Rules
Hariolf Betz, Frank Raiser, Thom W. Frühwirth
ECEASST
2006
56views more  ECEASST 2006»
15 years 6 months ago
Semantical Correctness of Simulation-to-Animation Model and Rule Transformation
Claudia Ermel, Hartmut Ehrig, Karsten Ehrig