1992 search results - page 67 / 399 » Model Based Testing with Labelled Transition Systems |
141
click to vote
SPLC
2008
15 years 3 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
134
click to vote
UML
2004
Springer
15 years 7 months ago
2004
Springer
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
134
click to vote
INFSOF
2007
15 years 2 months ago
2007
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
167
Voted
CVIU
2010
14 years 12 months ago
2010
This paper demonstrates the use of a single-chip FPGA for the segmentation of moving objects in a video sequence. The system maintains highly accurate background models, and integ...
105
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
Traditionally, the use of untranscribed speech has been restricted to unsupervised or semi-supervised training of acoustic models. Comparison of recognizers has required labeled d...