| A programming model and execution environment for autonomous systems | |  | | 2004 | 1,078 | 709 |
|
| Practical Virtual Method Call Resolution for Java | Trusted objects = Objets de confiance | | | 1999 | 138 | 706 |
|
| The Design and Implementation of a Comparative Verification Suite for OSF/1 | Object applications = Applications des objets | | | 1996 | 125 | 150 |
|
