Sciweavers

9698 search results - page 206 / 1940
» models 2010
Sort
View
CVGIP
2010
182views more  CVGIP 2010»
15 years 6 months ago
MCCD: Multi-core collision detection between deformable models using front-based decomposition
We present a novel parallel algorithm for fast continuous collision detection (CCD) between deformable models using multi-core processors. We use a hierarchical representation to ...
Min Tang, Dinesh Manocha, Ruofeng Tong
IJNSEC
2010
145views more  IJNSEC 2010»
15 years 1 months ago
Formal Specification of Common Criteria Based Access Control Policy Model
One of the major threats that an enterprise Information system networks are facing today is the Insider threat. As part of the Insider Threat study, lack of an effective access co...
Manpreet Singh, Manjeet S. Patterh
ENTCS
2006
109views more  ENTCS 2006»
15 years 6 months ago
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets
In this paper, we discuss how to model systems that communicate through and are coordinated by mobile channels. Mainly, we focus on modeling the exogenous coordination behavior im...
Juan Guillen Scholten, Farhad Arbab, Frank S. de B...
FMICS
2010
Springer
15 years 7 months ago
A Formal Model of Identity Mixer
Identity Mixer is an anonymous credential system developed at IBM that allows users for instance to prove that they are over 18 years old without revealing their name or birthdate....
Jan Camenisch, Sebastian Mödersheim, Dieter S...
IJMTM
2010
83views more  IJMTM 2010»
15 years 1 months ago
The impact of Product Lifecycle Management on virtual team creation: a concept change model for heightened productivity
: This paper addresses issues related to the implementation of product lifecycle management (PLM) in support of cross-cultural virtual teams (CCVT). The cross-cultural virtual team...
Magdalena B. Lech, Tanner J. Georgiades, John E. S...