40 search results - page 8 / 8 » Abstraction and Completeness for Real-Time Maude |
CCS
2001
ACM
13 years 9 months ago
2001
ACM
Abstract. We describe a weakness in the High Bandwidth Digital Content Protection (HDCP) scheme which may lead to practical attacks. HDCP is a proposed identity-based cryptosystem ...
JGTOOLS
2008
13 years 5 months ago
2008
Abstract. We explore the implications of reversing the process of shadow computation for real-time applications that model complex reflectance and lighting (such as that specified ...
MICCAI
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Vitreoretinal surgeons use 0.5mm diameter instruments to manipulate delicate tissue inside the eye while applying imperceptible forces that can cause damage to the retina...
EDBT
1998
ACM
13 years 9 months ago
1998
ACM
Abstract. In this paper, we propose a new bulk-loading technique for high-dimensional indexes which represent an important component of multimedia database systems. Since it is ver...
JMM2
2006
13 years 5 months ago
2006
Abstract-- This paper describes a framework for constructing a three-dimensional immersive environment that can be used for training physical activities. The system is designed to ...