Autonomic management policy specification in Tune.
Laurent BrotoDaniel HagimontPatricia StolfNoel De PalmaSuzy TematePublished in: SAC (2008)
Keyphrases
- autonomic systems
- policy making
- autonomic computing
- management policies
- autonomic computing systems
- management system
- optimal policy
- decision making
- user defined
- neural network
- data processing
- information management
- formal specification
- information systems
- public policy
- data mining
- state space
- database
- specification language
- formal verification
- high level
- e learning
- allocation policy