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

FMOODS/FORTE最新文献

筛选
英文 中文
Static Type Analysis of Pattern Matching by Abstract Interpretation 基于抽象解释的模式匹配静态类型分析
FMOODS/FORTE Pub Date : 2010-06-07 DOI: 10.1007/978-3-642-13464-7_15
Pietro Ferrara
{"title":"Static Type Analysis of Pattern Matching by Abstract Interpretation","authors":"Pietro Ferrara","doi":"10.1007/978-3-642-13464-7_15","DOIUrl":"https://doi.org/10.1007/978-3-642-13464-7_15","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122134194","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}
引用次数: 20
Reactive Semantics for Distributed UML Activities 分布式UML活动的响应式语义
FMOODS/FORTE Pub Date : 2010-06-07 DOI: 10.1007/978-3-642-13464-7_3
F. Kraemer, P. Herrmann
{"title":"Reactive Semantics for Distributed UML Activities","authors":"F. Kraemer, P. Herrmann","doi":"10.1007/978-3-642-13464-7_3","DOIUrl":"https://doi.org/10.1007/978-3-642-13464-7_3","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114739387","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
Heap-Dependent Expressions in Separation Logic 分离逻辑中的堆相关表达式
FMOODS/FORTE Pub Date : 2010-06-07 DOI: 10.1007/978-3-642-13464-7_14
Jan Smans, B. Jacobs, F. Piessens
{"title":"Heap-Dependent Expressions in Separation Logic","authors":"Jan Smans, B. Jacobs, F. Piessens","doi":"10.1007/978-3-642-13464-7_14","DOIUrl":"https://doi.org/10.1007/978-3-642-13464-7_14","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121085970","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}
引用次数: 13
Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory 基于联合博弈论的无线传感器网络节点分组
FMOODS/FORTE Pub Date : 2010-06-07 DOI: 10.1007/978-3-642-13464-7_9
F. Kazemeyni, E. Johnsen, Olaf Owe, I. Balasingham
{"title":"Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory","authors":"F. Kazemeyni, E. Johnsen, Olaf Owe, I. Balasingham","doi":"10.1007/978-3-642-13464-7_9","DOIUrl":"https://doi.org/10.1007/978-3-642-13464-7_9","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130634321","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}
引用次数: 13
On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols 动态跟踪生成和文本跟踪分析及其在密码协议分析中的应用
FMOODS/FORTE Pub Date : 2010-06-07 DOI: 10.1007/978-3-642-13464-7_16
Y. Permpoontanalarp
{"title":"On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols","authors":"Y. Permpoontanalarp","doi":"10.1007/978-3-642-13464-7_16","DOIUrl":"https://doi.org/10.1007/978-3-642-13464-7_16","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126884770","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
On Efficient Models for Model Checking Message-Passing Distributed Protocols 消息传递分布式协议模型检验的高效模型研究
FMOODS/FORTE Pub Date : 2010-06-07 DOI: 10.1007/978-3-642-13464-7_17
P. Bokor, M. Serafini, N. Suri
{"title":"On Efficient Models for Model Checking Message-Passing Distributed Protocols","authors":"P. Bokor, M. Serafini, N. Suri","doi":"10.1007/978-3-642-13464-7_17","DOIUrl":"https://doi.org/10.1007/978-3-642-13464-7_17","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115496751","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}
引用次数: 15
Model Checking of Hybrid Systems Using Shallow Synchronization 基于浅同步的混合系统模型校核
FMOODS/FORTE Pub Date : 2010-06-07 DOI: 10.1007/978-3-642-13464-7_13
Lei Bu, A. Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta
{"title":"Model Checking of Hybrid Systems Using Shallow Synchronization","authors":"Lei Bu, A. Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta","doi":"10.1007/978-3-642-13464-7_13","DOIUrl":"https://doi.org/10.1007/978-3-642-13464-7_13","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124610082","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}
引用次数: 20
Logics for Contravariant Simulations 逆变模拟的逻辑
FMOODS/FORTE Pub Date : 2010-06-07 DOI: 10.1007/978-3-642-13464-7_18
I. Fábregas, David de Frutos-Escrig, Miguel Palomino
{"title":"Logics for Contravariant Simulations","authors":"I. Fábregas, David de Frutos-Escrig, Miguel Palomino","doi":"10.1007/978-3-642-13464-7_18","DOIUrl":"https://doi.org/10.1007/978-3-642-13464-7_18","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131684636","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
Theory and Implementation of a Real-Time Extension to the pi-Calculus pi-微积分实时扩展的理论与实现
FMOODS/FORTE Pub Date : 2010-06-07 DOI: 10.1007/978-3-642-13464-7_11
Ernesto Posse, J. Dingel
{"title":"Theory and Implementation of a Real-Time Extension to the pi-Calculus","authors":"Ernesto Posse, J. Dingel","doi":"10.1007/978-3-642-13464-7_11","DOIUrl":"https://doi.org/10.1007/978-3-642-13464-7_11","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"48 17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124780380","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}
引用次数: 13
Formal Software Verification: How Close Are We? 正式的软件验证:我们离成功还有多远?
FMOODS/FORTE Pub Date : 2010-06-07 DOI: 10.1007/978-3-642-13464-7_1
G. Holzmann
{"title":"Formal Software Verification: How Close Are We?","authors":"G. Holzmann","doi":"10.1007/978-3-642-13464-7_1","DOIUrl":"https://doi.org/10.1007/978-3-642-13464-7_1","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116707086","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信