10568 search results - page 1864 / 2114 » Computer Intelligence and Formalization |
132
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we study the security of a practical randomness extractor and its application in the tls standard. Randomness extraction is the first stage of key derivation functi...
155
click to vote
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...
142
click to vote
DEBS
2008
ACM
15 years 5 months ago
2008
ACM
This paper defines and discusses the implementation of two novel extensions to the Siena Content-based Network (CBN) to extend it to become a Knowledge-based Network (KBN) thereby...
140
click to vote
DSVIS
2008
Springer
15 years 5 months ago
2008
Springer
Specifying user interfaces consists in a fundamental activity in the user interface development life cycle as it informs the subsequent steps. Good quality specifications could lea...
149
click to vote
NIPS
2008
15 years 5 months ago
2008
CAPTCHAs are computer-generated tests that humans can pass but current computer systems cannot. CAPTCHAs provide a method for automatically distinguishing a human from a computer ...