16725 search results - page 2939 / 3345 » Engineering Software Correctness |
186
click to vote
C3S2E
2009
ACM
16 years 20 days ago
2009
ACM
This article introduces Nohalo level 1 (“Nohalo”), the simplest member of a family of image resamplers which straighten diagonal interfaces without adding noticeable nonlinear...
194
click to vote
ESEM
2009
ACM
16 years 20 days ago
2009
ACM
: © Using Security Metrics Coupled with Predictive Modeling and Simulation to Assess Security Processes Yolanta Beres, Marco Casassa Mont, Jonathan Griffin, Simon Shiu HP Laborato...
180
Voted
ISSTA
2009
ACM
16 years 20 days ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...
155
click to vote
ISSTA
2009
ACM
16 years 20 days ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
154
Voted
MSR
2009
ACM
16 years 20 days ago
2009
ACM
We are now witnessing the rapid growth of decentralized source code management (DSCM) systems, in which every developer has her own repository. DSCMs facilitate a style of collabo...