Login / Signup
Specification-Enhanced Policies for Automated Management of Changes in IT Systems.
Chetan Shiva Shankar
Vanish Talwar
Subu Iyer
Yuan Chen
Dejan S. Milojicic
Roy H. Campbell
Published in:
LISA (2006)
Keyphrases
</>
management system
complex systems
management policies
data sets
intelligent systems
data processing
information management
formal specification
semi automated
databases
information systems
data management
computing systems
formal methods
autonomic computing