1992 search results - page 179 / 399 » Model Based Testing with Labelled Transition Systems |
109
click to vote
APL
1998
ACM
15 years 8 months ago
1998
ACM
This article describes our experience with test suites and automated branch coverage tools for APL software maintenance, based on our use of them to verify Y2K compliance of an AP...
142
Voted
COLING
2010
14 years 10 months ago
2010
This paper addresses the problem of dynamic model parameter selection for loglinear model based statistical machine translation (SMT) systems. In this work, we propose a principle...
153
click to vote
MOBIWAC
2006
ACM
15 years 9 months ago
2006
ACM
In this work we present a calibration-free system for locating wireless local area network devices, based on the radio frequency characteristics of such networks. Calibration proc...
120
click to vote
RECOMB
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. This paper presents a new method for studying protein folding kinetics. It uses the recently introduced Stochastic Roadmap Simulation (SRS) method to estimate the transit...
122
click to vote
HICSS
1994
IEEE
15 years 7 months ago
1994
IEEE
This paper proposes the use of process models for DSS design. The kind of process models suggested are task structures and decision structures with simple graphical syntax and sem...