2935 search results - page 372 / 587 » An Integrated Approach to High Integrity Software Verificati... |
212
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
Solution-driven product line engineering is a project business where products are created for each customer individually. Although reuse of results from former projects is widely ...
194
click to vote
CONCURRENCY
2002
15 years 6 months ago
2002
Practical applications are generally interdisciplinary in nature. The technology is well matured for addressing individual discipline applications and not for interdisciplinary ap...
187
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
In this paper, we explore a hybrid global/local search optimization framework for dynamic voltage scaling in embedded multiprocessor systems. The problem is to find, for a multipr...
162
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Many complementary solutions are available for the identifier mapping problem. This creates an opportunity for bioinformatics tool developers. Tools can be made to fle...
200
click to vote
IWPC
2007
IEEE
16 years 22 days ago
2007
IEEE
The paper addresses the problem of concept location in source code by presenting an approach which combines Formal Concept Analysis (FCA) and Latent Semantic Indexing (LSI). In th...