摘要
<正>近日,由重庆大学大数据与软件学院物联网体感大数据(BDL)课题组刘礼副教授为通信作者完成的论文"Quantitative Verification for Monitoring Event-Streaming Systems"被软件工程领域学术期刊IEEE Transactions on Software Engineering(TSE)录用(CCF A类,JCR一区)。该论文合作作者包括澳大利亚伍伦贡大学苏国鑫博士、Minjie Zhang教授,以及新加坡国立大学、ACM/IEEE Fellow David S. Rosenblum教授。近年来,高性能数据流技术越来越多地被IT公司所采用,用以支持异构和分布式应用的集成。与传统的消息队列中间件相比,
- 单位