1992 search results - page 45 / 399 » Model Based Testing with Labelled Transition Systems |
103
click to vote
CCE
2005
15 years 2 months ago
2005
The analysis of historical process data of technological systems plays important role in process monitoring, modelling and control. Time-series segmentation algorithms are often u...
135
click to vote
RSP
2003
IEEE
15 years 7 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
100
click to vote
LREC
2008
15 years 3 months ago
2008
Recently the LATL has undertaken the development of a multilingual translation system based on a symbolic parsing technology and on a transfer-based translation model. A crucial c...
113
click to vote
QEST
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
140
click to vote
IFM
2010
Springer
15 years 25 days ago
2010
Springer
We present a logical framework that is able to deal with variability in product family descriptions. The temporal logic MHML is based on the classical Hennessy–Milner logic with ...