1302 search results - page 204 / 261 » Soundness in the Public-Key Model |
217
click to vote
ECOOP
2009
Springer
16 years 15 days ago
2009
Springer
Role-based access control (RBAC) is a common paradigm to ensure that users have sufficient rights to perform various system operations. In many cases though, traditional RBAC does ...
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
EUROGRAPHICS
2010
Eurographics
15 years 9 months ago
2010
Eurographics
Ray–based representations can model complex light transport but are limited in modeling diffraction effects that require the simulation of wavefront propagation. This paper prov...
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
Sound source localisation cues are severely degraded when multiple acoustic sources are active in the presence of reverberation. We present a binaural system for localising simult...