2623 search results - page 300 / 525 » Conceptual Application Domain Modelling |
138
Voted
RE
2001
Springer
15 years 9 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
161
click to vote
ECMDAFA
2008
Springer
15 years 6 months ago
2008
Springer
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...
174
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
148
click to vote
CSDA
2007
15 years 5 months ago
2007
A new method for function estimation and variable selection, specifically designed for additive models fitted by cubic splines is proposed.This new method involves regularizing ...
142
click to vote
COOPIS
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract. Time modeling is a crucial feature in many application domains. However, temporal information often is not crisp, but is uncertain, subjective and vague. This is particul...