248 search results - page 23 / 50 » Authentication Primitives and Their Compilation |
112
click to vote
UPP
2004
Springer
15 years 5 months ago
2004
Springer
Amorphous computing considers the problem of controlling millions of spatially distributed unreliable devices which communicate only with nearby neighbors. To program such a system...
99
Voted
CF
2010
ACM
15 years 5 months ago
2010
ACM
Tuning applications for multi-core systems involve subtle concepts and target-dependent optimizations. New languages are being designed to express concurrency and locality without...
206
click to vote
EUROPKI
2009
Springer
14 years 10 months ago
2009
Springer
Efficient zero-knowledge proofs of knowledge (ZK-PoK) are basic building blocks of many cryptographic applications such as identification schemes, group signatures, and secure mult...
109
click to vote
GPCE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
We propose a Java-like language where class de nitions are rst class values, hence new classes can be derived from existing, rather than by a xed mechanism like inheritance, by e...