470 search results - page 54 / 94 » Test Case Generation Based on State and Activity Models |
92
Voted
HICSS
2002
IEEE
15 years 5 months ago
2002
IEEE
: In this contribution we present a Learner Model (LM) of Historical Text Comprehension (HTC), which infers the cognitive profile of learner’s global comprehension concerning the...
110
click to vote
JOT
2008
15 years 14 days ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
135
Voted
INFSOF
2011
14 years 7 months ago
2011
Context: Service Oriented Architectures (SOA) have emerged as a new paradigm to develop interoperable and highly dynamic applications. Objective: This paper aims to identify the s...
125
Voted
DIS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We investigate a generative latent variable model for modelbased word saliency estimation for text modelling and classification. The estimation algorithm derived is able ...
EMSOFT
2008
Springer
15 years 2 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...