10908 search results - page 1892 / 2182 » Requirements Engineering Tasks |
194
click to vote
GECCO
2005
Springer
16 years 9 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...
193
click to vote
GECCO
2005
Springer
16 years 9 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...
184
click to vote
VLDB
2005
ACM
16 years 8 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...
176
click to vote
VSTTE
2005
Springer
16 years 8 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...
167
click to vote
ISSTA
2004
ACM
16 years 6 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...