1992 search results - page 83 / 399 » Model Based Testing with Labelled Transition Systems |
120
click to vote
FATES
2004
Springer
15 years 8 months ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
123
click to vote
ICSEA
2009
IEEE
15 years 9 months ago
2009
IEEE
—In this paper, it is shown that synthetic images can be used to test specific use cases of a lane tracking algorithm which has been developed by Audi AG. This was achieved by s...
111
Voted
NPAR
2006
ACM
15 years 8 months ago
2006
ACM
We present techniques to create convincing high-quality watercolor illustrations of plants. Mainly focusing on the real-time rendering, we introduce methods to abstract the visual...
109
Voted
FORTE
2010
15 years 4 months ago
2010
Abstract. In this paper, we propose the notion of partial time abstraction for timed process algebras, which introduces the possibility to abstract away parts of the timing of syst...
95
Voted
AICT
2006
IEEE
15 years 8 months ago
2006
IEEE
Spoken language education plays an important role in modern language courses. Computer-based spoken language test systems provide a convenient, efficient and reliable approach to ...