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

Proceedings of the ... IEEE International Conference on Information Reuse and Integration. IEEE International Conference on Information Reuse and Integration最新文献

筛选
英文 中文
IEEE IRI 2014 panel: Panel discussion: IRI in education IEEE IRI 2014小组讨论:教育中的IRI
Proceedings of the ... IEEE International Conference on Information Reuse and Integration. IEEE International Conference on Information Reuse and Integration Pub Date : 2014-08-01 DOI: 10.1109/IRI.2014.7051730
J. R. Massoud
{"title":"IEEE IRI 2014 panel: Panel discussion: IRI in education","authors":"J. R. Massoud","doi":"10.1109/IRI.2014.7051730","DOIUrl":"https://doi.org/10.1109/IRI.2014.7051730","url":null,"abstract":"","PeriodicalId":89460,"journal":{"name":"Proceedings of the ... IEEE International Conference on Information Reuse and Integration. IEEE International Conference on Information Reuse and Integration","volume":"41 1","pages":"xxxviii"},"PeriodicalIF":0.0,"publicationDate":"2014-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81503095","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
Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, San Francisco, CA, USA, August 2013] 可重用系统的集成[2013年8月IEEE信息重用与集成国际会议和IEEE形式化方法集成国际研讨会上发表的最佳论文的扩展版本]
Proceedings of the ... IEEE International Conference on Information Reuse and Integration. IEEE International Conference on Information Reuse and Integration Pub Date : 2014-03-05 DOI: 10.1007/978-3-319-04717-1
T. Bouabana-Tebibel, S. Rubin
{"title":"Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, San Francisco, CA, USA, August 2013]","authors":"T. Bouabana-Tebibel, S. Rubin","doi":"10.1007/978-3-319-04717-1","DOIUrl":"https://doi.org/10.1007/978-3-319-04717-1","url":null,"abstract":"","PeriodicalId":89460,"journal":{"name":"Proceedings of the ... IEEE International Conference on Information Reuse and Integration. IEEE International Conference on Information Reuse and Integration","volume":"2 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2014-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87411961","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}
引用次数: 6
A Multi-Layer Moving Target Defense Approach for Protecting Resource-Constrained Distributed Devices 一种保护资源受限分布式设备的多层移动目标防御方法
Proceedings of the ... IEEE International Conference on Information Reuse and Integration. IEEE International Conference on Information Reuse and Integration Pub Date : 2013-01-01 DOI: 10.1007/978-3-319-04717-1_14
V. Casola, Alessandra De Benedictis, Massimiliano Albanese
{"title":"A Multi-Layer Moving Target Defense Approach for Protecting Resource-Constrained Distributed Devices","authors":"V. Casola, Alessandra De Benedictis, Massimiliano Albanese","doi":"10.1007/978-3-319-04717-1_14","DOIUrl":"https://doi.org/10.1007/978-3-319-04717-1_14","url":null,"abstract":"","PeriodicalId":89460,"journal":{"name":"Proceedings of the ... IEEE International Conference on Information Reuse and Integration. IEEE International Conference on Information Reuse and Integration","volume":"20 1","pages":"299-324"},"PeriodicalIF":0.0,"publicationDate":"2013-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74963076","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}
引用次数: 17
A Minimum Description Length Technique for Semi-Supervised Time Series Classification 半监督时间序列分类的最小描述长度技术
Proceedings of the ... IEEE International Conference on Information Reuse and Integration. IEEE International Conference on Information Reuse and Integration Pub Date : 2013-01-01 DOI: 10.1007/978-3-319-04717-1_8
Nurjahan Begum, Bing Hu, T. Rakthanmanon, Eamonn J. Keogh
{"title":"A Minimum Description Length Technique for Semi-Supervised Time Series Classification","authors":"Nurjahan Begum, Bing Hu, T. Rakthanmanon, Eamonn J. Keogh","doi":"10.1007/978-3-319-04717-1_8","DOIUrl":"https://doi.org/10.1007/978-3-319-04717-1_8","url":null,"abstract":"","PeriodicalId":89460,"journal":{"name":"Proceedings of the ... IEEE International Conference on Information Reuse and Integration. IEEE International Conference on Information Reuse and Integration","volume":"12 1","pages":"171-192"},"PeriodicalIF":0.0,"publicationDate":"2013-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84197397","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}
引用次数: 17
An Institution for Alloy and Its Translation to Second-Order Logic 合金制度及其向二阶逻辑的转化
Proceedings of the ... IEEE International Conference on Information Reuse and Integration. IEEE International Conference on Information Reuse and Integration Pub Date : 2013-01-01 DOI: 10.1007/978-3-319-04717-1_3
Renato Neves, A. Madeira, M. Martins, L. Barbosa
{"title":"An Institution for Alloy and Its Translation to Second-Order Logic","authors":"Renato Neves, A. Madeira, M. Martins, L. Barbosa","doi":"10.1007/978-3-319-04717-1_3","DOIUrl":"https://doi.org/10.1007/978-3-319-04717-1_3","url":null,"abstract":"","PeriodicalId":89460,"journal":{"name":"Proceedings of the ... IEEE International Conference on Information Reuse and Integration. IEEE International Conference on Information Reuse and Integration","volume":"63 1","pages":"45-75"},"PeriodicalIF":0.0,"publicationDate":"2013-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85428811","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}
引用次数: 8
Formal MDE-Based Tool Development 正式的基于mde的工具开发
Proceedings of the ... IEEE International Conference on Information Reuse and Integration. IEEE International Conference on Information Reuse and Integration Pub Date : 2013-01-01 DOI: 10.1007/978-3-319-04717-1_5
Robson Silva, A. Mota, R. R. Starr
{"title":"Formal MDE-Based Tool Development","authors":"Robson Silva, A. Mota, R. R. Starr","doi":"10.1007/978-3-319-04717-1_5","DOIUrl":"https://doi.org/10.1007/978-3-319-04717-1_5","url":null,"abstract":"","PeriodicalId":89460,"journal":{"name":"Proceedings of the ... IEEE International Conference on Information Reuse and Integration. IEEE International Conference on Information Reuse and Integration","volume":"23 1","pages":"105-125"},"PeriodicalIF":0.0,"publicationDate":"2013-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84089320","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
Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor Networks 移动无线传感器网络中基于学习路由的形式化建模与分析
Proceedings of the ... IEEE International Conference on Information Reuse and Integration. IEEE International Conference on Information Reuse and Integration Pub Date : 2013-01-01 DOI: 10.1007/978-3-319-04717-1_6
F. Kazemeyni, Olaf Owe, E. Johnsen, I. Balasingham
{"title":"Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor Networks","authors":"F. Kazemeyni, Olaf Owe, E. Johnsen, I. Balasingham","doi":"10.1007/978-3-319-04717-1_6","DOIUrl":"https://doi.org/10.1007/978-3-319-04717-1_6","url":null,"abstract":"","PeriodicalId":89460,"journal":{"name":"Proceedings of the ... IEEE International Conference on Information Reuse and Integration. IEEE International Conference on Information Reuse and Integration","volume":"44 1","pages":"127-150"},"PeriodicalIF":0.0,"publicationDate":"2013-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90685502","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}
引用次数: 5
Simulation-Based Validation for Smart Grid Environments: Framework and Experimental Results 基于仿真的智能电网环境验证:框架和实验结果
Proceedings of the ... IEEE International Conference on Information Reuse and Integration. IEEE International Conference on Information Reuse and Integration Pub Date : 2013-01-01 DOI: 10.1007/978-3-319-04717-1_2
Wonkyu Han, Mike Mabey, Gail-Joon Ahn, Tae Sung Kim
{"title":"Simulation-Based Validation for Smart Grid Environments: Framework and Experimental Results","authors":"Wonkyu Han, Mike Mabey, Gail-Joon Ahn, Tae Sung Kim","doi":"10.1007/978-3-319-04717-1_2","DOIUrl":"https://doi.org/10.1007/978-3-319-04717-1_2","url":null,"abstract":"","PeriodicalId":89460,"journal":{"name":"Proceedings of the ... IEEE International Conference on Information Reuse and Integration. IEEE International Conference on Information Reuse and Integration","volume":"114 1","pages":"27-44"},"PeriodicalIF":0.0,"publicationDate":"2013-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72556921","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
Towards a High Level Language for Reuse and Integration 面向重用和集成的高级语言
Proceedings of the ... IEEE International Conference on Information Reuse and Integration. IEEE International Conference on Information Reuse and Integration Pub Date : 2013-01-01 DOI: 10.1007/978-3-319-04717-1_10
T. Bouabana-Tebibel, S. Rubin, Kadaouia Habib, Asmaa Chebba, S. Mellah, Lynda Allata
{"title":"Towards a High Level Language for Reuse and Integration","authors":"T. Bouabana-Tebibel, S. Rubin, Kadaouia Habib, Asmaa Chebba, S. Mellah, Lynda Allata","doi":"10.1007/978-3-319-04717-1_10","DOIUrl":"https://doi.org/10.1007/978-3-319-04717-1_10","url":null,"abstract":"","PeriodicalId":89460,"journal":{"name":"Proceedings of the ... IEEE International Conference on Information Reuse and Integration. IEEE International Conference on Information Reuse and Integration","volume":"68 1","pages":"219-239"},"PeriodicalIF":0.0,"publicationDate":"2013-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79116549","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
On the Use of Anaphora Resolution for Workflow Extraction 回指分解在工作流提取中的应用研究
Proceedings of the ... IEEE International Conference on Information Reuse and Integration. IEEE International Conference on Information Reuse and Integration Pub Date : 2013-01-01 DOI: 10.1007/978-3-319-04717-1_7
Pol Schumacher, Mirjam Minor, Eric Schulte-Zurhausen
{"title":"On the Use of Anaphora Resolution for Workflow Extraction","authors":"Pol Schumacher, Mirjam Minor, Eric Schulte-Zurhausen","doi":"10.1007/978-3-319-04717-1_7","DOIUrl":"https://doi.org/10.1007/978-3-319-04717-1_7","url":null,"abstract":"","PeriodicalId":89460,"journal":{"name":"Proceedings of the ... IEEE International Conference on Information Reuse and Integration. IEEE International Conference on Information Reuse and Integration","volume":"55 1","pages":"151-170"},"PeriodicalIF":0.0,"publicationDate":"2013-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80286990","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}
引用次数: 6
首页 上一页 下一页 尾页
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学术官方微信