2896 search results - page 3 / 580 » Curricula Modeling and Checking |
ECTEL
2007
Springer
2007
Springer
Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture
14 years 1 months ago
Abstract. We present a service-oriented personalization system, set in an educational framework, based on a semantic annotation of courses, given at a knowledge level (what the cou...
ITICSE
2006
ACM
14 years 1 months ago
2006
ACM
Teaching computer science to children is a major priority in most countries in the world. Nevertheless, Computer Science curricula do not seem to address the children’s world, c...
LEGE
2003
13 years 9 months ago
2003
Testing theories through practice is an important approach to teaching, especially in scientific and technical curricula. Often, lack of resources and logistics problems makes pra...
IJSEKE
2011
12 years 11 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
FOSSACS
2011
Springer
12 years 11 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...