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

Software-Intensive Systems and New Computing Paradigms最新文献

筛选
英文 中文
Software Engineering for Ensembles 集成软件工程
Software-Intensive Systems and New Computing Paradigms Pub Date : 2008-11-14 DOI: 10.1007/978-3-540-89437-7_2
Matthias M. Hölzl, A. Rauschmayer, M. Wirsing
{"title":"Software Engineering for Ensembles","authors":"Matthias M. Hölzl, A. Rauschmayer, M. Wirsing","doi":"10.1007/978-3-540-89437-7_2","DOIUrl":"https://doi.org/10.1007/978-3-540-89437-7_2","url":null,"abstract":"","PeriodicalId":130031,"journal":{"name":"Software-Intensive Systems and New Computing Paradigms","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115371523","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
Structured Interacting Computations 结构化交互计算
Software-Intensive Systems and New Computing Paradigms Pub Date : 2008-11-14 DOI: 10.1007/978-3-540-89437-7_9
W. Cook, J. Misra
{"title":"Structured Interacting Computations","authors":"W. Cook, J. Misra","doi":"10.1007/978-3-540-89437-7_9","DOIUrl":"https://doi.org/10.1007/978-3-540-89437-7_9","url":null,"abstract":"","PeriodicalId":130031,"journal":{"name":"Software-Intensive Systems and New Computing Paradigms","volume":"155 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122556954","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
Behaviour Equivalences in Timed Distributed pi-Calculus 时间分布微积分中的行为等价
Software-Intensive Systems and New Computing Paradigms Pub Date : 2008-11-14 DOI: 10.1007/978-3-540-89437-7_13
Gabriel Ciobanu
{"title":"Behaviour Equivalences in Timed Distributed pi-Calculus","authors":"Gabriel Ciobanu","doi":"10.1007/978-3-540-89437-7_13","DOIUrl":"https://doi.org/10.1007/978-3-540-89437-7_13","url":null,"abstract":"","PeriodicalId":130031,"journal":{"name":"Software-Intensive Systems and New Computing Paradigms","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115289602","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}
引用次数: 10
Mathematical Support for Ensemble Engineering 集成工程的数学支持
Software-Intensive Systems and New Computing Paradigms Pub Date : 2008-11-14 DOI: 10.1007/978-3-540-89437-7_12
Michael Johnson
{"title":"Mathematical Support for Ensemble Engineering","authors":"Michael Johnson","doi":"10.1007/978-3-540-89437-7_12","DOIUrl":"https://doi.org/10.1007/978-3-540-89437-7_12","url":null,"abstract":"","PeriodicalId":130031,"journal":{"name":"Software-Intensive Systems and New Computing Paradigms","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124826457","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
Design of Complex Cyber Physical Systems with Formalized Architectural Patterns 具有形式化体系结构模式的复杂网络物理系统设计
Software-Intensive Systems and New Computing Paradigms Pub Date : 2008-11-14 DOI: 10.1007/978-3-540-89437-7_5
L. Sha, J. Meseguer
{"title":"Design of Complex Cyber Physical Systems with Formalized Architectural Patterns","authors":"L. Sha, J. Meseguer","doi":"10.1007/978-3-540-89437-7_5","DOIUrl":"https://doi.org/10.1007/978-3-540-89437-7_5","url":null,"abstract":"","PeriodicalId":130031,"journal":{"name":"Software-Intensive Systems and New Computing Paradigms","volume":"156 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123723370","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}
引用次数: 34
Extending Formal Methods for Software-Intensive Systems 扩展软件密集型系统的形式化方法
Software-Intensive Systems and New Computing Paradigms Pub Date : 2008-11-14 DOI: 10.1007/978-3-540-89437-7_10
Graeme Smith
{"title":"Extending Formal Methods for Software-Intensive Systems","authors":"Graeme Smith","doi":"10.1007/978-3-540-89437-7_10","DOIUrl":"https://doi.org/10.1007/978-3-540-89437-7_10","url":null,"abstract":"","PeriodicalId":130031,"journal":{"name":"Software-Intensive Systems and New Computing Paradigms","volume":"148 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129312955","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
The Chemical Reaction Model Recent Developments and Prospects 化学反应模型的最新进展与展望
Software-Intensive Systems and New Computing Paradigms Pub Date : 2008-11-14 DOI: 10.1007/978-3-540-89437-7_14
J. Banâtre, Pascal Fradet, Yann Radenac
{"title":"The Chemical Reaction Model Recent Developments and Prospects","authors":"J. Banâtre, Pascal Fradet, Yann Radenac","doi":"10.1007/978-3-540-89437-7_14","DOIUrl":"https://doi.org/10.1007/978-3-540-89437-7_14","url":null,"abstract":"","PeriodicalId":130031,"journal":{"name":"Software-Intensive Systems and New Computing Paradigms","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124164638","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}
引用次数: 10
Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems 化学范式的空间组织与自主系统的规范
Software-Intensive Systems and New Computing Paradigms Pub Date : 2008-11-14 DOI: 10.1007/978-3-540-89437-7_15
Jean-Louis Giavitto, Olivier Michel, Antoine Spicher
{"title":"Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems","authors":"Jean-Louis Giavitto, Olivier Michel, Antoine Spicher","doi":"10.1007/978-3-540-89437-7_15","DOIUrl":"https://doi.org/10.1007/978-3-540-89437-7_15","url":null,"abstract":"","PeriodicalId":130031,"journal":{"name":"Software-Intensive Systems and New Computing Paradigms","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122996299","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
Cyber-Physical Systems and Events 网络物理系统和事件
Software-Intensive Systems and New Computing Paradigms Pub Date : 2008-11-14 DOI: 10.1007/978-3-540-89437-7_6
C. Talcott
{"title":"Cyber-Physical Systems and Events","authors":"C. Talcott","doi":"10.1007/978-3-540-89437-7_6","DOIUrl":"https://doi.org/10.1007/978-3-540-89437-7_6","url":null,"abstract":"","PeriodicalId":130031,"journal":{"name":"Software-Intensive Systems and New Computing Paradigms","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115420873","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}
引用次数: 102
Change-Enabled Software Systems 支持变化的软件系统
Software-Intensive Systems and New Computing Paradigms Pub Date : 2008-11-14 DOI: 10.1007/978-3-540-89437-7_3
Oscar Nierstrasz, M. Denker, Tudor Gîrba, Adrian Lienhard, David Röthlisberger
{"title":"Change-Enabled Software Systems","authors":"Oscar Nierstrasz, M. Denker, Tudor Gîrba, Adrian Lienhard, David Röthlisberger","doi":"10.1007/978-3-540-89437-7_3","DOIUrl":"https://doi.org/10.1007/978-3-540-89437-7_3","url":null,"abstract":"","PeriodicalId":130031,"journal":{"name":"Software-Intensive Systems and New Computing Paradigms","volume":"197 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128641277","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
下一页 尾页
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学术官方微信