3639 search results - page 343 / 728 » Provenance as Dependency Analysis |
178
click to vote
SERP
2003
15 years 8 months ago
2003
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...
228
click to vote
FORTE
1994
15 years 8 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
169
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Selective pressure in molecular evolution leads to uneven distributions of amino acids and nucleotides. In fact one observes correlations among such constituents due t...
183
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Recent biological discoveries have shown that clustering large datasets is essential for better understanding biology in many areas. Spectral clustering in particular ...
177
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Stimulus Response Experiments to unravel the regulatory properties of metabolic networks are becoming more and more popular. However, their ability to determine enzyme...