125 search results - page 19 / 25 » A Preliminary Study for a Biomechanical Model of the Respira... |
CSFW
2004
IEEE
14 years 10 days ago
2004
IEEE
We study the specification of access control policy in large-scale distributed systems. We present Cassandra, a language and system for expressing policy, and the results of a sub...
CBSE
2006
Springer
14 years 10 days ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
USS
2010
13 years 6 months ago
2010
Many techniques have been proposed to generate keys including text passwords, graphical passwords, biometric data and etc. Most of these techniques are not resistant to coercion a...
ICARCV
2006
IEEE
14 years 2 months ago
2006
IEEE
— As confirmed by recent neurophysiological studies, the use of dynamic information is extremely important for humans in visual perception of biological forms and motion. Apart ...
HUC
2004
Springer
14 years 2 months ago
2004
Springer
As the trend towards technology-enriched home environments progresses, the need to enable users to create applications to suit their own lives increases. While several recent proje...