3926 search results - page 666 / 786 » Deriving Information Requirements from Responsibility Models |
118
click to vote
DEON
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
122
click to vote
ESORICS
2004
Springer
15 years 10 months ago
2004
Springer
We describe an approach to sensor-based authentication that can adapt to accommodate incomplete, unreliable, or inaccurate input provided to the system. Parameterized Authenticatio...
141
Voted
VISUALIZATION
2002
IEEE
15 years 9 months ago
2002
IEEE
The Gauss map projects surface normals to a unit sphere, providing a powerful visualization of the geometry of a graphical object. It can be used to predict visual events caused b...
152
Voted
IACR
2011
14 years 4 months ago
2011
Abstract. We describe and analyze the password-based key establishment protocol PACE v2 Integrated Mapping (IM), an evolution of PACE v1 jointly proposed by Gemalto and Sagem S´ec...
130
Voted
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
Ink-bleed interference is undesirable as it reduces the legibility and aesthetics of affected documents. We present a novel approach to reduce ink-bleed interference using functio...