77016 search results - page 558 / 15404 » Modelling |
185
click to vote
GECCO
2004
Springer
16 years 14 days ago
2004
Springer
Understanding the hierarchical relationships among biochemical, metabolic, and physiological systems in the mapping between genotype and phenotype is expected to improve the diagno...
188
click to vote
ISCIS
2004
Springer
16 years 14 days ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
171
click to vote
MDAFA
2004
Springer
16 years 13 days ago
2004
Springer
Model transformations are the core of the MDA approach to software development. As specified by the OMG, model transformations should act on any kind of model of any kind of metamo...
193
click to vote
SELMAS
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...
212
click to vote
SPIN
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...