4511 search results - page 657 / 903 » Observation Based System Security |
161
click to vote
SIGCOMM
2009
ACM
15 years 10 months ago
2009
ACM
People increasingly generate content on their mobile devices and upload it to third-party services such as Facebook and Google Latitude for sharing and backup purposes. Although t...
135
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— The paper is concerned with a novel adaptive game server protocol optimization to combat network latencies in the case of heterogeneous network environment. In this way, game p...
167
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
Most previous research on privacy-preserving data publishing, based on the k-anonymity model, has followed the simplistic approach of homogeneously giving the same generalized val...
159
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
Burstiness, a phenomenon initially observed in text re-
trieval, is the property that a given visual element appears
more times in an image than a statistically independent
mode...
143
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...