4341 search results - page 337 / 869 » Quantitative Model checking |
175
click to vote
EDM
2009
15 years 4 months ago
2009
This paper describes a novel method to create a quantitative model of an educational content domain of related practice item-types using learning curves. By using a pairwise test t...
189
click to vote
VL
2009
IEEE
16 years 1 months ago
2009
IEEE
Domain specific languages (DSLs) play a cornerstone Model-Driven Software Development. The abstract syntax of a DSL is usually defined by a metamodel, while inplace model transf...
131
click to vote
WSC
2008
15 years 9 months ago
2008
A simulation model representing the dynamics of a sow farm is presented in contrast with other approaches. To highlight relevant aspects of the model a real application for planni...
181
click to vote
ARTMED
2006
15 years 6 months ago
2006
We address the task of inducing explanatory models from observations and knowledge about candidate biological processes, using the illustrative problem of modeling photosynthesis ...
141
click to vote
RE
2005
Springer
16 years 7 days ago
2005
Springer
The importance of assumptions in Requirements Engineering has long been recognised. However, to the best of our knowledge, no quantitative models for the relation between assumpti...