3086 search results - page 424 / 618 » Developing Secure Web Applications |
169
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Integer factorization is a very hard computational problem. Currently no ecient algorithm for integer factorization is publicly known. However, this is an important probl...
319
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
Paper forgery is among the leading causes of corruption in many developing regions [2]. In this paper, we introduce PaperSpeckle, a robust system that leverages the natural random...
163
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper discusses problems of creating and using ontology library services in production use. One approach to a solution is presented with an online implementation—t...
148
click to vote
IPPS
2005
IEEE
16 years 3 days ago
2005
IEEE
Common Language Infrastructure, or CLI, is a standardized virtual machine, which increasingly becomes popular on a wide range of platforms. In this paper we developed three I/O-in...
185
click to vote
LPAR
2005
Springer
16 years 22 hour ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...