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

Formal Techniques for (Networked and) Distributed Systems最新文献

筛选
英文 中文
Metrics for Differential Privacy in Concurrent Systems 并发系统中差分隐私的度量
Formal Techniques for (Networked and) Distributed Systems Pub Date : 2014-06-03 DOI: 10.1007/978-3-662-43613-4_13
Lili Xu, K. Chatzikokolakis, Huimin Lin
{"title":"Metrics for Differential Privacy in Concurrent Systems","authors":"Lili Xu, K. Chatzikokolakis, Huimin Lin","doi":"10.1007/978-3-662-43613-4_13","DOIUrl":"https://doi.org/10.1007/978-3-662-43613-4_13","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127481985","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}
引用次数: 19
A Model-Based Certification Framework for the EnergyBus Standard 基于模型的能源总线标准认证框架
Formal Techniques for (Networked and) Distributed Systems Pub Date : 2014-06-03 DOI: 10.1007/978-3-662-43613-4_6
Alexander Graf-Brill, H. Hermanns, H. Garavel
{"title":"A Model-Based Certification Framework for the EnergyBus Standard","authors":"Alexander Graf-Brill, H. Hermanns, H. Garavel","doi":"10.1007/978-3-662-43613-4_6","DOIUrl":"https://doi.org/10.1007/978-3-662-43613-4_6","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121507779","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 Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea 网络与分布式系统的形式化技术，FORTE 2001, IFIP TC6/WG6.1 -第21届网络与分布式系统形式化技术国际会议，2001年8月28-31日，韩国济州岛
Formal Techniques for (Networked and) Distributed Systems Pub Date : 2013-11-20 DOI: 10.1007/11562436
Myung-Gyun Kim, Byoung-Moon Chin, Sungwon Kang, Danhyung Lee
{"title":"Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea","authors":"Myung-Gyun Kim, Byoung-Moon Chin, Sungwon Kang, Danhyung Lee","doi":"10.1007/11562436","DOIUrl":"https://doi.org/10.1007/11562436","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123644597","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}
引用次数: 80
Checking Correctness of Transactional Behaviors 检查事务行为的正确性
Formal Techniques for (Networked and) Distributed Systems Pub Date : 2008-06-10 DOI: 10.1007/978-3-540-68855-6_9
V. Ciancia, G. Ferrari, R. Guanciale, D. Strollo
{"title":"Checking Correctness of Transactional Behaviors","authors":"V. Ciancia, G. Ferrari, R. Guanciale, D. Strollo","doi":"10.1007/978-3-540-68855-6_9","DOIUrl":"https://doi.org/10.1007/978-3-540-68855-6_9","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121361184","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
Verifying Erlang Telecommunication Systems with the Process Algebra µCRL 用进程代数验证Erlang通信系统
Formal Techniques for (Networked and) Distributed Systems Pub Date : 2008-06-10 DOI: 10.1007/978-3-540-68855-6_13
Q. Guo, J. Derrick, Csaba Hoch
{"title":"Verifying Erlang Telecommunication Systems with the Process Algebra µCRL","authors":"Q. Guo, J. Derrick, Csaba Hoch","doi":"10.1007/978-3-540-68855-6_13","DOIUrl":"https://doi.org/10.1007/978-3-540-68855-6_13","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120992451","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
Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning 基于形式模糊测试和机器学习的通信协议安全漏洞检测
Formal Techniques for (Networked and) Distributed Systems Pub Date : 2008-06-10 DOI: 10.1007/978-3-540-68855-6_19
Guoqiang Shu, Yating Hsu, David Lee
{"title":"Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning","authors":"Guoqiang Shu, Yating Hsu, David Lee","doi":"10.1007/978-3-540-68855-6_19","DOIUrl":"https://doi.org/10.1007/978-3-540-68855-6_19","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127811270","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}
引用次数: 34
Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets 契约网协议的建模与分析——使用彩色Petri网进行扩展
Formal Techniques for (Networked and) Distributed Systems Pub Date : 2008-06-10 DOI: 10.1007/978-3-540-68855-6_11
J. Billington, A. Gupta, G. E. Gallasch
{"title":"Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets","authors":"J. Billington, A. Gupta, G. E. Gallasch","doi":"10.1007/978-3-540-68855-6_11","DOIUrl":"https://doi.org/10.1007/978-3-540-68855-6_11","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129010138","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}
引用次数: 14
Program Repair Suggestions from Graphical State-Transition Specifications 从图形状态转换规范的程序修复建议
Formal Techniques for (Networked and) Distributed Systems Pub Date : 2008-06-10 DOI: 10.1007/978-3-540-68855-6_12
Farn Wang, Chih-Hong Cheng
{"title":"Program Repair Suggestions from Graphical State-Transition Specifications","authors":"Farn Wang, Chih-Hong Cheng","doi":"10.1007/978-3-540-68855-6_12","DOIUrl":"https://doi.org/10.1007/978-3-540-68855-6_12","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131039705","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
A Specification Framework for Earth-Friendly Logistics 环保物流的规范框架
Formal Techniques for (Networked and) Distributed Systems Pub Date : 2008-06-10 DOI: 10.1007/978-3-540-68855-6_16
I. Satoh
{"title":"A Specification Framework for Earth-Friendly Logistics","authors":"I. Satoh","doi":"10.1007/978-3-540-68855-6_16","DOIUrl":"https://doi.org/10.1007/978-3-540-68855-6_16","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116379250","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}
引用次数: 9
Adapting Petri Nets Reductions to Promela Specifications 适应Petri网减少Promela规格
Formal Techniques for (Networked and) Distributed Systems Pub Date : 2008-06-10 DOI: 10.1007/978-3-540-68855-6_6
C. Pajault, Jean-François Pradat-Peyre, Pierre Rousseau
{"title":"Adapting Petri Nets Reductions to Promela Specifications","authors":"C. Pajault, Jean-François Pradat-Peyre, Pierre Rousseau","doi":"10.1007/978-3-540-68855-6_6","DOIUrl":"https://doi.org/10.1007/978-3-540-68855-6_6","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126118409","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
首页 上一页
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学术官方微信