3218 search results - page 314 / 644 » Timed Extensions for SDL |
321
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
Paper forgery is among the leading causes of corruption in many developing regions [2]. In this paper, we introduce PaperSpeckle, a robust system that leverages the natural random...
318
click to vote
CRV
2011
IEEE
14 years 6 months ago
2011
IEEE
— Algorithmic problem reduction is a fundamental approach to problem solving in many fields, including robotics. To solve a problem using this scheme, we must reduce the problem...
202
click to vote
EMSOFT
2011
Springer
14 years 6 months ago
2011
Springer
As system integration becomes an increasingly important challenge for complex real-time systems, there has been a significant demand for supporting real-time systems in virtualiz...
226
click to vote
IACR
2011
14 years 6 months ago
2011
We consider the question of how to store a value secretly on devices that continually leak information about their internal state to an external attacker. If the secret value is s...
253
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Effective resource management of virtualized environments is a challenging task. State-of-the-art management systems either rely on analytical models or evaluate resource allocati...