2263 search results - page 47 / 453 » Principles of Template Design |
114
click to vote
ERSHOV
2003
Springer
15 years 7 months ago
2003
Springer
We study the roles of message components in authentication protocols. In particular, we investigate how a certain component contributes to the task of achieving entity authenticati...
103
click to vote
LICS
2010
IEEE
15 years 12 days ago
2010
IEEE
—We design an intuitionistic predicate logic that supports a limited amount of classical reasoning, just enough to prove a variant of Markov’s principle suited for predicate lo...
ICIP
2003
IEEE
16 years 3 months ago
2003
IEEE
Thispaper presents an information-theoreticstudy ofvideo codecs that are based on the principle of source coding with side information at the decoder In contrast to the classical ...
107
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
With the scaling of technology, power grid noise is becoming increasingly significant for circuit performance. A typical power grid circuit contains millions of linear elements, m...
435
click to vote
IJMI
2010
15 years 13 days ago
2010
The integration of Software Engineering (SE) and Human-Computer Interaction (HCI) methods and models is an interesting means for modelling an organization's activities, with ...