发布求助
文献互助 智能选刊 最新文献

IEEE International Conference on Formal Engineering Methods最新文献

筛选
英文 中文
Combining Deep Learning and Probabilistic Model Checking in Sports Analytics 结合深度学习和概率模型检查在体育分析中的应用
IEEE International Conference on Formal Engineering Methods Pub Date : 2018-11-12 DOI: 10.1007/978-3-030-02450-5_32
Kan Jiang
{"title":"Combining Deep Learning and Probabilistic Model Checking in Sports Analytics","authors":"Kan Jiang","doi":"10.1007/978-3-030-02450-5_32","DOIUrl":"https://doi.org/10.1007/978-3-030-02450-5_32","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125769615","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Modeling and Verifying NDN Access Control Using CSP 基于CSP的NDN访问控制建模与验证
IEEE International Conference on Formal Engineering Methods Pub Date : 2018-11-12 DOI: 10.1007/978-3-030-02450-5_9
Yuan Fei, Huibiao Zhu
{"title":"Modeling and Verifying NDN Access Control Using CSP","authors":"Yuan Fei, Huibiao Zhu","doi":"10.1007/978-3-030-02450-5_9","DOIUrl":"https://doi.org/10.1007/978-3-030-02450-5_9","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127877254","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Modeling and Verification of Component Connectors 组件连接器的建模与验证
IEEE International Conference on Formal Engineering Methods Pub Date : 2018-11-12 DOI: 10.1007/978-3-030-02450-5_26
Xiyue Zhang
{"title":"Modeling and Verification of Component Connectors","authors":"Xiyue Zhang","doi":"10.1007/978-3-030-02450-5_26","DOIUrl":"https://doi.org/10.1007/978-3-030-02450-5_26","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126126820","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
UTP Semantics for BigrTiMo 圣经的语义
IEEE International Conference on Formal Engineering Methods Pub Date : 2018-11-12 DOI: 10.1007/978-3-030-02450-5_20
Wanling Xie, Huibiao Zhu, S. Qin
{"title":"UTP Semantics for BigrTiMo","authors":"Wanling Xie, Huibiao Zhu, S. Qin","doi":"10.1007/978-3-030-02450-5_20","DOIUrl":"https://doi.org/10.1007/978-3-030-02450-5_20","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121516877","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Nested Timed Automata with Diagonal Constraints 具有对角约束的嵌套定时自动机
IEEE International Conference on Formal Engineering Methods Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-68690-5_24
Yuwei Wang, Yunqing Wen, Guoqiang Li, Shoji Yuen
{"title":"Nested Timed Automata with Diagonal Constraints","authors":"Yuwei Wang, Yunqing Wen, Guoqiang Li, Shoji Yuen","doi":"10.1007/978-3-319-68690-5_24","DOIUrl":"https://doi.org/10.1007/978-3-319-68690-5_24","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127480298","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics 基于运算语义的NetKAT自动推理代数方法
IEEE International Conference on Formal Engineering Methods Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-68690-5_28
Yuxin Deng, Min Zhang, Guoqing Lei
{"title":"An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics","authors":"Yuxin Deng, Min Zhang, Guoqing Lei","doi":"10.1007/978-3-319-68690-5_28","DOIUrl":"https://doi.org/10.1007/978-3-319-68690-5_28","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115192661","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A Framework for Multi-view Reconciliation and for Medical Devices Personalization 多视图协调和医疗设备个性化框架
IEEE International Conference on Formal Engineering Methods Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-68690-5_5
Yihai Chen, Bofang Zhang, Ridha Khédri, Huai-kou Miao
{"title":"A Framework for Multi-view Reconciliation and for Medical Devices Personalization","authors":"Yihai Chen, Bofang Zhang, Ridha Khédri, Huai-kou Miao","doi":"10.1007/978-3-319-68690-5_5","DOIUrl":"https://doi.org/10.1007/978-3-319-68690-5_5","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"129 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115808484","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Learning Types for Binaries 学习二进制文件的类型
IEEE International Conference on Formal Engineering Methods Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-68690-5_26
Zhiwu Xu, Cheng Wen, S. Qin
{"title":"Learning Types for Binaries","authors":"Zhiwu Xu, Cheng Wen, S. Qin","doi":"10.1007/978-3-319-68690-5_26","DOIUrl":"https://doi.org/10.1007/978-3-319-68690-5_26","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"779 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123892998","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability 结合事件b和CSP:互操作性的制度理论方法
IEEE International Conference on Formal Engineering Methods Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-68690-5_9
M. Farrell, Rosemary Monahan, James F. Power
{"title":"Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability","authors":"M. Farrell, Rosemary Monahan, James F. Power","doi":"10.1007/978-3-319-68690-5_9","DOIUrl":"https://doi.org/10.1007/978-3-319-68690-5_9","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117088477","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Policy Dependent and Independent Information Flow Analyses 策略依赖和独立信息流分析
IEEE International Conference on Formal Engineering Methods Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-68690-5_22
M. Töws, H. Wehrheim
{"title":"Policy Dependent and Independent Information Flow Analyses","authors":"M. Töws, H. Wehrheim","doi":"10.1007/978-3-319-68690-5_22","DOIUrl":"https://doi.org/10.1007/978-3-319-68690-5_22","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129716782","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信