27 search results - page 5 / 6 » Specification and Analysis of Dynamic Authorisation Policies |
JDCTA
2010
14 years 4 months ago
2010
The wide diffusion of new technologies in communication and business has changed how consumer and product/store knowledge has to be managed and represented digitally. This issue h...
CCR
2004
14 years 9 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
75
Voted
HPCA
2007
IEEE
15 years 9 months ago
2007
IEEE
Task-selection policies are critical to the performance of any architecture that uses speculation to extract parallel tasks from a sequential thread. This paper demonstrates that ...
101
click to vote
CF
2006
ACM
15 years 3 months ago
2006
ACM
In a multi-programmed computing environment, threads of execution exhibit different runtime characteristics and hardware resource requirements. Not only do the behaviors of distin...
EOR
2008
14 years 9 months ago
2008
In this work, we address investment decisions in production systems by using real options. As is standard in literature, the stochastic variable is assumed to be normally distribu...