21108 search results - page 3985 / 4222 » A General Class of Models of |
161
Voted
JOC
2010
14 years 11 months ago
2010
We present a new encryption scheme which is secure against adaptive chosenciphertext attack (or CCA2-secure) in the standard model (i.e. without the use of random oracle). Our sch...
127
Voted
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
125
click to vote
KDD
2010
ACM
14 years 11 months ago
2010
ACM
Successful software maintenance is becoming increasingly critical due to the increasing dependence of our society and economy on software systems. One key problem of software main...
117
click to vote
PE
2010
Springer
14 years 11 months ago
2010
Springer
We consider a push pull queueing system with two servers and two types of jobs which are processed by the two servers in opposite order, with stochastic generally distributed proc...
115
Voted
SIGOPS
2010
14 years 11 months ago
2010
Today’s Rich Internet Application (RIA) technologies such as Ajax, Flex, or Silverlight, are designed around the client-server paradigm and cannot easily take advantage of repli...