共 50 条
- [1] Performance characterisation and verification of JavaSpaces based on design of experiments Proc. IEEE Comput. Soc. Annu. Int. Symp. Model. Anal. simul. Comput. Telecommun. Syst. MASCOTS, (553-559):
- [2] Verification of Java']JavaSpaces™ parallel programs THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2003, : 196 - 205
- [3] XML based messaging service system by Java']JavaSpaces 2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 2396 - 2401
- [4] Reliability enhancements for a Jini and Java']JavaSpaces based network management system 2006 IEEE INTERNATIONAL PERFORMANCE COMPUTING AND COMMUNICATIONS CONFERENCE, VOLS 1 AND 2, 2006, : 471 - +
- [5] Automatic verification of Java']Java design patterns 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 324 - 327
- [6] Design, verification, and testing of synchronization and communication protocols with Java']Java PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 1810 - 1819
- [7] JAVA']JAVA BASED DEVELOPMENT OF ONLINE EXPERIMENTS DISTANCE LEARNING, SIMULATION AND COMMUNICATION 'DLSC 2015', 2015, : 51 - 57
- [8] Hybrid modeling and verification of Java']Java based software Software Engineering Techniques: Design for Quality, 2006, 227 : 121 - 126
- [9] Design and performance evaluation of a Java']Java-based multicast browser tool 19TH IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 1999, : 314 - 322
- [10] Java']Java RMI performance and object model interoperability: experiments with Java']Java/HPC++ CONCURRENCY-PRACTICE AND EXPERIENCE, 1998, 10 (11-13): : 941 - 955