Sciweavers

1150 search results - page 119 / 230
» Specifying Information-Flow Controls
Sort
View
ECOOPW
1998
Springer
15 years 6 months 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
92
Voted
SEC
2008
15 years 4 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...
143
Voted
ICCV
2009
IEEE
15 years 15 days 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...
154
Voted
TOG
2012
181views Communications» more  TOG 2012»
13 years 5 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
134
Voted
CORR
2010
Springer
176views Education» more  CORR 2010»
15 years 2 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