3652 search results - page 331 / 731 » A study of query length |
134
Voted
CRYPTO
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. In this paper, we study the security proofs of GCM (Galois/Counter Mode of Operation). We first point out that a lemma, which is related to the upper bound on the probab...
292
Voted
SPIN
2012
Springer
13 years 6 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
116
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
In this paper, we describe the design process, results, and observations from a pilot user study for Tamil Market, a speech-driven agricultural query system, conducted in communit...
109
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
We study the complexity of the propositional minimal inference problem. Its complexity has been extensively studied before because of its fundamental importance in artificial int...
121
Voted
MSR
2006
ACM
15 years 9 months ago
2006
ACM
In the current trend of software engineering, software systems are viewed as clusters of overlapping structures representing various concerns, covering heterogeneous artifacts lik...