共 50 条
- [1] Liveness Properties in CafeOBJ - A Case Study for Meta-Level Specifications [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), 2015, 8981 : 182 - 198
- [2] Extend the Service and Component in Meta-level for Pervasive Computing [J]. THIRD INTERNATIONAL CONFERENCE ON MULTIMEDIA AND UBIQUITOUS ENGINEERING (MUE 2009), 2009, : 333 - 338
- [3] META-LEVEL ABDUCTION [J]. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2016, 3 (01): : 7 - 35
- [4] Active network service management based on meta-level architectures [J]. REFLECTION AND SOFTWARE ENGINEERING, 2000, 1826 : 99 - 116
- [5] A CLASSIFICATION OF META-LEVEL ARCHITECTURES [J]. META-PROGRAMMING IN LOGIC PROGRAMMING, 1989, : 103 - 122
- [6] Meta-level Information Extraction [J]. KI 2009: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2009, 5803 : 233 - 240
- [7] Meta-level programming with CodA [J]. ECOOP '95 - OBJECT-ORIENTED PROGRAMMING, 1995, 952 : 190 - 214
- [8] Automatically Deriving Java']JavaScript Static Analyzers from Specifications using Meta-level Static Analysis [J]. PROCEEDINGS OF THE 30TH ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2022, 2022, : 1022 - 1034
- [9] Multilabel Classification with Meta-level Features [J]. SIGIR 2010: PROCEEDINGS OF THE 33RD ANNUAL INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH DEVELOPMENT IN INFORMATION RETRIEVAL, 2010, : 315 - 322
- [10] A meta-level architecture for adaptive applications [J]. ADAPTIVE AND NATURAL COMPUTING ALGORITHMS, 2005, : 329 - 332