10159 search results - page 466 / 2032 » System Design Validation Using Formal Models |
168
click to vote
AIED
2011
Springer
14 years 8 months ago
2011
Springer
Many Intelligent Tutoring Systems (ITSs) have started to incorporate game-based components in an attempt to improve student engagement during system interactions. iSTART-ME is a ne...
153
click to vote
SIGADA
2004
Springer
15 years 10 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
132
click to vote
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
— In this paper, we propose a power assist system that amplifies sinusoidal human’s torque and attains minimization of control input requirement using an impedance control and...
150
click to vote
ITS
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we make a first effort to define requirements for knowledge representation (KR) in an ITS. The requirements concern all stages of an ITS’s life cycle (construction...
125
click to vote
SOQUA
2004
15 years 6 months ago
2004
: The difficulties to assess reliability of systems that use COTS components are sometimes compounded by the inaccessibility of some COTS codes. This paper develops an approach of ...