共 50 条
- [22] Striver: Stream Runtime Verification for Real-Time Event-Streams RUNTIME VERIFICATION (RV 2018), 2018, 11237 : 282 - 298
- [25] Hierarchical event streams and event dependency graphs: A new computational model for embedded real-time systems 18TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2006, : 97 - +
- [26] Evaluating continuous top-k queries over document streams WORLD WIDE WEB-INTERNET AND WEB INFORMATION SYSTEMS, 2014, 17 (01): : 59 - 83
- [27] Upsortable: Programming Top-K Queries Over Data Streams PROCEEDINGS OF THE VLDB ENDOWMENT, 2017, 10 (12): : 1873 - 1876
- [28] Enhanced Fast Causal Network Inference over Event Streams TRANSACTIONS ON LARGE-SCALE DATA- AND KNOWLEDGE- CENTERED SYSTEMS XVII, 2015, 8970 : 45 - 73
- [29] Consistent Top-k Queries over Time DATABASE SYSTEMS FOR ADVANCED APPLICATIONS, PROCEEDINGS, 2009, 5463 : 51 - +