共 50 条
- [41] Checkpointing protocol for object-based systems SEVENTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 2000, : 137 - 144
- [42] On a temporal logic for object-based systems FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV, 2000, 49 : 305 - 325
- [43] Verification of distributed object-based systems FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2003, 2884 : 261 - 275
- [46] An object-based model for dependable real-time distributed systems SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 192 - 200
- [47] Fine granularity access rights for information flow control in object oriented systems PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON INFORMATION SECURITY AND ASSURANCE, 2008, : 122 - 128
- [48] Description logic framework for access control and security in object-oriented systems ROUGH SETS, FUZZY SETS, DATA MINING AND GRANULAR COMPUTING, PROCEEDINGS, 2007, 4482 : 565 - +
- [49] An object-based model for cooperative computing Science in China Series E: Technological Sciences, 1998, 41 : 22 - 30
- [50] Object-based nonlinear undo model COMPSAC 97 : TWENTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1997, : 50 - 55