5086 search results - page 662 / 1018 » The Power of Comparative Reasoning |
173
click to vote
METRICS
2005
IEEE
16 years 9 days ago
2005
IEEE
Software process improvement initiatives such as metrics programs have a high failure rate during their assimilation in a software organization. Social and individual issues are s...
174
click to vote
MOBIQUITOUS
2005
IEEE
16 years 9 days ago
2005
IEEE
Mobile Ad hoc NETworks (MANETs) provide a lot of promise for many practical applications. However, MANETs are vulnerable to a number of attacks due to its autonomous nature. DoS/D...
165
click to vote
SCAM
2005
IEEE
16 years 9 days ago
2005
IEEE
In software evolution analysis, many approaches analyze release history data available through versioning systems. The recent investigations of CVS data have shown that commonly c...
154
click to vote
SP
2005
IEEE
16 years 9 days ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...
170
click to vote
TPHOL
2005
IEEE
16 years 9 days ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...