Sciweavers

5154 search results - page 29 / 1031
» Modelling online education
Sort
View
CORR
2010
Springer
50views Education» more  CORR 2010»
14 years 12 months ago
A Complete and Terminating Execution Model for Constraint Handling Rules
Hariolf Betz, Frank Raiser, Thom W. Frühwirth
CORR
2008
Springer
80views Education» more  CORR 2008»
14 years 12 months ago
Model for synchronizer of marked pairs in fork-join network
S. V. Vyshenski, P. V. Grigoriev, Yu. Yu. Dubenska...
CORR
2010
Springer
53views Education» more  CORR 2010»
14 years 12 months ago
Distributed solving through model splitting
Lars Kotthoff, Neil C. A. Moore