1096 search results - page 198 / 220 » Abstract Canonical Inference |
ESORICS
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. Cloud computing is a new computing paradigm that is gaining increased popularity. More and more sensitive user data are stored in the cloud. The privacy of users’ acces...
87
Voted
INFOCOM
2012
IEEE
13 years 3 days ago
2012
IEEE
Abstract—Tor is a well-known low-latency anonymous communication system that is able to bypass Internet censorship. However, publicly announced Tor routers are being blocked by v...
101
click to vote
ICDCS
2012
IEEE
13 years 1 days ago
2012
IEEE
Abstract—Virtualized cloud systems are prone to performance anomalies due to various reasons such as resource contentions, software bugs, and hardware failures. In this paper, we...
106
click to vote
CADE
2012
Springer
13 years 1 days ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
61
Voted
MLG
2007
Springer
15 years 3 months ago
2007
Springer
We give a universal kernel that renders all the regular languages linearly separable. We are not able to compute this kernel efficiently and conjecture that it is intractable, but...