8874 search results - page 125 / 1775 » A New Implementation of Automath |
118
Voted
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
149
Voted
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
In Twenty Problems in the Theory of Cellular Automata, Stephen Wolfram asks “how common computational universality and undecidability [are] in cellular automata.” This papers p...
126
Voted
NIME
2004
Springer
15 years 9 months ago
2004
Springer
This report presents a novel interface for musical performance which utilizes a record-player turntable augmented with a computation engine and a high-density optical sensing arra...
113
click to vote
CHES
2003
Springer
15 years 9 months ago
2003
Springer
To protect a cryptographic algorithm against Differential Power Analysis, a general method consists in masking all intermediate data with a random value. When a cryptographic algo...
151
click to vote
CRYPTO
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The paradigms currently used to realize symmetric encryption schemes secure against adaptive chosen ciphertext attack (CCA) try to make it infeasible for an attacker to f...