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

Ershov Memorial Conference最新文献

筛选
英文 中文
Quantitative Analysis of Collective Adaptive Systems 集体适应系统的定量分析
Ershov Memorial Conference Pub Date : 2015-08-24 DOI: 10.1007/978-3-319-41579-6_1
J. Hillston
{"title":"Quantitative Analysis of Collective Adaptive Systems","authors":"J. Hillston","doi":"10.1007/978-3-319-41579-6_1","DOIUrl":"https://doi.org/10.1007/978-3-319-41579-6_1","url":null,"abstract":"","PeriodicalId":367126,"journal":{"name":"Ershov Memorial Conference","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128593874","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
Dynamics Security Policies and Process Opacity for Timed Process Algebras 定时进程代数的动态安全策略与进程不透明性
Ershov Memorial Conference Pub Date : 2015-08-24 DOI: 10.1007/978-3-319-41579-6_12
Damas P. Gruska
{"title":"Dynamics Security Policies and Process Opacity for Timed Process Algebras","authors":"Damas P. Gruska","doi":"10.1007/978-3-319-41579-6_12","DOIUrl":"https://doi.org/10.1007/978-3-319-41579-6_12","url":null,"abstract":"","PeriodicalId":367126,"journal":{"name":"Ershov Memorial Conference","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134486060","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
Automated Two-Phase Composition of Timed Web Services 定时Web服务的自动两阶段组合
Ershov Memorial Conference Pub Date : 2015-08-24 DOI: 10.1007/978-3-319-41579-6_20
M. Szreter
{"title":"Automated Two-Phase Composition of Timed Web Services","authors":"M. Szreter","doi":"10.1007/978-3-319-41579-6_20","DOIUrl":"https://doi.org/10.1007/978-3-319-41579-6_20","url":null,"abstract":"","PeriodicalId":367126,"journal":{"name":"Ershov Memorial Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129160644","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
Using Refinement in Formal Development of OS Security Model 在操作系统安全模型形式化开发中的应用
Ershov Memorial Conference Pub Date : 2015-08-24 DOI: 10.1007/978-3-319-41579-6_9
P. N. Devyanin, A. Khoroshilov, V. Kuliamin, A. Petrenko, I. Shchepetkov
{"title":"Using Refinement in Formal Development of OS Security Model","authors":"P. N. Devyanin, A. Khoroshilov, V. Kuliamin, A. Petrenko, I. Shchepetkov","doi":"10.1007/978-3-319-41579-6_9","DOIUrl":"https://doi.org/10.1007/978-3-319-41579-6_9","url":null,"abstract":"","PeriodicalId":367126,"journal":{"name":"Ershov Memorial Conference","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123498120","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
Behavioural Analysis of Sessions Using the Calculus of Structures 使用结构演算的会话行为分析
Ershov Memorial Conference Pub Date : 2015-08-24 DOI: 10.1007/978-3-319-41579-6_8
Gabriel Ciobanu, Ross Horne
{"title":"Behavioural Analysis of Sessions Using the Calculus of Structures","authors":"Gabriel Ciobanu, Ross Horne","doi":"10.1007/978-3-319-41579-6_8","DOIUrl":"https://doi.org/10.1007/978-3-319-41579-6_8","url":null,"abstract":"","PeriodicalId":367126,"journal":{"name":"Ershov Memorial Conference","volume":"179 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116101292","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}
引用次数: 12
Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data 用数据验证工作流网络模态规范的约束求解
Ershov Memorial Conference Pub Date : 2015-08-24 DOI: 10.1007/978-3-319-41579-6_7
Hadrien Bride, O. Kouchnarenko, F. Peureux
{"title":"Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data","authors":"Hadrien Bride, O. Kouchnarenko, F. Peureux","doi":"10.1007/978-3-319-41579-6_7","DOIUrl":"https://doi.org/10.1007/978-3-319-41579-6_7","url":null,"abstract":"","PeriodicalId":367126,"journal":{"name":"Ershov Memorial Conference","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125268642","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
Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic 最小逻辑语境自然演绎的实现与评价
Ershov Memorial Conference Pub Date : 2015-08-24 DOI: 10.1007/978-3-319-41579-6_24
B. W. Paleo
{"title":"Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic","authors":"B. W. Paleo","doi":"10.1007/978-3-319-41579-6_24","DOIUrl":"https://doi.org/10.1007/978-3-319-41579-6_24","url":null,"abstract":"","PeriodicalId":367126,"journal":{"name":"Ershov Memorial Conference","volume":"90 12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116247597","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
Unifying Requirements and Code: An Example 统一需求和代码:一个例子
Ershov Memorial Conference Pub Date : 2015-08-24 DOI: 10.1007/978-3-319-41579-6_18
A. Naumchev, B. Meyer, V. Rivera
{"title":"Unifying Requirements and Code: An Example","authors":"A. Naumchev, B. Meyer, V. Rivera","doi":"10.1007/978-3-319-41579-6_18","DOIUrl":"https://doi.org/10.1007/978-3-319-41579-6_18","url":null,"abstract":"","PeriodicalId":367126,"journal":{"name":"Ershov Memorial Conference","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129878103","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
What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms 你一直想知道的关于容错分布式算法的模型检查
Ershov Memorial Conference Pub Date : 2015-08-24 DOI: 10.1007/978-3-319-41579-6_2
I. Konnov, H. Veith, Josef Widder
{"title":"What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms","authors":"I. Konnov, H. Veith, Josef Widder","doi":"10.1007/978-3-319-41579-6_2","DOIUrl":"https://doi.org/10.1007/978-3-319-41579-6_2","url":null,"abstract":"","PeriodicalId":367126,"journal":{"name":"Ershov Memorial Conference","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124312779","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}
引用次数: 22
Modeling Actor Systems Using Dynamic I/O Automata 使用动态I/O自动机建模参与者系统
Ershov Memorial Conference Pub Date : 2015-08-24 DOI: 10.1007/978-3-319-41579-6_15
I. Kurnia, A. Poetzsch-Heffter
{"title":"Modeling Actor Systems Using Dynamic I/O Automata","authors":"I. Kurnia, A. Poetzsch-Heffter","doi":"10.1007/978-3-319-41579-6_15","DOIUrl":"https://doi.org/10.1007/978-3-319-41579-6_15","url":null,"abstract":"","PeriodicalId":367126,"journal":{"name":"Ershov Memorial Conference","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125014210","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学术文献互助群
群 号：604180095
Book学术官方微信