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

Software, Services, and Systems最新文献

筛选
英文 中文
Modal Satisfiability via SMT Solving 通过SMT求解的模态可满足性
Software, Services, and Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-15545-6_5
C. Areces, P. Fontaine, Stephan Merz
{"title":"Modal Satisfiability via SMT Solving","authors":"C. Areces, P. Fontaine, Stephan Merz","doi":"10.1007/978-3-319-15545-6_5","DOIUrl":"https://doi.org/10.1007/978-3-319-15545-6_5","url":null,"abstract":"","PeriodicalId":135728,"journal":{"name":"Software, Services, and Systems","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":"124802900","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
Pragmatic Formal Specification of System Properties by Tables 表式系统属性的实用正式规范
Software, Services, and Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-15545-6_21
M. Broy
{"title":"Pragmatic Formal Specification of System Properties by Tables","authors":"M. Broy","doi":"10.1007/978-3-319-15545-6_21","DOIUrl":"https://doi.org/10.1007/978-3-319-15545-6_21","url":null,"abstract":"","PeriodicalId":135728,"journal":{"name":"Software, Services, and Systems","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":"128700323","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
Stochastic Model Checking of the Stochastic Quality Calculus 随机质量微积分的随机模型检验
Software, Services, and Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-15545-6_30
F. Nielson, H. R. Nielson, Kebin Zeng
{"title":"Stochastic Model Checking of the Stochastic Quality Calculus","authors":"F. Nielson, H. R. Nielson, Kebin Zeng","doi":"10.1007/978-3-319-15545-6_30","DOIUrl":"https://doi.org/10.1007/978-3-319-15545-6_30","url":null,"abstract":"","PeriodicalId":135728,"journal":{"name":"Software, Services, and Systems","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":"130660983","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
A Framework for Defining and Comparing Modelling Methods 定义和比较建模方法的框架
Software, Services, and Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-15545-6_23
G. Reggio, E. Astesiano, C. Choppy
{"title":"A Framework for Defining and Comparing Modelling Methods","authors":"G. Reggio, E. Astesiano, C. Choppy","doi":"10.1007/978-3-319-15545-6_23","DOIUrl":"https://doi.org/10.1007/978-3-319-15545-6_23","url":null,"abstract":"","PeriodicalId":135728,"journal":{"name":"Software, Services, and Systems","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":"130570839","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
Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems 软代理:探索软约束对鲁棒自适应分布式网络物理代理系统的建模
Software, Services, and Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-15545-6_18
C. Talcott, F. Arbab, Maneesh Yadav
{"title":"Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems","authors":"C. Talcott, F. Arbab, Maneesh Yadav","doi":"10.1007/978-3-319-15545-6_18","DOIUrl":"https://doi.org/10.1007/978-3-319-15545-6_18","url":null,"abstract":"","PeriodicalId":135728,"journal":{"name":"Software, Services, and Systems","volume":"88 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":"125088052","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}
引用次数: 16
A Flow Analysis Approach for Service-Oriented Architectures 面向服务架构的流分析方法
Software, Services, and Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-15545-6_27
B. Bauer, Melanie Langermeier, Christian Saad
{"title":"A Flow Analysis Approach for Service-Oriented Architectures","authors":"B. Bauer, Melanie Langermeier, Christian Saad","doi":"10.1007/978-3-319-15545-6_27","DOIUrl":"https://doi.org/10.1007/978-3-319-15545-6_27","url":null,"abstract":"","PeriodicalId":135728,"journal":{"name":"Software, Services, and Systems","volume":"119 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":"125549545","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
Programming Autonomic Systems with Multiple Constraint Stores 具有多约束存储的自治系统编程
Software, Services, and Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-15545-6_36
U. Montanari, R. Pugliese, F. Tiezzi
{"title":"Programming Autonomic Systems with Multiple Constraint Stores","authors":"U. Montanari, R. Pugliese, F. Tiezzi","doi":"10.1007/978-3-319-15545-6_36","DOIUrl":"https://doi.org/10.1007/978-3-319-15545-6_36","url":null,"abstract":"","PeriodicalId":135728,"journal":{"name":"Software, Services, and Systems","volume":"88 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":"125060239","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
Adaptive and Autonomous Systems and Their Impact on Us 适应性和自治系统及其对我们的影响
Software, Services, and Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-15545-6_37
N. Serbedzija
{"title":"Adaptive and Autonomous Systems and Their Impact on Us","authors":"N. Serbedzija","doi":"10.1007/978-3-319-15545-6_37","DOIUrl":"https://doi.org/10.1007/978-3-319-15545-6_37","url":null,"abstract":"","PeriodicalId":135728,"journal":{"name":"Software, Services, and Systems","volume":"33 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":"121621823","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
Software-Intensive Systems for Smart Cities: From Ensembles to Superorganisms 智慧城市的软件密集型系统:从整体到超有机体
Software, Services, and Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-15545-6_31
N. Bicocchi, L. Leonardi, F. Zambonelli
{"title":"Software-Intensive Systems for Smart Cities: From Ensembles to Superorganisms","authors":"N. Bicocchi, L. Leonardi, F. Zambonelli","doi":"10.1007/978-3-319-15545-6_31","DOIUrl":"https://doi.org/10.1007/978-3-319-15545-6_31","url":null,"abstract":"","PeriodicalId":135728,"journal":{"name":"Software, Services, and Systems","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":"129029211","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
The Broad View: How To Spawn a Radical Organizational Transformation 'En Passant' 宏观视角:如何催生激进的组织转型“过客”
Software, Services, and Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-15545-6_4
H. Hussmann
{"title":"The Broad View: How To Spawn a Radical Organizational Transformation 'En Passant'","authors":"H. Hussmann","doi":"10.1007/978-3-319-15545-6_4","DOIUrl":"https://doi.org/10.1007/978-3-319-15545-6_4","url":null,"abstract":"","PeriodicalId":135728,"journal":{"name":"Software, Services, and Systems","volume":"96 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":"133168924","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
首页 上一页 下一页 尾页
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学术官方微信