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

Logic, Computation and Rigorous Methods最新文献

筛选
英文 中文
The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes 结合使用Web本体语言(OWL)和抽象状态机(ASM)定义业务流程规范语言
Logic, Computation and Rigorous Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-76020-5_16
Matthes Elstermann, André Wolski, A. Fleischmann, C. Stary, Stephan Borgert
{"title":"The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes","authors":"Matthes Elstermann, André Wolski, A. Fleischmann, C. Stary, Stephan Borgert","doi":"10.1007/978-3-030-76020-5_16","DOIUrl":"https://doi.org/10.1007/978-3-030-76020-5_16","url":null,"abstract":"","PeriodicalId":258821,"journal":{"name":"Logic, Computation and Rigorous Methods","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114971858","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
Computation on Structures - Behavioural Theory, Logic, Complexity 计算结构-行为理论，逻辑，复杂性
Logic, Computation and Rigorous Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-76020-5_15
K. Schewe
{"title":"Computation on Structures - Behavioural Theory, Logic, Complexity","authors":"K. Schewe","doi":"10.1007/978-3-030-76020-5_15","DOIUrl":"https://doi.org/10.1007/978-3-030-76020-5_15","url":null,"abstract":"","PeriodicalId":258821,"journal":{"name":"Logic, Computation and Rigorous Methods","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121496292","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
Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond 关于计算模型的一些思考:从大规模人类计算到抽象状态机，以及其他
Logic, Computation and Rigorous Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-76020-5_10
J. Makowsky
{"title":"Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond","authors":"J. Makowsky","doi":"10.1007/978-3-030-76020-5_10","DOIUrl":"https://doi.org/10.1007/978-3-030-76020-5_10","url":null,"abstract":"","PeriodicalId":258821,"journal":{"name":"Logic, Computation and Rigorous Methods","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130854687","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 Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines 用抽象状态机对同步和异步过程进行语义建模的框架
Logic, Computation and Rigorous Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-76020-5_18
W. Zimmermann, Mandy Weißbach
{"title":"A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines","authors":"W. Zimmermann, Mandy Weißbach","doi":"10.1007/978-3-030-76020-5_18","DOIUrl":"https://doi.org/10.1007/978-3-030-76020-5_18","url":null,"abstract":"","PeriodicalId":258821,"journal":{"name":"Logic, Computation and Rigorous Methods","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133013782","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
Spot the Difference: A Detailed Comparison Between B and Event-B 发现差异:B和事件B之间的详细比较
Logic, Computation and Rigorous Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-76020-5_9
M. Leuschel
{"title":"Spot the Difference: A Detailed Comparison Between B and Event-B","authors":"M. Leuschel","doi":"10.1007/978-3-030-76020-5_9","DOIUrl":"https://doi.org/10.1007/978-3-030-76020-5_9","url":null,"abstract":"","PeriodicalId":258821,"journal":{"name":"Logic, Computation and Rigorous Methods","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124021873","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
The ASMETA Approach to Safety Assurance of Software Systems 软件系统安全保证的ASMETA方法
Logic, Computation and Rigorous Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-76020-5_13
Paolo Arcaini, A. Bombarda, S. Bonfanti, A. Gargantini, E. Riccobene, P. Scandurra
{"title":"The ASMETA Approach to Safety Assurance of Software Systems","authors":"Paolo Arcaini, A. Bombarda, S. Bonfanti, A. Gargantini, E. Riccobene, P. Scandurra","doi":"10.1007/978-3-030-76020-5_13","DOIUrl":"https://doi.org/10.1007/978-3-030-76020-5_13","url":null,"abstract":"","PeriodicalId":258821,"journal":{"name":"Logic, Computation and Rigorous Methods","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116656731","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
Product Optimization in Stepwise Design 逐步设计中的产品优化
Logic, Computation and Rigorous Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-76020-5_4
D. Batory, Jeho Oh, R. Heradio, David Benavides
{"title":"Product Optimization in Stepwise Design","authors":"D. Batory, Jeho Oh, R. Heradio, David Benavides","doi":"10.1007/978-3-030-76020-5_4","DOIUrl":"https://doi.org/10.1007/978-3-030-76020-5_4","url":null,"abstract":"","PeriodicalId":258821,"journal":{"name":"Logic, Computation and Rigorous Methods","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124766010","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
Semantic Splitting of Conditional Belief Bases 条件信念基的语义分裂
Logic, Computation and Rigorous Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-76020-5_5
C. Beierle, J. Haldimann, G. Kern-Isberner
{"title":"Semantic Splitting of Conditional Belief Bases","authors":"C. Beierle, J. Haldimann, G. Kern-Isberner","doi":"10.1007/978-3-030-76020-5_5","DOIUrl":"https://doi.org/10.1007/978-3-030-76020-5_5","url":null,"abstract":"","PeriodicalId":258821,"journal":{"name":"Logic, Computation and Rigorous Methods","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128471781","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
Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday 逻辑，计算和严谨的方法:在他75岁生日之际献给埃贡Börger的文章
Logic, Computation and Rigorous Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-76020-5
{"title":"Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday","authors":"","doi":"10.1007/978-3-030-76020-5","DOIUrl":"https://doi.org/10.1007/978-3-030-76020-5","url":null,"abstract":"","PeriodicalId":258821,"journal":{"name":"Logic, Computation and Rigorous Methods","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122891904","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
Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System 一个并发和崩溃安全的Flash文件系统的模块化验证
Logic, Computation and Rigorous Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-76020-5_14
Stefan Bodenmüller, G. Schellhorn, Martin Bitterlich, W. Reif
{"title":"Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System","authors":"Stefan Bodenmüller, G. Schellhorn, Martin Bitterlich, W. Reif","doi":"10.1007/978-3-030-76020-5_14","DOIUrl":"https://doi.org/10.1007/978-3-030-76020-5_14","url":null,"abstract":"","PeriodicalId":258821,"journal":{"name":"Logic, Computation and Rigorous Methods","volume":"142 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121715844","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学术官方微信