Policy management: leveraging the open virtualization format with contract and solution models | IEEE Journals & Magazine | IEEE Xplore