2941 search results - page 405 / 589 » The Myth of the Educational Computer |
164
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Let G1 be a cyclic multiplicative group of order n. It is known that the Diffie-Hellman problem is random self-reducible in G1 with respect to a fixed generator g if (n) is known....
151
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract--A peak-power-limited single-antenna block-stationary Gaussian fading channel is studied, where neither the transmitter nor the receiver knows the channel state informatio...
206
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...
178
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
183
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We present an accurate Lagrangian method based on vortex particles, level-sets, and immersed boundary methods, for animating the interplay between two fluids and rigid solids. We ...