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

International Workshop on Verification and Evaluation of Computer and Communication Systems最新文献

筛选
英文 中文
Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis 在烟雾中运行-使用静态资源分析防止以太坊智能合约中的排气漏洞
International Workshop on Verification and Evaluation of Computer and Communication Systems Pub Date : 2018-11-22 DOI: 10.1007/978-3-030-35092-5_5
E. Albert, Pablo Gordillo, A. Rubio, Ilya Sergey
{"title":"Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis","authors":"E. Albert, Pablo Gordillo, A. Rubio, Ilya Sergey","doi":"10.1007/978-3-030-35092-5_5","DOIUrl":"https://doi.org/10.1007/978-3-030-35092-5_5","url":null,"abstract":"","PeriodicalId":239102,"journal":{"name":"International Workshop on Verification and Evaluation of Computer and Communication Systems","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115503641","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
Modelling and Verification of Dynamic Role-Based Access Control 基于角色的动态访问控制建模与验证
International Workshop on Verification and Evaluation of Computer and Communication Systems Pub Date : 2018-09-26 DOI: 10.1007/978-3-030-00359-3_4
Inna Vistbakka, E. Troubitsyna
{"title":"Modelling and Verification of Dynamic Role-Based Access Control","authors":"Inna Vistbakka, E. Troubitsyna","doi":"10.1007/978-3-030-00359-3_4","DOIUrl":"https://doi.org/10.1007/978-3-030-00359-3_4","url":null,"abstract":"","PeriodicalId":239102,"journal":{"name":"International Workshop on Verification and Evaluation of Computer and Communication Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129303620","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
Improving Parallel State-Space Exploration Using Genetic Algorithms 利用遗传算法改进并行状态空间探索
International Workshop on Verification and Evaluation of Computer and Communication Systems Pub Date : 2018-09-26 DOI: 10.1007/978-3-030-00359-3_9
E. Renault
{"title":"Improving Parallel State-Space Exploration Using Genetic Algorithms","authors":"E. Renault","doi":"10.1007/978-3-030-00359-3_9","DOIUrl":"https://doi.org/10.1007/978-3-030-00359-3_9","url":null,"abstract":"","PeriodicalId":239102,"journal":{"name":"International Workshop on Verification and Evaluation of Computer and Communication Systems","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121271780","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
Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments 云环境下基于形式化模型的动态负载均衡协议性能评估
International Workshop on Verification and Evaluation of Computer and Communication Systems Pub Date : 2018-09-26 DOI: 10.1007/978-3-030-00359-3_5
Roua Ben Hamouda, Sabrine Boussema, Imene Ben Hafaiedh, R. Robbana
{"title":"Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments","authors":"Roua Ben Hamouda, Sabrine Boussema, Imene Ben Hafaiedh, R. Robbana","doi":"10.1007/978-3-030-00359-3_5","DOIUrl":"https://doi.org/10.1007/978-3-030-00359-3_5","url":null,"abstract":"","PeriodicalId":239102,"journal":{"name":"International Workshop on Verification and Evaluation of Computer and Communication Systems","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122617369","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
The State of Fault Injection Vulnerability Detection 故障注入漏洞检测状态
International Workshop on Verification and Evaluation of Computer and Communication Systems Pub Date : 2018-09-26 DOI: 10.1007/978-3-030-00359-3_1
Thomas Given-Wilson, Nisrine Jafri, Axel Legay
{"title":"The State of Fault Injection Vulnerability Detection","authors":"Thomas Given-Wilson, Nisrine Jafri, Axel Legay","doi":"10.1007/978-3-030-00359-3_1","DOIUrl":"https://doi.org/10.1007/978-3-030-00359-3_1","url":null,"abstract":"","PeriodicalId":239102,"journal":{"name":"International Workshop on Verification and Evaluation of Computer and Communication Systems","volume":"376 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122658150","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
Orchestration Synthesis for Real-Time Service Contracts 实时服务契约的编排综合
International Workshop on Verification and Evaluation of Computer and Communication Systems Pub Date : 2018-09-26 DOI: 10.1007/978-3-030-00359-3_3
D. Basile, M. T. Beek, Axel Legay, Louis-Marie Traonouez
{"title":"Orchestration Synthesis for Real-Time Service Contracts","authors":"D. Basile, M. T. Beek, Axel Legay, Louis-Marie Traonouez","doi":"10.1007/978-3-030-00359-3_3","DOIUrl":"https://doi.org/10.1007/978-3-030-00359-3_3","url":null,"abstract":"","PeriodicalId":239102,"journal":{"name":"International Workshop on Verification and Evaluation of Computer and Communication Systems","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115748640","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
A Protocol for Constraint Automata Execution in a Synchronous Network of Processors 约束自动机在同步处理器网络中的执行协议
International Workshop on Verification and Evaluation of Computer and Communication Systems Pub Date : 2018-09-26 DOI: 10.1007/978-3-030-00359-3_6
A. Farhadi, M. Izadi, J. Habibi
{"title":"A Protocol for Constraint Automata Execution in a Synchronous Network of Processors","authors":"A. Farhadi, M. Izadi, J. Habibi","doi":"10.1007/978-3-030-00359-3_6","DOIUrl":"https://doi.org/10.1007/978-3-030-00359-3_6","url":null,"abstract":"","PeriodicalId":239102,"journal":{"name":"International Workshop on Verification and Evaluation of Computer and Communication Systems","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126842750","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
Toward Implicit Learning for the Compositional Verification of Markov Decision Processes 面向马尔可夫决策过程组合验证的内隐学习
International Workshop on Verification and Evaluation of Computer and Communication Systems Pub Date : 2018-09-26 DOI: 10.1007/978-3-030-00359-3_13
Redouane Bouchekir, M. C. Boukala
{"title":"Toward Implicit Learning for the Compositional Verification of Markov Decision Processes","authors":"Redouane Bouchekir, M. C. Boukala","doi":"10.1007/978-3-030-00359-3_13","DOIUrl":"https://doi.org/10.1007/978-3-030-00359-3_13","url":null,"abstract":"","PeriodicalId":239102,"journal":{"name":"International Workshop on Verification and Evaluation of Computer and Communication Systems","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127973218","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
Replacing Store Buffers by Load Buffers in TSO 在TSO中用负载缓冲区代替存储缓冲区
International Workshop on Verification and Evaluation of Computer and Communication Systems Pub Date : 2018-09-26 DOI: 10.1007/978-3-030-00359-3_2
P. Abdulla, M. Atig, A. Bouajjani, Ngo Tuan Phong
{"title":"Replacing Store Buffers by Load Buffers in TSO","authors":"P. Abdulla, M. Atig, A. Bouajjani, Ngo Tuan Phong","doi":"10.1007/978-3-030-00359-3_2","DOIUrl":"https://doi.org/10.1007/978-3-030-00359-3_2","url":null,"abstract":"","PeriodicalId":239102,"journal":{"name":"International Workshop on Verification and Evaluation of Computer and Communication Systems","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132013465","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
MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets MBT/CPN:基于模型的彩色Petri网分布式系统协议软件测试工具
International Workshop on Verification and Evaluation of Computer and Communication Systems Pub Date : 2018-09-26 DOI: 10.1007/978-3-030-00359-3_7
Rui Wang, L. Kristensen, V. Stolz
{"title":"MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets","authors":"Rui Wang, L. Kristensen, V. Stolz","doi":"10.1007/978-3-030-00359-3_7","DOIUrl":"https://doi.org/10.1007/978-3-030-00359-3_7","url":null,"abstract":"","PeriodicalId":239102,"journal":{"name":"International Workshop on Verification and Evaluation of Computer and Communication Systems","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124201170","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学术官方微信