234 search results - page 45 / 47 » Proof Nets and the Identity of Proofs |
WPES
2005
ACM
15 years 3 months ago
2005
ACM
Radio Frequency Identification (RFID) technology raises significant privacy issues because it enables tracking of items and people possibly without their knowledge or consent. O...
ERCIMDL
2004
Springer
15 years 3 months ago
2004
Springer
In maintaining Digital Libraries, having bibliographic data up-to-date is critical, yet often minor irregularities may cause information isolation. Unlike documents for which vario...
100
click to vote
ECOOPW
1999
Springer
15 years 2 months ago
1999
Springer
Existing authorization mechanisms fail to provide powerful and robust tools for handling security at the scale necessary for today's Internet. These mechanisms are coming unde...
PET
2010
Springer
15 years 2 months ago
2010
Springer
In this work, we propose a new platform to enable service providers, such as web site operators, on the Internet to block past abusive users of anonymizing networks (for example, T...
85
Voted
DICS
2006
15 years 19 hour ago
2006
Achieving software reliability takes many complementary techniques, directed at the process or at the products. This survey summarizes some of the most fruitful ideas. 1 OVERVIEW ...