9730 search results - page 1610 / 1946 » Relating models of backtracking |
195
click to vote
VMCAI
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
217
click to vote
FCT
2005
Springer
16 years 23 days ago
2005
Springer
We present several results on the complexity of various forms of Sperner’s Lemma in the black-box model of computing. We give a deterministic algorithm for Sperner problems over ...
189
click to vote
ASPDAC
2004
ACM
16 years 22 days ago
2004
ACM
Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we use a novel topo...
223
click to vote
CHI
2004
ACM
16 years 22 days ago
2004
ACM
Do different design and information content factors influence trust and mistrust of online health sites? Fifteen women faced with a risky health decision were observed while searc...
191
click to vote
CSCW
2004
ACM
16 years 22 days ago
2004
ACM
This paper considers the complexity of measuring the return on investment for technology adoption. A brief case study of technology adoption in a large design and construction fir...