共 50 条
- [31] Reifying Wildcards in Java']Java Using the EGO Approach APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 1315 - 1322
- [32] A secure Java']Java™ Virtual Machine USENIX ASSOCIATION PROCEEDINGS OF THE NINTH USENIX SECURITY SYMPOSIUM, 2000, : 19 - 34
- [33] An Internet-based distributed virtual educational system for Java']Java language using Java']Java web player IC'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTERNET COMPUTING, VOLS 1 AND 2, 2004, : 450 - 454
- [34] Genericity in Java']Java with virtual types ECOOP'97: OBJECT-ORIENTED PROGRAMMING, 1997, 1241 : 444 - 471
- [35] A java']java based tool to develop a remote laboratory for process control teaching INTERNET BASED CONTROL EDUCATION 2001, 2002, : 53 - 58
- [36] Preservation of proof obligations from Java']Java to the Java']Java virtual machine AUTOMATED REASONING, PROCEEDINGS, 2008, 5195 : 83 - +
- [38] Live Software Development Environment for Java']Java using Virtual Reality PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), 2019, : 37 - 46
- [39] Using XML and Java']Java for astronomical instrument control ASTRONOMICAL DATA ANALYSIS SOFTWARE AND SYSTEMS IX, 2000, 216 : 271 - 274
- [40] A Java']Java/CORBA virtual machine architecture for remote execution of optimization solvers in heterogeneous networks SOFTWARE-PRACTICE & EXPERIENCE, 2001, 31 (01): : 1 - 16