77016 search results - page 632 / 15404 » Modelling |
187
click to vote
IFM
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
176
click to vote
ISNN
2007
Springer
16 years 1 months ago
2007
Springer
Modeling for the ball mill grinding process is still an imperative but difficult problem for the optimal control of mineral processing industry. Due to the integrated complexities ...
192
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Aspect-Oriented Modeling (AOM) approaches propose to model reusable aspects, or cross-cutting concerns, that can be composed in different systems at a model or code level. Buildin...
223
click to vote
TABLEAUX
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
210
click to vote
UM
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we show how model identifiability is an issue for student modeling: observed student performance corresponds to an infinite family of possible model parameter estimat...