3086 search results - page 424 / 618 » Developing Secure Web Applications |
118
click to vote
CORR
2010
Springer
15 years 2 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...
230
Voted
CCS
2011
ACM
14 years 2 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...
110
click to vote
ESWS
2009
Springer
15 years 9 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...
96
Voted
IPPS
2005
IEEE
15 years 8 months 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...
116
click to vote
LPAR
2005
Springer
15 years 7 months 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...