位置：成果数据库 > 会议 > 会议详情页
面向移动平台的消息通讯服务设计与实现
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：2013中国计算机学会服务计算学术会议(CCF NCSC 2013)
  • 时间：2013.8.8
  • 成果类型：会议
  • 相关项目：动态服务组合自治愈关键技术研究
作者： 邵小哲、吴国全、魏峻、黄涛|
同会议论文项目
动态服务组合自治愈关键技术研究
期刊论文 4 会议论文 8 专利 1
同项目会议论文
Runtime Verification of Data-Centric Properties in Service Based Systems
Runtime Monitoring of Composite Web Services with BC-Mon4BPEL
Static Detection of Bugs Caused by Incorrect Exception Handling in Java Programs
Generating Open API Usage Rule From Error Description
基于日志挖掘的移动应用用户访问模型建模技术研究
Runtime Monitoring of Data-centric Temporal Properties for Web Services
Debug Concurrent Programs With Visualization and Inference of Event Structure