14850 search results - page 2817 / 2970 » The Security of |
146
click to vote
DCC
2007
IEEE
16 years 6 months ago
2007
IEEE
We consider video sequences that have been encrypted uncompressed. Since encryption masks the source, traditional data compression algorithms are rendered ineffective. However, it...
206
click to vote
WSDM
2010
ACM
16 years 3 months ago
2010
ACM
In this paper, we study search bot traffic from search engine query logs at a large scale. Although bots that generate search traffic aggressively can be easily detected, a large ...
174
click to vote
PLDI
2010
ACM
16 years 3 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
184
click to vote
ICS
2010
Tsinghua U.
16 years 3 months ago
2010
Tsinghua U.
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
173
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
— Web service models are increasingly being used in the Grid community as way to create distributed applications exposing data and/or applications through self describing interfa...