679 search results - page 130 / 136 » Using decision problems in public key cryptography |
187
click to vote
CONCUR
2011
Springer
13 years 11 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
KDD
2010
ACM
15 years 3 months ago
2010
ACM
At Google, experimentation is practically a mantra; we evaluate almost every change that potentially affects what our users experience. Such changes include not only obvious user-...
104
Voted
CGO
2004
IEEE
15 years 3 months ago
2004
IEEE
Empirical search is a strategy used during the installation of library generators such as ATLAS, FFTW, and SPIRAL to identify the algorithm or the version of an algorithm that del...
107
click to vote
FC
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Phishing, or web spoofing, is a growing problem: the Anti-Phishing Working Group (APWG) received almost 14,000 unique phishing reports in August 2005, a 56% jump over the...
81
Voted
HICSS
2003
IEEE
15 years 4 months ago
2003
IEEE
Qureshi, et al. (2002) [1] presented a case study where they used a framework, the Intellectual Bandwidth Model to measure an organization’s ability to create value. The model c...