8874 search results - page 1671 / 1775 » A New Implementation of Automath |
147
click to vote
ISORC
2002
IEEE
15 years 8 months ago
2002
IEEE
Functionality for various services of scheduling algorithms is typically provided as extensions to a basic algorithm. Aperiodic task handling, guarantees, etc., are integrated wit...
151
Voted
SACMAT
2010
ACM
15 years 8 months ago
2010
ACM
We propose a new approach for applying Role-Based Access Control (RBAC) to methods in objects in the Java programming language. In our approach, a policy implementer (usually a de...
139
Voted
SIGMETRICS
2010
ACM
15 years 8 months ago
2010
ACM
We present S, the first system to provide transparent, lowoverhead application record-replay and the ability to go live from replayed execution. S i...
155
click to vote
EUROCRYPT
2010
Springer
15 years 8 months ago
2010
Springer
In this paper we propose a new approach to investigate the security of the McEliece cryptosystem. We recall that this cryposystem relies on the use of error-correcting codes. Since...
121
Voted
EUROCRYPT
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Physical computational devices leak side-channel information that may, and often does, reveal secret internal states. We present a general transformation that compiles an...