1992 search results - page 266 / 399 » Model Based Testing with Labelled Transition Systems |
170
Voted
CORR
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
141
click to vote
WOA
2007
15 years 4 months ago
2007
—This paper describes Herald, an agent based toolkit for dispatching and processing items in a distributed environment. Herald is suitable for scenarios where the process could b...
121
click to vote
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper studies the influence of n-gram language models in the recognition of sung phonemes and words. We train uni-, bi-, and trigram language models for phonemes and bi- and...
153
click to vote
SIGUCCS
2000
ACM
15 years 7 months ago
2000
ACM
Open Source Software (OSS) has made great strides toward mainstream acceptance over the past two years. However, many IT managers, both in business and academia, are still cautiou...
126
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
Recent evidences indicate that most faults in software systems are found in only a few of a system's components [1]. The early identification of these components allows an or...