共 50 条
- [1] A flexible access control service for Java']Java mobile code 16TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, PROCEEDINGS, 2000, : 356 - 365
- [3] Providing fine-grained access control for Java']Java programs ECOOP'99 - OBJECT-ORIENTED PROGRAMMING, 1999, 1628 : 449 - 473
- [5] Refactoring Java']Java Programs for Flexible Locking 2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 71 - 80
- [6] Automatic decomposition of Java']Java program for implementation on mobile terminals 19TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 1, PROCEEDINGS: AINA 2005, 2005, : 544 - 549
- [7] JayHorn: A Framework for Verifying Java']Java programs COMPUTER AIDED VERIFICATION, (CAV 2016), PT I, 2016, 9779 : 352 - 358
- [8] A Framework for Debugging Java']Java Programs in a Bytecode 2018 INTERNATIONAL CONFERENCE ON COMPUTING, ELECTRONICS & COMMUNICATIONS ENGINEERING (ICCECE), 2018, : 317 - 322
- [9] Efficient incremental checkpointing of Java']Java programs DSN 2000: INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2000, : 61 - 70
- [10] Application of Java technology to mobile terminals Kyokai Joho Imeji Zasshi/Journal of the Institute of Image Information and Television Engineers, 2002, 56 (05):