3719 search results - page 163 / 744 » order 2010 |
163
click to vote
IGARSS
2009
15 years 1 months ago
2009
Scientific Workflows provides a technology that facilitates researchers by allowing them to capture in a machine processable manner the method relating to some research. This incr...
141
click to vote
COMPLEXITY
2010
15 years 1 months ago
2010
To gain a deeper understanding of the impact of spatial embedding on the dynamics of complex systems we employ a measure of interaction complexity developed within neuroscience us...
126
click to vote
ENTCS
2010
15 years 1 months ago
2010
We study the biochemical processes involved in scaffold-mediated crosstalk between the cAMP and the Raf-1/MEK/ERK pathways. We model the system by a continuous time Markov chain w...
141
click to vote
ENTCS
2010
15 years 1 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
161
click to vote
ENTCS
2010
15 years 1 months ago
2010
We describe a true-concurrent approach for managing dependencies between distributed and concurrent coordinator components of a long-running transaction. In previous work we have ...