645 search results - page 118 / 129 » concurrency 2007 |
BMCBI
2007
14 years 9 months ago
2007
Background: An in-silico experiment can be naturally specified as a workflow of activities implementing, in a standardized environment, the process of data and control analysis. A...
CN
2007
14 years 9 months ago
2007
Large scale distributed systems typically have interactions among different services that create an avenue for propagation of a failure from one service to another. The failures ...
BMCBI
2005
14 years 9 months ago
2005
Background: With microarray technology the expression of thousands of genes can be measured simultaneously. It is well known that the expression levels of genes of interacting pro...
ASE
2002
14 years 9 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
BC
1998
14 years 9 months ago
1998
A simple analytical model is proposed here that captures to a large extent the kinematic structure of rat exploratory behavior. Previous studies have shown that such behavior consi...