6050 search results - page 317 / 1210 » Information In The Non-Stationary Case |
178
click to vote
JOC
2007
15 years 6 months ago
2007
We give an informal analysis and critique of several typical “provable security” results. In some cases there are intuitive but convincing arguments for rejecting the conclusi...
177
click to vote
AAI
2004
15 years 6 months ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
182
click to vote
SIAMCO
2000
15 years 6 months ago
2000
It is well known that a crucial property for the effective identification of time-varying systems is that the data carry continual information on the parameters to be estimated. As...
157
click to vote
JCAL
2002
15 years 6 months ago
2002
It has become increasingly important for educators to examine successful ICT implementations with the aim of understanding precisely what makes them successful in teaching and lear...
172
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
—As we all know, Hanoi Problem is a classical case of recursive algorithm in programming. In this paper, we study the problem in another way by numbering the peg from bottom to t...