308 search results - page 18 / 62 » Modular Verification of Interactive Systems with an Applicat... |
CSB
2005
IEEE
14 years 11 days ago
2005
IEEE
Scientists face an ever-increasing challenge in investigating biological systems with high throughput experimental methods such as mass spectrometry and gene arrays because of the...
BIODATAMINING
2008
13 years 6 months ago
2008
The analysis and interpretation of relationships between biological molecules, networks and concepts is becoming a major bottleneck in systems biology. Very often the pure amount ...
GG
2010
Springer
13 years 7 months ago
2010
Springer
We introduce an analysis method for graph transformation systems which checks that certain forbidden graphs are not reachable from the start graph. These forbidden graphs are speci...
BMCBI
2006
13 years 6 months ago
2006
Background: The elucidation of whole-cell regulatory, metabolic, interaction and other biological networks generates the need for a meaningful ranking of network elements. Central...
CLUSTER
2005
IEEE
13 years 8 months ago
2005
IEEE
This paper describes SymbioticSphere, a novel biologically-inspired architecture that allows grid systems (application services and middleware platforms) to be scalable and adapti...