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

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
Towards Formalizing Network Architectural Descriptions 走向形式化网络体系结构描述
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_11
J. Khoury, C. Abdallah, G. Heileman
{"title":"Towards Formalizing Network Architectural Descriptions","authors":"J. Khoury, C. Abdallah, G. Heileman","doi":"10.1007/978-3-642-11811-1_11","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_11","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"7 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":"114446708","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
AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps 定时用例图的基于asml的并发语义变化
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_4
J. Hassine
{"title":"AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps","authors":"J. Hassine","doi":"10.1007/978-3-642-11811-1_4","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_4","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"26 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":"125999251","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
Communication Systems in ClawZ ClawZ中的通信系统
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_25
Michael Vernon, Frank Zeyda, Ana Cavalcanti
{"title":"Communication Systems in ClawZ","authors":"Michael Vernon, Frank Zeyda, Ana Cavalcanti","doi":"10.1007/978-3-642-11811-1_25","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_25","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"13 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":"129655438","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
On the Modelling and Analysis of Amazon Web Services Access Policies Amazon Web Services访问策略建模与分析
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_31
D. Power, M. Slaymaker, A. Simpson
{"title":"On the Modelling and Analysis of Amazon Web Services Access Policies","authors":"D. Power, M. Slaymaker, A. Simpson","doi":"10.1007/978-3-642-11811-1_31","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_31","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"515 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":"132593491","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
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
下一页 尾页
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学术官方微信