Sciweavers

2092 search results - page 237 / 419
» A domain specific modeling language for multiagent systems
Sort
View
UM
2005
Springer
15 years 4 months ago
Modeling Students' Metacognitive Errors in Two Intelligent Tutoring Systems
Intelligent tutoring systems help students acquire cognitive skills by tracing students’ knowledge and providing relevant feedback. However, feedback that focuses only on the cog...
Ido Roll, Ryan Shaun Baker, Vincent Aleven, Bruce ...
JMLR
2008
127views more  JMLR 2008»
14 years 11 months ago
Incremental Identification of Qualitative Models of Biological Systems using Inductive Logic Programming
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...
Ashwin Srinivasan, Ross D. King
SIGSOFT
2010
ACM
14 years 5 months ago
Analyzing hierarchical complex real-time systems
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
Yang Liu 0003, Jun Sun 0001, Jin Song Dong
EMSOFT
2008
Springer
15 years 26 days ago
Automatically transforming and relating Uppaal models of embedded systems
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
Timothy Bourke, Arcot Sowmya
DBPL
1989
Springer
165views Database» more  DBPL 1989»
15 years 3 months ago
Support for Data-Intensive Applications: Conceptual Design and Software Development
In the process of developing an Information System, one passes through stages that include requirements gathering, design specification, and software implementation. The purpose ...
Alexander Borgida, John Mylopoulos, Joachim W. Sch...