66 search results - page 2 / 14 » Formal Modeling of C. elegans Development: A Scenario-Based ... |
TACAS
2007
Springer
13 years 12 months ago
2007
Springer
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
BMCBI
2010
13 years 3 months ago
2010
Background: To exploit the flood of data from advances in high throughput imaging of optically sectioned nuclei, image analysis methods need to correctly detect thousands of nucle...
ICECCS
2007
IEEE
13 years 9 months ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
TCBB
2008
13 years 5 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
MEMOCODE
2010
IEEE
13 years 3 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...