1018 search results - page 148 / 204 » Abstraction and Refinement in Model Checking |
160
click to vote
RECOMB
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. In this study we propose a novel model for the representation of biological networks and provide algorithms for learning model parameters from experimental data. Our appr...
112
Voted
RECOMB
2005
Springer
16 years 27 days ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...
89
Voted
FUIN
2008
15 years 19 days ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
124
click to vote
SAC
2004
ACM
15 years 6 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
109
Voted
ENTCS
2008
15 years 20 days ago
2008
Emerging architectures such as partially reconfigurable FPGAs provide a huge potential for adaptivity in the area of embedded systems. Since many system functions are only execute...