6040 search results - page 430 / 1208 » Generating Instance Models from Meta Models |
158
click to vote
TACAS
2007
Springer
16 years 28 days ago
2007
Springer
This paper considers algorithms and complexity results for the generation of counterexamples in model checking of probabilistic until-formulae in discrete-time Markov chains (DTMCs...
172
click to vote
GECCO
2004
Springer
16 years 6 days ago
2004
Springer
Two efficient clustering-based genetic algorithms are developed for the optimisation of reaction rate parameters in chemical kinetic modelling. The genetic algorithms employed are ...
179
click to vote
BIBM
2009
IEEE
15 years 12 months ago
2009
IEEE
The primary objective of disparities research is to model the differences across multiple groups and identify the groups that behave significantly different from each other. Indep...
187
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
Many data objects in the real world have attributes about location and time. Such spatiotemporal objects can be found in applications such Geographic Information Systems (GIS), env...
191
click to vote
TAGT
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Management of development processes in di erent engineering disciplines is a challenging task. We present an integrated approach which covers not only the activities to b...