1992 search results - page 40 / 399 » Model Based Testing with Labelled Transition Systems |
128
click to vote
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
117
click to vote
FORTE
2004
15 years 3 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
103
click to vote
ESANN
2008
15 years 3 months ago
2008
Abstract. We study Winner-Takes-All and rank based Vector Quantization along the lines of the statistical physics of off-line learning. Typical behavior of the system is obtained w...
172
click to vote
ECOOP
2000
Springer
15 years 6 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
96
Voted
AIRS
2008
Springer
15 years 8 months ago
2008
Springer
This paper proposes a model for content-based retrieval of histopathology images. The most remarkable characteristic of the proposed model is that it is able to extract high-level ...