Sciweavers

22698 search results - page 4069 / 4540
» Modeling in Software Engineering
Sort
View
SACMAT
2009
ACM
16 years 26 days ago
Supporting RBAC with XACML+OWL
XACML does not natively support RBAC and even the specialized XACML profiles are not able to support many relevant constraints such as static and dynamic separation of duty. Exte...
Rodolfo Ferrini, Elisa Bertino
CW
2008
IEEE
16 years 25 days ago
Real-Time Marker Level Set on GPU
Level set methods have been extensively used to track the dynamical interfaces between different materials for physically based simulation, geometry modeling, oceanic modeling and...
Xing Mei, Philippe Decaudin, Bao-Gang Hu, Xiaopeng...
DATE
2008
IEEE
161views Hardware» more  DATE 2008»
16 years 25 days ago
Spatial Correlation Extraction via Random Field Simulation and Production Chip Performance Regression
Statistical timing analysis needs a priori knowledge of process variations. Lack of such a priori knowledge of process variations prevents accurate statistical timing analysis, fo...
Bao Liu
167
Voted
ICDCS
2007
IEEE
16 years 21 days ago
Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
Guoqiang Shu, David Lee
AAIM
2007
Springer
94views Algorithms» more  AAIM 2007»
16 years 17 days ago
An Ingenious, Piecewise Linear Interpolation Algorithm for Pricing Arithmetic Average Options
Abstract. Pricing arithmetic average options continues to intrigue researchers in the field of financial engineering. Since there is no analytical solution for this problem until...
Tian-Shyr Dai, Jr-Yan Wang, Hui-Shan Wei
« Prev « First page 4069 / 4540 Last » Next »