1992 search results - page 57 / 399 » Model Based Testing with Labelled Transition Systems |
135
click to vote
EVOW
2008
Springer
15 years 4 months ago
2008
Springer
Traditional test generation methodologies for peripheral cores are performed by a skilled test engineer, leading to long generation times. In this paper a test generation methodolo...
112
Voted
AIPS
2006
15 years 3 months ago
2006
Reasoning on precedence relations is crucial for many planning and scheduling systems. In this paper we propose a double precedence graph where direct precedence relations are kep...
114
click to vote
IWSSD
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
130
click to vote
INTERSPEECH
2010
14 years 9 months ago
2010
In an attempt to improve models of human perception, the recognition of phonemes in nonsense utterances was predicted with automatic speech recognition (ASR) in order to analyze i...
167
click to vote
TITB
2010
14 years 9 months ago
2010
Mobile sensor-based systems are emerging as promising platforms for healthcare monitoring. An important goal of these systems is to extract physiological information about the subj...