945 search results - page 94 / 189 » On the robustness of primitive words |
185
click to vote
CADE
1990
Springer
15 years 10 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
154
click to vote
HPCC
2009
Springer
15 years 10 months ago
2009
Springer
Experience has shown that development using shared-memory concurrency, the prevalent parallel programming paradigm today, is hard and synchronization primitives nonintuitive becaus...
164
click to vote
ICISC
2008
15 years 7 months ago
2008
Oblivious transfer is one of the most important cryptographic primitives, both for theoretical and practical reasons and several protocols were proposed during the years. We provid...
132
click to vote
DM
2008
15 years 6 months ago
2008
We prove the following result concerning the inheritance of hyper-duality by block and quotient Bose-Mesner algebras associated with a hyper-dual pair of imprimitive Bose-Mesner a...
167
click to vote
JUCS
2008
15 years 6 months ago
2008
: In this article we present an architecture for the integration of tutoring approaches and process scaffolds into existing collaborative applications. The architecture allows to c...