1061 search results - page 210 / 213 » A general definition of malware |
170
Voted
SAC
2008
ACM
15 years 1 months ago
2008
ACM
There has been a recent effort in the literature to reconsider grammar-dependent software development from an engineering point of view. As part of that effort, we examine a defic...
100
click to vote
AIRS
2010
Springer
14 years 12 months ago
2010
Springer
This paper is concerned with a new task of ranking, referred to as "supplementary data assisted ranking", or "supplementary ranking" for short. Different from c...
132
Voted
ASIACRYPT
2010
Springer
14 years 12 months ago
2010
Springer
We consider the problem of encrypting structured data (e.g., a web graph or a social network) in such a way that it can be efficiently and privately queried. For this purpose, we ...
120
Voted
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
148
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...