147 search results - page 24 / 30 » Model-based Systems Analysis Using CSIM18 |
103
click to vote
IEAAIE
2004
Springer
15 years 4 months ago
2004
Springer
The main issue in e-learning is student modelling, i.e. the analysis of a student’s behaviour and prediction of his/her future behaviour and learning performance. Indeed, it is d...
ISQED
2009
IEEE
15 years 6 months ago
2009
IEEE
An on-chip test-and-measurement system with digital interfaces that can perform device-level characterization of large-dense arrays of transistors is demonstrated in 90- and 65-nm...
117
click to vote
FM
2008
Springer
15 years 25 days ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
ICST
2008
IEEE
15 years 5 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
ICRA
2008
IEEE
15 years 5 months ago
2008
IEEE
— How to teach actions to a robot as well as how a robot learns actions is an important issue to be discussed in designing robot learning systems. Inspired by human parentinfant ...