共 50 条
- [21] Replication for Predictability in a Java']Java RPC Framework 2015 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING, 2015, : 163 - 164
- [22] SSJ: A framework for stochastic simulation in Java']Java PROCEEDINGS OF THE 2002 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2002, : 234 - 242
- [24] Java']Java RDF framework for knowledge repository SAMI: 2009 7TH INTERNATIONAL SYMPOSIUM ON APPLIED MACHINE INTELLIGENCE AND INFORMATICS, 2009, : 83 - 86
- [25] A security framework for reflective Java']Java applications SOFTWARE-PRACTICE & EXPERIENCE, 2003, 33 (09): : 821 - 846
- [26] JayHorn: A Framework for Verifying Java']Java programs COMPUTER AIDED VERIFICATION, (CAV 2016), PT I, 2016, 9779 : 352 - 358
- [27] OpusJava']Java: A Java']Java framework for distributed high performance computing FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2001, 18 (02): : 235 - 251
- [28] A robust framework for building Java']Java applications COMPUTER SCIENCE AND TECHNOLOGY IN NEW CENTURY, 2001, : 506 - 510
- [29] A Java']Java framework to teach computer architecture NEW TRENDS AND TECHNOLOGIES IN COMPUTER-AIDED LEARNING FOR COMPUTER-AIDED DESIGN, 2005, 192 : 25 - 35
- [30] A formal framework for Java']Java separate compilation ECOOP 2002 - OBJECT-ORIENTED PROGRAMMING, 2002, 2374 : 609 - 635