43 search results - page 9 / 9 » Fitting Formal Methods into the Design Cycle |
DOLAP
2005
ACM
13 years 7 months ago
2005
ACM
Different modeling approaches have been proposed to overcome every design pitfall of the development of the different parts of a data warehouse (DW) system. However, they are all ...
JCB
2006
13 years 5 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
WWW
2007
ACM
14 years 6 months ago
2007
ACM
Knowledge artifacts that have been labeled as ontologies have many different qualities and intended outcomes. This is particularly true of bio-ontologies where high demand has led...