4799 search results - page 873 / 960 » Model Based Requirements Engineering for Embedded Software |
192
click to vote
BMCBI
2008
15 years 6 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...
207
click to vote
BIOINFORMATICS
2008
15 years 6 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...
183
click to vote
CONSTRAINTS
2011
15 years 1 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...
151
click to vote
OOPSLA
2007
Springer
16 years 12 days 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...
158
click to vote
FMCAD
2009
Springer
15 years 10 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...