2575 search results - page 415 / 515 » Providing security with insecure systems |
184
click to vote
DRR
2008
15 years 7 months ago
2008
Degraded documents are frequently obtained in various situations. Examples of degraded document collections include historical document depositories, document obtained in legal an...
189
click to vote
TCS
2008
15 years 6 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
159
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
We interpret "mission assurance" to mean the guarantee that Mission Essential Functionality (MEF) provided by an information system is continued despite partial failures ...
158
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...
157
click to vote
ICRA
2008
IEEE
16 years 24 days ago
2008
IEEE
— In order to provide personalized services and to develop human-like interaction capabilities robots need to recognize their human partner. Face recognition has been studied in ...