共 50 条
- [1] .Net approach to run-time component integration [J]. THIRD LATIN AMERICAN WEB CONGRESS, PROCEEDINGS, 2005, : 45 - 48
- [2] Run-time evolution for embedded component-oriented systems [J]. INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 2002, : 242 - 245
- [3] Incremental Event Calculus for Run-Time Reasoning [J]. Journal of Artificial Intelligence Research, 2022, 73 : 967 - 1023
- [4] Efficient incremental run-time specialization for free [J]. ACM SIGPLAN NOTICES, 1999, 34 (05) : 281 - 292
- [5] Incremental Event Calculus for Run-Time Reasoning [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2022, 73 : 967 - 1023
- [6] Incremental Event Calculus for Run-Time Reasoning [J]. DEBS'19: PROCEEDINGS OF THE 13TH ACM INTERNATIONAL CONFERENCE ON DISTRIBUTED AND EVENT-BASED SYSTEMS, 2019, : 79 - 90
- [7] Component-based approach to run-time kernel specification and verification [J]. 17TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2005, : 68 - 76
- [8] Practical diagnostic algorithms for run-time systems [J]. 2004 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-6, 2004, : 3476 - 3480
- [9] Incremental Model Synchronization for Efficient Run-Time Monitoring [J]. MODELS IN SOFTWARE ENGINEERING, 2010, 6002 : 124 - 139
- [10] Incremental Event Calculus for Run-Time Reasoning* (Extended Abstract) [J]. PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, 2023, : 6974 - 6978