Search Sciweavers | Sciweavers

1190 search results - page 71 / 238

» You are There

click to vote

ETRICS
2006

148views Security Privacy» more ETRICS 2006»

Do You Trust Your Recommendations? An Exploration of Security and Privacy Issues in Recommender Systems

13 years 11 months ago

Download www.grouplens.org

Recommender systems are widely used to help deal with the problem of information overload. However, recommenders raise serious privacy and security issues. The personal information...

Shyong K. Lam, Dan Frankowski, John Riedl

claim paper

Read More »

click to vote

FMCAD
2000
Springer

134views Formal Methods» more FMCAD 2000»

Do You Trust Your Model Checker?

13 years 11 months ago

Download www-ti.informatik.uni-tuebingen.de

Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...

Wolfgang Reif, Jürgen Ruf, Gerhard Schellhorn...

claim paper

Read More »

click to vote

ISN
1998
Springer

87views Communications» more ISN 1998»

See What You Sign: Secure Implementations of Digital Signatures

13 years 11 months ago

Download www.iig.uni-freiburg.de

An expectation of a signature system is that a signatory cannot dispute a signature. Aiming at this, the following questions arise: Can documents in electronic commerce on the Inte...

Arnd Weber

claim paper

Read More »

click to vote

KONVENS
2000

121views Natural Language Processing» more KONVENS 2000»

Das View4You- System: End-to-End Evaluation

13 years 11 months ago