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

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

筛选
英文 中文
Towards an Efficient Implementation of Tree Automata Completion 迈向树自动机补全的有效实现
International Conference on Algebraic Methodology and Software Technology Pub Date : 2008-07-28 DOI: 10.1007/978-3-540-79980-1_6
E. Balland, Yohan Boichut, T. Genet, Pierre-Etienne Moreau
{"title":"Towards an Efficient Implementation of Tree Automata Completion","authors":"E. Balland, Yohan Boichut, T. Genet, Pierre-Etienne Moreau","doi":"10.1007/978-3-540-79980-1_6","DOIUrl":"https://doi.org/10.1007/978-3-540-79980-1_6","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114852426","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}
引用次数: 20
Calculating Invariants as Coreflexive Bisimulations 计算作为核心自反双模拟的不变量
International Conference on Algebraic Methodology and Software Technology Pub Date : 2008-07-28 DOI: 10.1007/978-3-540-79980-1_7
L. Barbosa, J. Oliveira, Alexandra Silva
{"title":"Calculating Invariants as Coreflexive Bisimulations","authors":"L. Barbosa, J. Oliveira, Alexandra Silva","doi":"10.1007/978-3-540-79980-1_7","DOIUrl":"https://doi.org/10.1007/978-3-540-79980-1_7","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127002458","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
State Space Representation for Verification of Open Systems 开放系统验证的状态空间表示
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_4
Irem Aktug, D. Gurov
{"title":"State Space Representation for Verification of Open Systems","authors":"Irem Aktug, D. Gurov","doi":"10.1007/11784180_4","DOIUrl":"https://doi.org/10.1007/11784180_4","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114228905","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
Measuring the Speed of Information Leakage in Mobile Processes 移动过程中信息泄漏速度的测量
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_6
B. Aziz
{"title":"Measuring the Speed of Information Leakage in Mobile Processes","authors":"B. Aziz","doi":"10.1007/11784180_6","DOIUrl":"https://doi.org/10.1007/11784180_6","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133093652","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}
引用次数: 4
Fork Algebras as a Sufficiently Rich Universal Institution 叉代数作为一个充分丰富的普遍制度
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_19
C. L. Pombo, M. Frias
{"title":"Fork Algebras as a Sufficiently Rich Universal Institution","authors":"C. L. Pombo, M. Frias","doi":"10.1007/11784180_19","DOIUrl":"https://doi.org/10.1007/11784180_19","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122139428","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
ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams ITP/OCL: UML+OCL静态类图的基于重写的验证工具
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_28
M. Clavel, M. Egea
{"title":"ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams","authors":"M. Clavel, M. Egea","doi":"10.1007/11784180_28","DOIUrl":"https://doi.org/10.1007/11784180_28","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123340476","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}
引用次数: 49
Accelerated Modal Abstractions of Labelled Transition Systems 标记过渡系统的加速模态抽象
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_26
M. V. Espada, J. Pol
{"title":"Accelerated Modal Abstractions of Labelled Transition Systems","authors":"M. V. Espada, J. Pol","doi":"10.1007/11784180_26","DOIUrl":"https://doi.org/10.1007/11784180_26","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129898292","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
Model Transformations Incorporating Multiple Views 包含多个视图的模型转换
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_11
J. Derrick, H. Wehrheim
{"title":"Model Transformations Incorporating Multiple Views","authors":"J. Derrick, H. Wehrheim","doi":"10.1007/11784180_11","DOIUrl":"https://doi.org/10.1007/11784180_11","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129606183","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}
引用次数: 8
A Compositional Semantics of Plan Revision in Intelligent Agents 智能代理中计划修改的组合语义
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_27
M. Riemsdijk, J. Meyer
{"title":"A Compositional Semantics of Plan Revision in Intelligent Agents","authors":"M. Riemsdijk, J. Meyer","doi":"10.1007/11784180_27","DOIUrl":"https://doi.org/10.1007/11784180_27","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127901089","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
Incremental Software Construction with Refinement Diagrams 使用精化图的增量软件构建
International Conference on Algebraic Methodology and Software Technology Pub Date : 2006-07-05 DOI: 10.1007/11784180_1
R. Back
{"title":"Incremental Software Construction with Refinement Diagrams","authors":"R. Back","doi":"10.1007/11784180_1","DOIUrl":"https://doi.org/10.1007/11784180_1","url":null,"abstract":"","PeriodicalId":307826,"journal":{"name":"International Conference on Algebraic Methodology and Software Technology","volume":"25 7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128428977","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}
引用次数: 18
首页 上一页 下一页 尾页
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学术官方微信
小红书