Innovative Approach in AGILE Policies Validation
暂无分享,去创建一个
[1] Mariusz Pelc,et al. Self-tuning run-time reconfigurable PID controller , 2011 .
[2] Saeed Jalili,et al. Towards modeling and runtime verification of self-organizing systems , 2016, Expert Syst. Appl..
[3] Julie A. McCann,et al. A survey of autonomic computing—degrees, models, and applications , 2008, CSUR.
[4] Marcin Jamro,et al. CPDev Engineering Environment for Modeling, Implementation, Testing, and Visualization of Control Software , 2014, Recent Advances in Automation, Robotics and Measuring Techniques.
[5] Luigi V. Mancini,et al. Towards a formal model for security policies specification and validation in the selinux system , 2004, SACMAT '04.
[6] Soumya Banerjee,et al. Design and Implementation of a Policy Recommender System Towards Social Innovation: An Experience With Hybrid Machine Learning , 2015, ECC.
[7] Salim Hariri,et al. Autonomic Computing: An Overview , 2004, UPP.
[8] Mikko Siuko,et al. Iterative and Participative Axiomatic Design Process in complex mechanical assemblies: case study on fusion engineering , 2015 .
[9] Jorge Lobo,et al. Analysis of privacy and security policies , 2009, IBM J. Res. Dev..
[10] Guilherme Carvalho Januario,et al. A Survey of Policy Refinement Methods as a Support for Sustainable Networks , 2016, IEEE Communications Surveys & Tutorials.
[11] Mariusz Pelc. Context-aware Fuzzy Control Systems , 2014, Int. J. Softw. Eng. Knowl. Eng..
[12] Sushil Jajodia,et al. A logic-based framework for attribute based access control , 2004, FMSE '04.
[13] Luciano Baresi,et al. Formal verification and validation of embedded systems: the UML-based MADES approach , 2015, Software & Systems Modeling.
[14] Mariusz Pelc. A framework for verification of context-aware policy-supervised autonomic systems , 2011 .