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

Results of the SENSORIA Project最新文献

筛选
英文 中文
An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems 面向服务系统验证的动态框架
Results of the SENSORIA Project Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-20401-2_18
S. Gnesi, F. Mazzanti
{"title":"An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems","authors":"S. Gnesi, F. Mazzanti","doi":"10.1007/978-3-642-20401-2_18","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_18","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"73 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":"123854137","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}
引用次数: 28
Sensoria - Software Engineering for Service-Oriented Overlay Computers 面向服务的覆盖计算机的软件工程
Results of the SENSORIA Project Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-20401-2_1
M. Wirsing, Matthias M. Hölzl, N. Koch, Philip Mayer
{"title":"Sensoria - Software Engineering for Service-Oriented Overlay Computers","authors":"M. Wirsing, Matthias M. Hölzl, N. Koch, Philip Mayer","doi":"10.1007/978-3-642-20401-2_1","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_1","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"9 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":"121257164","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}
引用次数: 23
Model-Driven Development of Adaptable Service-Oriented Business Processes 可适应的面向服务的业务流程的模型驱动开发
Results of the SENSORIA Project Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-20401-2_6
C. Montangero, S. Reiff-Marganiec, L. Semini
{"title":"Model-Driven Development of Adaptable Service-Oriented Business Processes","authors":"C. Montangero, S. Reiff-Marganiec, L. Semini","doi":"10.1007/978-3-642-20401-2_6","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_6","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"114 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":"133047419","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
Behavioral Theory for Session-Oriented Calculi 面向会话演算的行为理论
Results of the SENSORIA Project Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-20401-2_9
Ivan Lanese, A. Ravara, H. Vieira
{"title":"Behavioral Theory for Session-Oriented Calculi","authors":"Ivan Lanese, A. Ravara, H. Vieira","doi":"10.1007/978-3-642-20401-2_9","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_9","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"18 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":"115508048","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
Quantitative Analysis of Services 服务的定量分析
Results of the SENSORIA Project Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-20401-2_25
Igor Cappello, Allan Clark, S. Gilmore, D. Latella, M. Loreti, P. Quaglia, S. Schivo
{"title":"Quantitative Analysis of Services","authors":"Igor Cappello, Allan Clark, S. Gilmore, D. Latella, M. Loreti, P. Quaglia, S. Schivo","doi":"10.1007/978-3-642-20401-2_25","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_25","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"72 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":"115545078","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
Call-by-Contract for Service Discovery, Orchestration and Recovery 用于服务发现、编排和恢复的契约调用
Results of the SENSORIA Project Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-20401-2_11
Massimo Bartoletti, P. Degano, G. Ferrari, R. Zunino
{"title":"Call-by-Contract for Service Discovery, Orchestration and Recovery","authors":"Massimo Bartoletti, P. Degano, G. Ferrari, R. Zunino","doi":"10.1007/978-3-642-20401-2_11","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_11","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"27 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":"115569437","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
Static Analysis Techniques for Session-Oriented Calculi 面向会话演算的静态分析技术
Results of the SENSORIA Project Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-20401-2_10
Lucia Acciai, C. Bodei, Michele Boreale, R. Bruni, H. Vieira
{"title":"Static Analysis Techniques for Session-Oriented Calculi","authors":"Lucia Acciai, C. Bodei, Michele Boreale, R. Bruni, H. Vieira","doi":"10.1007/978-3-642-20401-2_10","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_10","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"9 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":"124184991","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
Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis 图转换的模型转换研究进展:规范、执行和分析
Results of the SENSORIA Project Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-20401-2_27
Gábor Bergmann, A. Boronat, R. Heckel, P. Torrini, I. Ráth, Dániel Varró
{"title":"Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis","authors":"Gábor Bergmann, A. Boronat, R. Heckel, P. Torrini, I. Ráth, Dániel Varró","doi":"10.1007/978-3-642-20401-2_27","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_27","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"52 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":"114790178","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
A Unifying Formal Basis for the Sensoria Approach: A White Paper 感觉方法的统一形式基础:白皮书
Results of the SENSORIA Project Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-20401-2_2
U. Montanari
{"title":"A Unifying Formal Basis for the Sensoria Approach: A White Paper","authors":"U. Montanari","doi":"10.1007/978-3-642-20401-2_2","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_2","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"22 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":"116934907","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
The Sensoria Development Environment 感官发展环境
Results of the SENSORIA Project Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-20401-2_30
Philip Mayer, I. Ráth
{"title":"The Sensoria Development Environment","authors":"Philip Mayer, I. Ráth","doi":"10.1007/978-3-642-20401-2_30","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_30","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","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":"128790494","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
下一页 尾页
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学术官方微信