905 search results - page 120 / 181 » The Case Against Micropayments |
108
click to vote
ERLANG
2008
ACM
15 years 3 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
116
click to vote
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
111
click to vote
FSE
2008
Springer
15 years 3 months ago
2008
Springer
At Crypto 2007, Joux and Peyrin showed that the boomerang attack, a classical tool in block cipher cryptanalysis, can also be very useful when analyzing hash functions. They applie...
107
click to vote
ISSRE
2007
IEEE
15 years 3 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
139
click to vote
AAAI
2010
15 years 3 months ago
2010
Matrix factorization is a fundamental technique in machine learning that is applicable to collaborative filtering, information retrieval and many other areas. In collaborative fil...