共 50 条
- [1] Mobility and coordination for distributed Java']Java applications ADVANCES IN DISTRIBUTED SYSTEMS, 2000, 1752 : 402 - 425
- [2] Adding contracts to Java']Java TOOLS 27: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, PROCEEDINGS, 1998, : 2 - 7
- [3] Java']Java: Coordination and communication for Java']Java agents MOBILE OBJECT SYSTEMS: TOWARDS THE PROGRAMMABLE INTERNET, 1997, 1222 : 213 - 226
- [5] Enforcing Determinism of Java']Java Smart Contracts FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2020, 2020, 12063 : 568 - 583
- [6] Implementing Java']Java Modeling Language Contracts with AspectJ APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 228 - 233
- [8] Extracting Visual Contracts from Java']Java Programs 2015 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2015, : 104 - 114
- [9] Java']Java sensors and their applications PROCEEDINGS OF THE 21ST AUSTRALASIAN COMPUTER SCIENCE CONFERENCE, ACSC'98, 1998, 20 (01): : 345 - 356
- [10] Java']Java applications and implementations WORLDWIDE COMPUTING AND ITS APPLICATIONS - WWCA'98, 1998, 1368 : 18 - 31