1419 search results - page 100 / 284 » Notes on Formalizing Context |
111
Voted
SICHERHEIT
2008
15 years 2 months ago
2008
We specify a system for authentication and key derivation using genetic fingerprints which prevents the recovery of biometric information from data stored for verification. We pre...
ISICT
2004
15 years 2 months ago
2004
A type flaw attack on a security protocol is an attack where a field in a message that was originally intended to have one type is subsequently interpreted as having another type. ...
GRAPHICSINTERFACE
1997
15 years 2 months ago
1997
We present four empirical measures of the immediate usability of Graffiti, a character recognizer for pen-based computers. Since speed is fully controlled by the user, we measured...
113
Voted
ATAL
2010
Springer
15 years 28 days ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
96
Voted
CORR
2000
Springer
15 years 16 days ago
2000
Springer
We describe a formal model for annotating linguistic artifacts, from which we derive an application programming interface (API) to a tools for manipulating these annotations. The ...