1054 search results - page 68 / 211 » Models for automatic generation of safety-critical real-time... |
UAIS
2008
14 years 11 months ago
2008
This paper presents an approach to automatic course generation and student modeling. The method has been developed during the European funded projects Diogene and Intraserv, focuse...
112
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
RTCSA
2005
IEEE
15 years 5 months ago
2005
IEEE
We propose a new architecture for a content protection system that conceals confidential data and algorithms in an FPGA as electrical circuits. This architecture is designed for a...
ITS
2010
Springer
15 years 4 months ago
2010
Springer
In a tutoring system based on an exploratory environment, it is also important to provide direct guidance to students. We endowed iList, our linked list tutor, with the ability to ...
ECBS
2010
IEEE
15 years 5 months ago
2010
IEEE
The Uniļ¬ed Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...