1992 search results - page 122 / 399 » Model Based Testing with Labelled Transition Systems |
128
click to vote
WSC
2007
15 years 5 months ago
2007
This paper describes an effort of testing the Core Manufacturing Simulation Data (CMSD) information model as a neutral data interface for a discrete event simulation model develop...
141
click to vote
NC
1998
15 years 4 months ago
1998
This paper reports the results of experiments in complex Arabic phonetic features identification using a rulebased system (SARPH) and modular connectionist architectures. The firs...
146
click to vote
QOSA
2010
Springer
15 years 6 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
134
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
The “classical” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This ...
148
click to vote
ICDM
2009
IEEE
15 years 1 months ago
2009
IEEE
Document classification is a key task for many text mining applications. However, traditional text classification requires labeled data to construct reliable and accurate classifie...