4635 search results - page 34 / 927 » Modeling Design Knowledge on Structure |
ICSE
2001
IEEE-ACM
13 years 12 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
GECCO
2005
Springer
14 years 28 days ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
SIGADA
1994
Springer
13 years 11 months ago
1994
Springer
APBC
2008
13 years 8 months ago
2008
CLA
2004
13 years 8 months ago
2004
Ontologies, often defined as an explicit specification of conceptualization, are necessary for knowledge representation and knowledge exchange. Usually this means that ontology des...