Next:
Task 4.1: Developing Grail
Up:
Plan of work
Previous:
Task 3.2: Relationship to
Task 4: Resource quantification at the Java bytecode level
Subsections
Task 4.1: Developing Grail for Grid computation
Task 4.2: Proof-carrying code certificates in the Java class file format
