Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleDecember 2011
Designing Fast and Scalable XACML Policy Evaluation Engines
IEEE Transactions on Computers (ITCO), Volume 60, Issue 12Pages 1802–1817https://doi.org/10.1109/TC.2010.274Most prior research on policies has focused on correctness. While correctness is an important issue, the adoption of policy-based computing may be limited if the resulting systems are not implemented efficiently and thus perform poorly. To increase the ...
- posterJune 2010
Context-aware reconfiguration of autonomic managers in real-time control applications
ICAC '10: Proceedings of the 7th international conference on Autonomic computingPages 73–74https://doi.org/10.1145/1809049.1809061We consider autonomic applications to systems for which continuous perfect monitoring of state is not possible. We use Exact-State Observers (ESO) to provide enhanced information about the system state. To achieve optimal configuration of the autonomic ...
- articleApril 2009
Policy-based autonomic computing with integral support for self-stabilisation
International Journal of Autonomic Computing (IJAC), Volume 1, Issue 1Pages 1–33https://doi.org/10.1504/IJAC.2009.024497This paper describes the AGILE technology for building self-managing systems. AGILE serves as both a policy expression language and a framework that facilitates the integration and dynamic composition of several autonomic computing techniques within a ...
- articleMay 2006
Simulation Verification and Validation by Dynamic Policy Specification and Enforcement
This article presents a new verification and validation technique for simulation using dynamic policy specification and enforcement. Security requirements, certain functional requirements, and constraints can be formally specified as policies, and they ...