37 search results - page 6 / 8 » Resources, Concurrency, and Local Reasoning (Abstract) |
POLICY
2009
Springer
15 years 6 months ago
2009
Springer
Abstract—An administrative role-based access control (ARBAC) model specifies administrative policies over a role-based access control (RBAC) system, where an administrative perm...
105
click to vote
CODES
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents a novel approach for multiprocess synthesis supporting well-tailored module integration at system level. The goal is to extend the local scope of existing arch...
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
ESOP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
IPPS
2009
IEEE
15 years 6 months ago
2009
IEEE
Multi-core processors have changed the conventional hardware structure and require a rethinking of system scheduling and resource management to utilize them efficiently. However, ...