17 search results - page 4 / 4 » On the complexity of checking semantic equivalences between ... |
FMSB
2008
13 years 7 months ago
2008
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
OTM
2005
Springer
13 years 11 months ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...