14704 search results - page 2652 / 2941 » computing 2007 |
163
click to vote
CASES
2007
ACM
15 years 8 months ago
2007
ACM
The key to increasing performance without a commensurate increase in power consumption in modern processors lies in increasing both parallelism and core specialization. Core speci...
140
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
167
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Administrative RBAC (ARBAC) policies specify how Role-Based Access Control (RBAC) policies may be changed by each administrator. It is often difficult to fully understand the effe...
137
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Multi-tier web server systems are used in many important contexts and their security is a major cause of concern. Such systems can exploit strategies like least privilege to make ...
124
click to vote
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract-- In order to increase the transportation capability of elevator group systems in high-rise buildings without adding elevator installation space, double-deck elevator syst...