Sciweavers

5326 search results - page 340 / 1066
» On what we can ensure
Sort
View
DBSEC
2008
188views Database» more  DBSEC 2008»
15 years 8 months ago
On the Formal Analysis of a Spatio-temporal Role-Based Access Control Model
With the growing use of wireless networks and mobile devices, we are moving towards an era where spatial and temporal information will be necessary for access control. The use of s...
Manachai Toahchoodee, Indrakshi Ray
ICAD
2004
15 years 8 months ago
Capture and Recreation of Higher-Order 3D Sound Fields via Reciprocity
We propose a unified and simple approach for capturing and recreating 3D sound fields by exploring the reciprocity principle that is satisfied between the two processes. Our appro...
Zhiyun Li, Ramani Duraiswami, Nail A. Gumerov
ENTCS
2010
75views more  ENTCS 2010»
15 years 6 months ago
A Lightweight Approach to Customizable Composition Operators for Java-like Classes
We propose a formal framework for extending a class-based language, equipped with a given class composition mechanism, to allow programmers to define their own derived composition...
Giovanni Lagorio, Marco Servetto, Elena Zucca
CVGIP
2007
108views more  CVGIP 2007»
15 years 6 months ago
Physically based rigging for deformable characters
In this paper we introduce a framework for instrumenting (“rigging”) characters that are modeled as dynamic elastic bodies, so that their shapes can be controlled by an animat...
Steve Capell, Matthew Burkhart, Brian Curless, Tom...
JAIR
2007
103views more  JAIR 2007»
15 years 6 months ago
Obtaining Reliable Feedback for Sanctioning Reputation Mechanisms
Reputation mechanisms offer an effective alternative to verification authorities for building trust in electronic markets with moral hazard. Future clients guide their business...
Radu Jurca, Boi Faltings