977 search results - page 155 / 196 » Formal methods integration in software engineering |
231
click to vote
SIAMCOMP
2011
14 years 6 months ago
2011
We consider the Minimum Linear Arrangement problem and the (Uniform) Sparsest Cut problem. So far, these two notorious NP-hard graph problems have resisted all attempts to prove in...
173
click to vote
SIAMCOMP
2011
14 years 6 months ago
2011
We consider the problem of testing graph expansion (either vertex or edge) in the bounded degree model [10]. We give a property tester that given a graph with degree bound d, an ex...
147
Voted
SFM
2009
Springer
15 years 10 months ago
2009
Springer
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
127
click to vote
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
213
click to vote
TCBB
2011
14 years 11 months ago
2011
: Extraction of meaningful information from large experimental datasets is a key element of bioinformatics research. One of the challenges is to identify genomic markers in Hepatit...