Role-Based Access Control Models
Computer
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
Community Usage of the Online Conference Service: an Experience Report from three CS Conferences
I3E '02 Proceedings of the IFIP Conference on Towards The Knowledge Society: E-Commerce, E-Business, E-Government
Static verification of security requirements in role based CSCW systems
Proceedings of the eighth ACM symposium on Access control models and technologies
Lightweight coarse-grained coordination: a scalable system-level approach
International Journal on Software Tools for Technology Transfer (STTT)
A Web-Based Runtime-Reconfigurable Role Management Service
WWV '06 Proceedings of the 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems
Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-driven development with the jABC
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Run-time agents as a means of reconciling flexibility and scalability of services
WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
Hi-index | 0.00 |
In this paper we advocate to introduce a common modelling pattern for all the different layers of middleware based on services. This opens the possibility to flexibly choose the adequate levels for realizing specific features, and it allows all stakeholders to get a global picture of the overall scenario, a central factor when considering the convergence in networks and applications. Moreover, it allows to apply validations methods like model-based testing and model checking homogeneously, throughout the whole modelling hierarchy, from the underlying converging platforms to the user level.