共 50 条
- [21] Typechecking Java']Java Protocols with [St]Mungo FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2020, 2020, 12136 : 208 - 224
- [22] Implementing protocols in Java']Java: The price of portability IEEE INFOCOM '98 - THE CONFERENCE ON COMPUTER COMMUNICATIONS, VOLS. 1-3: GATEWAY TO THE 21ST CENTURY, 1998, : 765 - 773
- [23] Tutorial: Principles and Practices of Secure Cryptographic Coding in Java']Java 2020 IEEE SECURE DEVELOPMENT (SECDEV 2020), 2020, : 5 - 6
- [24] A Framework for the Cryptographic Verification of Java']Java-like Programs 2012 IEEE 25TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2012, : 198 - 212
- [25] A workcase-based distributed workflow architecture and its implementation using enterprize java']java beans framework COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2007, PT 3, PROCEEDINGS, 2007, 4707 : 920 - +
- [26] Java']Java enhanced service architecture 2004 2ND IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS: COLLABORATIVE AUTOMATION - ONE KEY FOR INTELLIGENT INDUSTRIAL ENVIRONMENTS, 2004, : 474 - 478
- [27] On the use of enterprise Java']Java Beans 2.0 local interfaces SOFTWARE ENGINEERING AND MIDDLEWARE, 2003, 2596 : 144 - 156
- [28] The architecture of a Java']Java coverage tool 2000 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, CONFERENCE PROCEEDINGS, VOLS 1 AND 2: NAVIGATING TO A NEW ERA, 2000, : 7 - 11