5904 search results - page 524 / 1181 » Requirements for a Composition Language |
195
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
Testing with random inputs can give surprisingly good results if the distribution of inputs is spread out evenly over the input domain; this is the intuition behind Adaptive Rando...
176
click to vote
WIDM
2006
ACM
16 years 1 months ago
2006
ACM
Backup of websites is often not considered until after a catastrophic event has occurred to either the website or its webmaster. We introduce “lazy preservation” – digital p...
217
click to vote
AUTOID
2005
IEEE
16 years 24 days ago
2005
IEEE
Following Daubert in 1993, forensic evidence based on fingerprints was first challenged in the 1999 case of USA vs. Byron Mitchell, and subsequently, in 20 other cases involving...
246
click to vote
COLCOM
2005
IEEE
16 years 24 days ago
2005
IEEE
Using a combination of machine learning probabilistic tools, we have shown that some chemistry students fail to develop productive problem solving strategies through practice alon...
203
click to vote
CSFW
2005
IEEE
16 years 24 days ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...