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

International School on Formal Methods for the Design of Computer, Communication and Software Systems最新文献

筛选
英文 中文
Information Theory and Security: Quantitative Information Flow 信息论与安全:定量信息流
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2010-06-21 DOI: 10.1007/978-3-642-13678-8_3
P. Malacaria, J. Heusser
{"title":"Information Theory and Security: Quantitative Information Flow","authors":"P. Malacaria, J. Heusser","doi":"10.1007/978-3-642-13678-8_3","DOIUrl":"https://doi.org/10.1007/978-3-642-13678-8_3","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"115 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132719511","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}
引用次数: 16
Performance and Security Tradeoff 性能和安全权衡
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2010-06-21 DOI: 10.1007/978-3-642-13678-8_4
K. Wolter, P. Reinecke
{"title":"Performance and Security Tradeoff","authors":"K. Wolter, P. Reinecke","doi":"10.1007/978-3-642-13678-8_4","DOIUrl":"https://doi.org/10.1007/978-3-642-13678-8_4","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127745689","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}
引用次数: 41
Probabilistic Semantics and Program Analysis 概率语义与程序分析
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2010-06-21 DOI: 10.1007/978-3-642-13678-8_1
A. D. Pierro, C. Hankin, H. Wiklicky
{"title":"Probabilistic Semantics and Program Analysis","authors":"A. D. Pierro, C. Hankin, H. Wiklicky","doi":"10.1007/978-3-642-13678-8_1","DOIUrl":"https://doi.org/10.1007/978-3-642-13678-8_1","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122441958","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}
引用次数: 7
Calculi for Service-Oriented Computing 面向服务计算的微积分
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2009-05-22 DOI: 10.1007/978-3-642-01918-0_1
R. Bruni
{"title":"Calculi for Service-Oriented Computing","authors":"R. Bruni","doi":"10.1007/978-3-642-01918-0_1","DOIUrl":"https://doi.org/10.1007/978-3-642-01918-0_1","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123828301","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}
引用次数: 23
Quantitative Analysis of Web Services Using SRMC 基于SRMC的Web服务定量分析
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2009-05-22 DOI: 10.1007/978-3-642-01918-0_8
Allan Clark, S. Gilmore, M. Tribastone
{"title":"Quantitative Analysis of Web Services Using SRMC","authors":"Allan Clark, S. Gilmore, M. Tribastone","doi":"10.1007/978-3-642-01918-0_8","DOIUrl":"https://doi.org/10.1007/978-3-642-01918-0_8","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116688680","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}
引用次数: 11
Contract-Based Discovery and Adaptation of Web Services 基于契约的Web服务发现和适应
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2009-05-22 DOI: 10.1007/978-3-642-01918-0_6
L. Padovani
{"title":"Contract-Based Discovery and Adaptation of Web Services","authors":"L. Padovani","doi":"10.1007/978-3-642-01918-0_6","DOIUrl":"https://doi.org/10.1007/978-3-642-01918-0_6","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131264220","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}
引用次数: 24
Synthesis and Composition of Web Services Web服务的合成和组合
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2009-05-22 DOI: 10.1007/978-3-642-01918-0_3
A. Marconi, M. Pistore
{"title":"Synthesis and Composition of Web Services","authors":"A. Marconi, M. Pistore","doi":"10.1007/978-3-642-01918-0_3","DOIUrl":"https://doi.org/10.1007/978-3-642-01918-0_3","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127721979","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}
引用次数: 66
Contract-Based Discovery and Composition of Web Services 基于契约的Web服务发现和组合
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2009-05-22 DOI: 10.1007/978-3-642-01918-0_7
M. Bravetti, G. Zavattaro
{"title":"Contract-Based Discovery and Composition of Web Services","authors":"M. Bravetti, G. Zavattaro","doi":"10.1007/978-3-642-01918-0_7","DOIUrl":"https://doi.org/10.1007/978-3-642-01918-0_7","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125616689","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}
引用次数: 37
Asynchronous Session Types: Exceptions and Multiparty Interactions 异步会话类型:异常和多方交互
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2009-05-22 DOI: 10.1007/978-3-642-01918-0_5
Marco Carbone, N. Yoshida, Kohei Honda
{"title":"Asynchronous Session Types: Exceptions and Multiparty Interactions","authors":"Marco Carbone, N. Yoshida, Kohei Honda","doi":"10.1007/978-3-642-01918-0_5","DOIUrl":"https://doi.org/10.1007/978-3-642-01918-0_5","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126135250","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}
引用次数: 23
Service Interaction: Patterns, Formalization, and Analysis 服务交互:模式、形式化和分析
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2009-05-22 DOI: 10.1007/978-3-642-01918-0_2
Wil M.P. van der Aalst, A. Mooij, C. Stahl, K. Wolf
{"title":"Service Interaction: Patterns, Formalization, and Analysis","authors":"Wil M.P. van der Aalst, A. Mooij, C. Stahl, K. Wolf","doi":"10.1007/978-3-642-01918-0_2","DOIUrl":"https://doi.org/10.1007/978-3-642-01918-0_2","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121891624","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}
引用次数: 125
首页 上一页 下一页 尾页
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学术官方微信