2043 search results - page 10 / 409 » Reasoning About Security Models |
ICEIS
2009
IEEE
14 years 4 months ago
2009
IEEE
ITS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
FM
2001
Springer
14 years 2 months ago
2001
Springer
CBSE
2006
Springer
14 years 1 months ago
2006
Springer
AI
2000
Springer
13 years 9 months ago
2000
Springer
Automated handling of tutoring and training functions in educational systems requires the availability of articulate domain models. In this article we further develop the applicat...