10379 search results - page 1680 / 2076 » The Chaos of Software Development |
235
click to vote
POPL
2012
ACM
14 years 3 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
267
click to vote
ISSTA
2012
ACM
13 years 10 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
226
click to vote
PAMI
2012
13 years 10 months ago
2012
—The widespread deployment of Automated Fingerprint Identification Systems (AFIS) in law enforcement and border control applications has heightened the need for ensuring that the...
269
click to vote
BMCBI
2011
15 years 2 months ago
2011
Background: Genome-wide single-nucleotide polymorphism (SNP) arrays containing hundreds of thousands of SNPs from the human genome have proven useful for studying important human ...
219
click to vote
DAC
2007
ACM
16 years 8 months ago
2007
ACM
Processing and storage of confidential or critical information is an every day occurrence in computing systems. The trustworthiness of computing devices has become an important co...