Sciweavers

1150 search results - page 119 / 230
» Specifying Information-Flow Controls
Sort
View
ECOOPW
1998
Springer
14 years 9 days ago
Role-Based Protection and Delegation for Mobile Object Environments
PrincipalDomain is an administrative scoping construct for establishing security policies based on the principals invoking object services that may entail objects moving around a ...
Nataraj Nagaratnam, Doug Lea
SEC
2008
13 years 9 months ago
Negotiation of Prohibition: An Approach Based on Policy Rewriting
Abstract. In recent security architectures, it is possible that the security policy is not evaluated in a centralized way but requires negotiation between the subject who is reques...
Nora Cuppens-Boulahia, Frédéric Cupp...
ICCV
2009
IEEE
13 years 6 months ago
Non-Euclidean image-adaptive Radial Basis Functions for 3D interactive segmentation
In the context of variational image segmentation, we propose a new finite-dimensional implicit surface representation. The key idea is to span a subset of implicit functions with ...
Benoit Mory, Roberto Ardon, Anthony J. Yezzi, Jean...
TOG
2012
181views Communications» more  TOG 2012»
11 years 10 months ago
Soft body locomotion
We present a physically-based system to simulate and control the locomotion of soft body characters without skeletons. We use the finite element method to simulate the deformatio...
Jie Tan, Greg Turk, C. Karen Liu
CORR
2010
Springer
176views Education» more  CORR 2010»
13 years 8 months ago
Bus Protocols: MSC-Based Specifications and Translation into Program of Verification Tool for Formal Verification
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
Kamrul Hasan Talukder