5525 search results - page 872 / 1105 » Verification of Model Transformations |
175
click to vote
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
Scientific workflows facilitate automation, reuse, and reproducibility of scientific data management and analysis tasks. Scientific workflows are often modeled as dataflow networks...
153
click to vote
FSTTCS
2000
Springer
15 years 8 months ago
2000
Springer
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
144
click to vote
ISMIS
2000
Springer
15 years 8 months ago
2000
Springer
A top-down query processing method for first order deductive databases under the disjunctive well-founded semantics (DWFS) is presented. The method is based upon a characterisation...
140
click to vote
IWSAPF
2000
15 years 8 months ago
2000
Product families promote reuse of software artifacts such as architectures, designs and implementations. Product family architectures are difficult to create due to the need to sup...
138
click to vote
PKDD
2000
Springer
15 years 8 months ago
2000
Springer
Although there is a growing need for multi-relational data mining solutions in KDD, the use of obvious candidates from the field of Inductive Logic Programming (ILP) has been limit...