9182 search results - page 1643 / 1837 » Requirements for Requirements Management Tools |
155
click to vote
GECCO
2007
Springer
16 years 23 days ago
2007
Springer
There are many innovative proposals introduced in the literature under the evolutionary computation field, from which estimation of distribution algorithms (EDAs) is one of them....
185
click to vote
ICDT
2007
ACM
16 years 23 days ago
2007
ACM
We consider data dissemination in a peer-to-peer network, where each user wishes to obtain some subset of the available information objects. In most of the modern algorithms for su...
169
click to vote
OOPSLA
2007
Springer
16 years 22 days ago
2007
Springer
A comfort zone is a tested region of a system’s input space within which it has been observed to behave acceptably. To keep systems operating within their comfort zones, we advo...
185
click to vote
PPAM
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...
192
click to vote
PPDP
2007
Springer
16 years 22 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...