2342 search results - page 406 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
REALWSN
2010
13 years 3 months ago
2010
Abstract. Environmental scientists frequently engage in "campaignstyle" deployments, where they visit a location for a relatively short period of time (several weeks to m...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
Programming forums are becoming the primary tools for programmers to find answers for their programming problems. Our empirical study of popular programming forums shows that the...
EDBTW
2010
Springer
14 years 3 months ago
2010
Springer
Published data is prone to privacy attacks. Sanitization methods aim to prevent these attacks while maintaining usefulness of the data for legitimate users. Quantifying the trade-...
GECCO
2010
Springer
14 years 1 months ago
2010
Springer
Evolutionary methods have been used to repair programs automatically, with promising results. However, the fitness function used to achieve these results was based on a few simpl...
POPL
2000
ACM
14 years 19 days ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...