4890 search results - page 108 / 978 » From system specifications to component behavioral models |
HYBRID
2009
Springer
15 years 1 months ago
2009
Springer
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
JMLR
2008
14 years 10 months ago
2008
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
WWW
2003
ACM
15 years 10 months ago
2003
ACM
This paper introduces a framework for modeling and specifying the global behavior of e-service compositions. Under this framework, peers (individual e-services) communicate throug...
AIED
2009
Springer
15 years 4 months ago
2009
Springer
We developed a new model for iList, our system that helps students learn linked list. The model is automatically extracted from past student data, and allows iList to track student...
SERP
2004
14 years 11 months ago
2004
Game and simulation development is a difficult process because there are many low level infrastructure concerns that need to be addressed. This is a barrier to development for ine...