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

International Conference on Algebraic Methodology and Software Technology最新文献

筛选
英文 中文
A Formally Verified Calculus for Full Java Card 一个正式验证的微积分为全Java卡
International Conference on Algebraic Methodology and Software Technology Pub Date : 2004-07-12 DOI: 10.1007/978-3-540-27815-3_37
K. Stenzel
{"title":"A Formally Verified Calculus for Full Java Card","authors":"K. Stenzel","doi":"10.1007/978-3-540-27815-3_37","DOIUrl":"https://doi.org/10.1007/978-3-540-27815-3_37","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122241792","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}
引用次数: 44
Model-Checking Systems with Unbounded Variables without Abstraction 无抽象无界变量的模型检验系统
International Conference on Algebraic Methodology and Software Technology Pub Date : 2004-07-12 DOI: 10.1007/978-3-540-27815-3_11
M. Contensin, L. Pierre
{"title":"Model-Checking Systems with Unbounded Variables without Abstraction","authors":"M. Contensin, L. Pierre","doi":"10.1007/978-3-540-27815-3_11","DOIUrl":"https://doi.org/10.1007/978-3-540-27815-3_11","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"109 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133465206","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
Modal Kleene Algebra and Partial Correctness 模态Kleene代数与部分正确性
International Conference on Algebraic Methodology and Software Technology Pub Date : 2004-07-12 DOI: 10.1007/978-3-540-27815-3_30
B. Möller, G. Struth
{"title":"Modal Kleene Algebra and Partial Correctness","authors":"B. Möller, G. Struth","doi":"10.1007/978-3-540-27815-3_30","DOIUrl":"https://doi.org/10.1007/978-3-540-27815-3_30","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115809464","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}
引用次数: 26
On Guard: Producing Run-Time Checks from Integrity Constraints 警惕:根据完整性约束生成运行时检查
International Conference on Algebraic Methodology and Software Technology Pub Date : 2004-07-12 DOI: 10.1007/978-3-540-27815-3_7
Michael Benedikt, G. Bruns
{"title":"On Guard: Producing Run-Time Checks from Integrity Constraints","authors":"Michael Benedikt, G. Bruns","doi":"10.1007/978-3-540-27815-3_7","DOIUrl":"https://doi.org/10.1007/978-3-540-27815-3_7","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"135 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115876988","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
Abstraction for Safety, Induction for Liveness 抽象是为了安全，归纳是为了生活
International Conference on Algebraic Methodology and Software Technology Pub Date : 2004-07-12 DOI: 10.1007/978-3-540-27815-3_4
M. Calder
{"title":"Abstraction for Safety, Induction for Liveness","authors":"M. Calder","doi":"10.1007/978-3-540-27815-3_4","DOIUrl":"https://doi.org/10.1007/978-3-540-27815-3_4","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131143928","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
Modal Abstractions in µCRL µCRL中的模态抽象
International Conference on Algebraic Methodology and Software Technology Pub Date : 2004-07-12 DOI: 10.1007/978-3-540-27815-3_32
J. Pol, M. V. Espada
{"title":"Modal Abstractions in µCRL","authors":"J. Pol, M. V. Espada","doi":"10.1007/978-3-540-27815-3_32","DOIUrl":"https://doi.org/10.1007/978-3-540-27815-3_32","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129192291","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
Techniques for Executing and Reasoning about Specification Diagrams 规范图的执行和推理技术
International Conference on Algebraic Methodology and Software Technology Pub Date : 2004-07-12 DOI: 10.1007/978-3-540-27815-3_39
P. Thati, C. Talcott, G. Agha
{"title":"Techniques for Executing and Reasoning about Specification Diagrams","authors":"P. Thati, C. Talcott, G. Agha","doi":"10.1007/978-3-540-27815-3_39","DOIUrl":"https://doi.org/10.1007/978-3-540-27815-3_39","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128029499","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}
引用次数: 11
Modularity and the Rule of Adaptation 模块化与适应规则
International Conference on Algebraic Methodology and Software Technology Pub Date : 2004-07-12 DOI: 10.1007/978-3-540-27815-3_31
C. Pierik, F. S. Boer
{"title":"Modularity and the Rule of Adaptation","authors":"C. Pierik, F. S. Boer","doi":"10.1007/978-3-540-27815-3_31","DOIUrl":"https://doi.org/10.1007/978-3-540-27815-3_31","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133921140","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}
引用次数: 9
Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions 模型检查分布式实时系统与状态，事件，和多重公平性假设
International Conference on Algebraic Methodology and Software Technology Pub Date : 2004-07-12 DOI: 10.1007/978-3-540-27815-3_41
Farn Wang
{"title":"Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions","authors":"Farn Wang","doi":"10.1007/978-3-540-27815-3_41","DOIUrl":"https://doi.org/10.1007/978-3-540-27815-3_41","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121472113","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}
引用次数: 17
A Hybrid Logic of Knowledge Supporting Topological Reasoning 支持拓扑推理的知识混合逻辑
International Conference on Algebraic Methodology and Software Technology Pub Date : 2004-07-12 DOI: 10.1007/978-3-540-27815-3_17
B. Heinemann
{"title":"A Hybrid Logic of Knowledge Supporting Topological Reasoning","authors":"B. Heinemann","doi":"10.1007/978-3-540-27815-3_17","DOIUrl":"https://doi.org/10.1007/978-3-540-27815-3_17","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117039043","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}
引用次数: 9
首页 上一页 下一页 尾页
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学术官方微信
小红书