CLEVER: A Cloud Cross-Computing Platform Leveraging GRID Resources