Migrating desktop applications to the Internet: A novel virtualization paradigm based on Web operating systems