共 50 条
- [22] Tabled resolution plus constraints: A recipe for model checking real-time systems 21ST IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2000, : 175 - 184
- [23] Efficient real-time model checking using tabled logic programming and constraints LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 100 - 114
- [26] Mutual consistency in real-time databases 27TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2006, : 335 - +
- [27] STRUCTURAL MODEL OF REAL-TIME DATABASES ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL ISAS-2: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, VOL 2, 2008, : 319 - +
- [29] Issues in active real-time databases ACTIVE AND REAL-TIME DATABASE SYSTEMS (ARTDB-95), 1996, : 142 - 157
- [30] Real-time and active databases: A survey ACTIVE, REAL-TIME, AND TEMPORAL DATABASE SYSTEMS, PROCEEDINGS, 1998, 1553 : 1 - 23