379 search results - page 21 / 76 » The AGEDIS Tools for Model Based Testing |
CAISE
2003
Springer
15 years 5 months ago
2003
Springer
This paper describes a validation approach of a socio-technical design support system using data mining techniques. Bayesian Belief Networks (BBN) are used to assess human error an...
117
Voted
DAC
2005
ACM
16 years 22 days ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
103
click to vote
ICSEA
2006
IEEE
15 years 5 months ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...
110
click to vote
UM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In this paper we describe an Integrated Development System for Instructional Model for E-learning (INDESIME) to create and to maintain instructional models using adaptive...
EUSFLAT
2009
14 years 9 months ago
2009
The approach of continuous evaluation is an important tool in the learning process. However, only recently it was applied in training based on virtual reality. This paper presents ...