1413 search results - page 152 / 283 » Bisimilarity of Open Terms |
154
click to vote
CCS
2007
ACM
16 years 23 days ago
2007
ACM
We propose BeamAuth, a two-factor web authentication technique where the second factor is a specially crafted bookmark. BeamAuth presents two interesting features: (1) only server...
165
click to vote
CCS
2007
ACM
16 years 23 days ago
2007
ACM
Usage controls allow the distributor of some information to limit how recipients of that information may use it. The Trusted Computing Group has standardized Trusted Platform Modu...
161
click to vote
CIKM
2007
Springer
16 years 23 days ago
2007
Springer
This paper describes Koru, a new search interface that offers effective domain-independent knowledge-based information retrieval. Koru exhibits an understanding of the topics of b...
175
click to vote
FMCO
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
161
click to vote
GECCO
2007
Springer
16 years 22 days ago
2007
Springer
The Cross Entropy algorithm is a new search method for combinatorial problem. However, it needs considerable computational time to achieve good solution quality. To make the Cross...