4799 search results - page 873 / 960 » Model Based Requirements Engineering for Embedded Software |
153
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Modern omics research involves the application of high-throughput technologies that generate vast volumes of data. These data need to be pre-processed, analyzed and in...
162
click to vote
BIOINFORMATICS
2008
15 years 3 months ago
2008
Motivation: Finding a good network null model for protein-protein interaction (PPI) networks is a fundamental issue. Such a model would provide insights into the interplay between...
146
click to vote
CONSTRAINTS
2011
14 years 10 months ago
2011
Abstract The G12 project is developing a software environment for stating and solving combinatorial problems by mapping a high-level model of the problem to an efficient combinatio...
110
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Custom House's new currency exchange system is integrated with a legacy system. After a few years of growth, the two systems were so intricately tangled that even small chang...
120
click to vote
FMCAD
2009
Springer
15 years 6 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...