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

International Workshops on Abstract State Machines最新文献

筛选
英文 中文
Formal Probabilistic Analysis: A Higher-Order Logic Based Approach 形式概率分析:基于高阶逻辑的方法
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_2
O. Hasan, S. Tahar
{"title":"Formal Probabilistic Analysis: A Higher-Order Logic Based Approach","authors":"O. Hasan, S. Tahar","doi":"10.1007/978-3-642-11811-1_2","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_2","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114532201","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
Formalising and Validating RBAC-to-XACML Translation Using Lightweight Formal Methods 使用轻量级形式化方法形式化和验证rbac到xacml的转换
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_26
M. Slaymaker, D. Power, A. Simpson
{"title":"Formalising and Validating RBAC-to-XACML Translation Using Lightweight Formal Methods","authors":"M. Slaymaker, D. Power, A. Simpson","doi":"10.1007/978-3-642-11811-1_26","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_26","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115800035","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
Supporting Reuse in Event B Development: Modularisation Approach 在事件B开发中支持重用:模块化方法
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_14
A. Iliasov, E. Troubitsyna, L. Laibinis, A. Romanovsky, K. Varpaaniemi, D. Ilic, T. Latvala
{"title":"Supporting Reuse in Event B Development: Modularisation Approach","authors":"A. Iliasov, E. Troubitsyna, L. Laibinis, A. Romanovsky, K. Varpaaniemi, D. Ilic, T. Latvala","doi":"10.1007/978-3-642-11811-1_14","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_14","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123914958","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}
引用次数: 72
Trace Specifications in Alloy 合金痕量规格
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_9
J. Jacob
{"title":"Trace Specifications in Alloy","authors":"J. Jacob","doi":"10.1007/978-3-642-11811-1_9","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_9","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"216 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124250549","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
Applying the B Method for the Rigorous Development of Smart Card Applications 应用B方法严格开发智能卡应用
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_16
B. Gomes, D. Déharbe, A. Moreira, Katia Moraes
{"title":"Applying the B Method for the Rigorous Development of Smart Card Applications","authors":"B. Gomes, D. Déharbe, A. Moreira, Katia Moraes","doi":"10.1007/978-3-642-11811-1_16","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_16","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124069709","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
Formal Analysis in Model Management: Exploiting the Power of CZT 模型管理中的形式化分析:利用CZT的力量
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_46
James R. Williams, F. Polack, R. Paige
{"title":"Formal Analysis in Model Management: Exploiting the Power of CZT","authors":"James R. Williams, F. Polack, R. Paige","doi":"10.1007/978-3-642-11811-1_46","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_46","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122874029","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
Architecture as an Independent Variable for Aspect-Oriented Application Descriptions 作为面向方面应用程序描述的独立变量的体系结构
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_32
H. Bagheri, K. Sullivan
{"title":"Architecture as an Independent Variable for Aspect-Oriented Application Descriptions","authors":"H. Bagheri, K. Sullivan","doi":"10.1007/978-3-642-11811-1_32","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_32","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"104 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121352041","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
Integrating SMT-Solvers in Z and B Tools 在Z和B工具中集成smt求解器
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_45
A. Gurgel, V. Medeiros, M. Oliveira, D. Déharbe
{"title":"Integrating SMT-Solvers in Z and B Tools","authors":"A. Gurgel, V. Medeiros, M. Oliveira, D. Déharbe","doi":"10.1007/978-3-642-11811-1_45","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_45","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114264964","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
Reactivising Classical B reactising古典主义
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_23
S. Dunne, Frank Zeyda
{"title":"Reactivising Classical B","authors":"S. Dunne, Frank Zeyda","doi":"10.1007/978-3-642-11811-1_23","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_23","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127437060","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
A Proof Based Approach for Formal Verification of Transactional BPEL Web Services 事务性BPEL Web服务的形式化验证的基于证明的方法
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_39
Idir Aït-Sadoune, Y. A. Ameur
{"title":"A Proof Based Approach for Formal Verification of Transactional BPEL Web Services","authors":"Idir Aït-Sadoune, Y. A. Ameur","doi":"10.1007/978-3-642-11811-1_39","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_39","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125958919","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}
引用次数: 3
下一页 尾页
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学术官方微信