"virtual computer"@cs .