Sciweavers

3814 search results - page 334 / 763
» Extensible Information Brokers
Sort
View
FC
2000
Springer
83views Cryptology» more  FC 2000»
15 years 10 months ago
Secret Key Authentication with Software-Only Verification
Abstract Two protocols for authentication based on symmetric key cryptography are described, where the verifier can be implemented in software completely, without the need for secu...
Jaap-Henk Hoepman
PODC
1995
ACM
15 years 10 months ago
Knowledge-Based Programs
We show how solution concepts in games such as Nash equilibrium, correlated equilibrium, rationalizability, and sequential equilibrium can be given a uniform definition in terms ...
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Mosh...
VLDB
1995
ACM
71views Database» more  VLDB 1995»
15 years 10 months ago
Database De-Centralization - A Practical Approach
We describe a scheme to fragment and distribute centralized databases. ’ The problem is motivated by trends towards down-sizing and reorganization, reflecting actual, often dist...
Tor Didriksen, César A. Galindo-Legaria, Ei...
CSFW
2010
IEEE
15 years 10 months ago
Formal Verification of Privacy for RFID Systems
RFID tags are being widely employed in a variety of applications, ranging from barcode replacement to electronic passports. Their extensive use, however, in combination with their ...
Mayla Brusò, Konstantinos Chatzikokolakis, ...
ECCV
2010
Springer
15 years 10 months ago
Probabilistic Deformable Surface Tracking From Multiple Videos
Abstract. In this paper, we address the problem of tracking the temporal evolution of arbitrary shapes observed in multi-camera setups. This is motivated by the ever growing number...