308 search results - page 43 / 62 » Modular Verification of Interactive Systems with an Applicat... |
81
Voted
CMSB
2004
Springer
15 years 5 months ago
2004
Springer
A refinement of Cardelli’s brane calculus [1] is introduced where membrane actions are directed. This modification brings the language closer to biological membranes and also o...
124
click to vote
CLADE
2003
IEEE
15 years 5 months ago
2003
IEEE
With rapid technological advances in network infrastructure, programming languages, compatible component interfaces and so many more areas, today the computational Grid has evolve...
91
Voted
BMCBI
2006
14 years 11 months ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
BMCBI
2007
14 years 11 months ago
2007
Background: The huge amount of biological information, its distribution over the Internet and the heterogeneity of available software tools makes the adoption of new data integrat...
102
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: The increasing availability and diversity of omics data in the post-genomic era offers new perspectives in most areas of biomedical research. Graph-based biological ne...