The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
Checking subsystem safety properties in compositional reachability analysis
Proceedings of the 18th international conference on Software engineering
Distributed resource administration using Cfengine
Software—Practice & Experience
A game theoretic framework for bandwidth allocation and pricing in broadband networks
IEEE/ACM Transactions on Networking (TON)
A statistical approach to predictive detection
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on selected topics in network and systems management
ACM Transactions on Computer Systems (TOCS)
Optimizing Quality of Service Using Fuzzy Control
DSOM '02 Proceedings of the 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management: Management Technologies for E-Commerce and E-Business Applications
An Analysis of UNIX System Configuration
LISA '97 Proceedings of the 11th Conference on Systems Administration
Bootstrapping an Infrastructure
LISA '98 Proceedings of the 12th Conference on Systems Administration
LISA '98 Proceedings of the 12th Conference on Systems Administration
Self-Monitoring and Self-Adapting Operating Systems
HOTOS '97 Proceedings of the 6th Workshop on Hot Topics in Operating Systems (HotOS-VI)
Maintaining Node Consistency in the Face of Dynamic Change
ICCDS '96 Proceedings of the 3rd International Conference on Configurable Distributed Systems
It's Elementary, Dear Watson: Applying Logic Programming To Convergent System Management Processes
LISA '99 Proceedings of the 13th USENIX conference on System administration
Theoretical System Administration
LISA '00 Proceedings of the 14th USENIX conference on System administration
PIKT: Problem Informant/Killer Tool
LISA '00 Proceedings of the 14th USENIX conference on System administration
(Awarded Best Theory Paper!) A Probabilistic Approach to Estimating Computer System Reliability
LISA '01 Proceedings of the 15th USENIX conference on System administration
The Maelstrom: Network Service Debugging via "Ineffective Procedures"
LISA '01 Proceedings of the 15th USENIX conference on System administration
Why Order Matters: Turing Equivalence in Automated Systems Administration
LISA '02 Proceedings of the 16th USENIX conference on System administration
A Mathematical Theory of Communication
A Mathematical Theory of Communication
Automated response using system-call delays
SSYM'00 Proceedings of the 9th conference on USENIX Security Symposium - Volume 9
Configurable immunity for evolving human-computer systems
Science of Computer Programming - Methods of software design: Techniques and applications
Theoretical System Administration
LISA '00 Proceedings of the 14th USENIX conference on System administration
A control theory perspective on configuration management and Cfengine
ACM SIGBED Review
Probabilistic anomaly detection in distributed computer networks
Science of Computer Programming
Getting more from your virtual machine
Journal of Computing Sciences in Colleges
A risk analysis of disk backup or repository maintenance
Science of Computer Programming
Biology, immunology and information security
Information Security Tech. Report
Dynamic QoS adaptation of inter-dependent task sets in cooperative embedded systems
Autonomics '08 Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems
Dynamics of Resource Closure Operators
AIMS '09 Proceedings of the 3rd International Conference on Autonomous Infrastructure, Management and Security: Scalability of Networks and Services
Management without (Detailed) Models
ATC '09 Proceedings of the 6th International Conference on Autonomic and Trusted Computing
Combining Learned and Highly-Reactive Management
MACE '09 Proceedings of the 4th IEEE International Workshop on Modelling Autonomic Communications Environments
Testable system administration
Communications of the ACM
Log analysis and event correlation using variable temporal event correlator (VTEC)
LISA'10 Proceedings of the 24th international conference on Large installation system administration
Troubleshooting with human-readable automated reasoning
LISA'10 Proceedings of the 24th international conference on Large installation system administration
Testable System Administration
Queue - System Administration
An approach to understanding policy based on autonomy and voluntary cooperation
DSOM'05 Proceedings of the 16th IFIP/IEEE Ambient Networks international conference on Distributed Systems: operations and Management
| Hi-index | 0.02 |
This paper describes a mean field approach to defining and implementing policy-based system administration. The concepts of regulation and optimization are used to define the notion of maintenance. These are then used to evaluate stable equilibria of system configuration, that are associated with sustainable policies for system management. Stable policies are thus associated with fixed points of a mapping that describes the evolution of the system. In general, such fixed points are the solutions of strategic games. A consistent system policy is not sufficient to guarantee compliance; the policy must also be implementable and maintainable. The paper proposes two types of model to understand policy driven management of Human-Computer systems: (i) average dynamical descriptions of computer system variables which provide a quantitative basis for decision, and (ii) competitive game theoretical descriptions that select optimal courses of action by generalizing the notion of configuration equilibria. It is shown how models can be formulated and simple examples are given.