5252 search results - page 895 / 1051 » Requirements engineering: a roadmap |
202
click to vote
GECCO
2005
Springer
16 years 17 days ago
2005
Springer
Because of the large number of possible combinations for the fuel assembly loading in the core, the design of the loading pattern (LP) is a complex optimization problem. It requir...
206
Voted
GECCO
2005
Springer
16 years 17 days ago
2005
Springer
Several ways of using singular value decomposition (SVD), a linear algebra technique typically used for information retrieval, to decompose problems into subproblems are investiga...
195
Voted
VLDB
2005
ACM
16 years 15 days ago
2005
ACM
We present a new algorithm for finding large, dense subgraphs in massive graphs. Our algorithm is based on a recursive application of fingerprinting via shingles, and is extreme...
185
Voted
VSTTE
2005
Springer
16 years 15 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
176
Voted
ISSTA
2004
ACM
16 years 14 days ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...