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

International Colloquium on Theoretical Aspects of Computing最新文献

筛选
英文 中文
Compositionality of Safe Communication in Systems of Team Automata 团队自动机系统中安全通信的组合性
International Colloquium on Theoretical Aspects of Computing Pub Date : 2020-11-30 DOI: 10.1007/978-3-030-64276-1_11
M. T. Beek, R. Hennicker, J. Kleijn
{"title":"Compositionality of Safe Communication in Systems of Team Automata","authors":"M. T. Beek, R. Hennicker, J. Kleijn","doi":"10.1007/978-3-030-64276-1_11","DOIUrl":"https://doi.org/10.1007/978-3-030-64276-1_11","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124302535","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
DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain DABSTERS:一种用于许可区块链的隐私保护电子投票协议
International Colloquium on Theoretical Aspects of Computing Pub Date : 2019-10-31 DOI: 10.1007/978-3-030-32505-3_17
Marwa Chaieb, Mirko Koscina, S. Yousfi, P. Lafourcade, R. Robbana
{"title":"DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain","authors":"Marwa Chaieb, Mirko Koscina, S. Yousfi, P. Lafourcade, R. Robbana","doi":"10.1007/978-3-030-32505-3_17","DOIUrl":"https://doi.org/10.1007/978-3-030-32505-3_17","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128039143","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
Taylor Series Revisited 再看泰勒级数
International Colloquium on Theoretical Aspects of Computing Pub Date : 2019-10-31 DOI: 10.1007/978-3-030-32505-3_19
X. Thirioux, Alexis Maffart
{"title":"Taylor Series Revisited","authors":"X. Thirioux, Alexis Maffart","doi":"10.1007/978-3-030-32505-3_19","DOIUrl":"https://doi.org/10.1007/978-3-030-32505-3_19","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132998166","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
BCARET Model Checking for Malware Detection BCARET模型检测恶意软件
International Colloquium on Theoretical Aspects of Computing Pub Date : 2019-10-31 DOI: 10.1007/978-3-030-32505-3_16
Huu-Vu Nguyen, Tayssir Touili
{"title":"BCARET Model Checking for Malware Detection","authors":"Huu-Vu Nguyen, Tayssir Touili","doi":"10.1007/978-3-030-32505-3_16","DOIUrl":"https://doi.org/10.1007/978-3-030-32505-3_16","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"145 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127310978","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
Solving of Regular Equations Revisited 正则方程的求解
International Colloquium on Theoretical Aspects of Computing Pub Date : 2019-10-31 DOI: 10.1007/978-3-030-32505-3_22
Martin Sulzmann, Kenny Zhuo Ming Lu
{"title":"Solving of Regular Equations Revisited","authors":"Martin Sulzmann, Kenny Zhuo Ming Lu","doi":"10.1007/978-3-030-32505-3_22","DOIUrl":"https://doi.org/10.1007/978-3-030-32505-3_22","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127665542","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
Verification of Multi-agent Systems with Timeouts for Migration and Communication 具有迁移和通信超时的多智能体系统的验证
International Colloquium on Theoretical Aspects of Computing Pub Date : 2019-10-31 DOI: 10.1007/978-3-030-32505-3_9
Bogdan Aman, Gabriel Ciobanu
{"title":"Verification of Multi-agent Systems with Timeouts for Migration and Communication","authors":"Bogdan Aman, Gabriel Ciobanu","doi":"10.1007/978-3-030-32505-3_9","DOIUrl":"https://doi.org/10.1007/978-3-030-32505-3_9","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115769133","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
Verification by Construction of Distributed Algorithms 分布式算法的构造验证
International Colloquium on Theoretical Aspects of Computing Pub Date : 2019-10-31 DOI: 10.1007/978-3-030-32505-3_2
D. Méry
{"title":"Verification by Construction of Distributed Algorithms","authors":"D. Méry","doi":"10.1007/978-3-030-32505-3_2","DOIUrl":"https://doi.org/10.1007/978-3-030-32505-3_2","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"228 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132453558","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
Solving the Expression Problem in C++, á la LMS 求解c++中的表达式问题，<s:1> LMS
International Colloquium on Theoretical Aspects of Computing Pub Date : 2019-10-31 DOI: 10.1007/978-3-030-32505-3_20
S. H. Haeri, P. Keir
{"title":"Solving the Expression Problem in C++, á la LMS","authors":"S. H. Haeri, P. Keir","doi":"10.1007/978-3-030-32505-3_20","DOIUrl":"https://doi.org/10.1007/978-3-030-32505-3_20","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130389759","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
Completeness of Abstract Domains for String Analysis of JavaScript Programs JavaScript程序字符串分析抽象域的完备性
International Colloquium on Theoretical Aspects of Computing Pub Date : 2019-10-31 DOI: 10.1007/978-3-030-32505-3_15
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni
{"title":"Completeness of Abstract Domains for String Analysis of JavaScript Programs","authors":"Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni","doi":"10.1007/978-3-030-32505-3_15","DOIUrl":"https://doi.org/10.1007/978-3-030-32505-3_15","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132522931","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
Starvation-Free Monitors Starvation-Free监视器
International Colloquium on Theoretical Aspects of Computing Pub Date : 2019-10-31 DOI: 10.1007/978-3-030-32505-3_11
J. Hamin
{"title":"Starvation-Free Monitors","authors":"J. Hamin","doi":"10.1007/978-3-030-32505-3_11","DOIUrl":"https://doi.org/10.1007/978-3-030-32505-3_11","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114835614","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
首页 上一页 下一页 尾页
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学术官方微信