找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Software Engineering for Collective Autonomic Systems; The ASCENS Approach Martin Wirsing,Matthias Hölzl,Philip Mayer Book 2015 Springer In

[复制链接]
查看: 31310|回复: 54
发表于 2025-3-21 18:20:45 | 显示全部楼层 |阅读模式
书目名称Software Engineering for Collective Autonomic Systems
副标题The ASCENS Approach
编辑Martin Wirsing,Matthias Hölzl,Philip Mayer
视频video
概述State-of-the-art contents.Presents methods, tools and theories developed within the ASCENS project.Contributions by international experts
丛书名称Lecture Notes in Computer Science
图书封面Titlebook: Software Engineering for Collective Autonomic Systems; The ASCENS Approach Martin Wirsing,Matthias Hölzl,Philip Mayer Book 2015 Springer In
描述A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new knowledge into their behavior. These highly dynamic systems are also known as ensembles. To ensure correct behavior of ensembles it is necessary to support their development through appropriate methods and tools which can guarantee that an autonomic system lives up to its intended purpose; this includes respecting important constraints of the environment.This State-of-the-Art Survey addresses the engineering of such systems by presenting the methods, tools and theories developed within the ASCENS project. ASCENS was an integrated project funded in the period2010-2015 by the 7th Framework Programme (FP7) of the European Commission as part of the Future Emerging Technologies Proactive Initiative (FET Proactive). The 17 contributions included in this book are organized in four parts corresponding to the research areas of the project and their concrete applications: (I) language and verification for self-awareness and self-expression, (II) modeling and theory of self-aware and adaptive systems, (III) engineering t
出版日期Book 2015
关键词adaptive systems; autonomic computing; cloud computing; constraint porgramming; dynamic programming; ense
版次1
doihttps://doi.org/10.1007/978-3-319-16310-9
isbn_softcover978-3-319-16309-3
isbn_ebook978-3-319-16310-9Series ISSN 0302-9743 Series E-ISSN 1611-3349
issn_series 0302-9743
copyrightSpringer International Publishing Switzerland 2015
The information of publication is updating

书目名称Software Engineering for Collective Autonomic Systems影响因子(影响力)




书目名称Software Engineering for Collective Autonomic Systems影响因子(影响力)学科排名




书目名称Software Engineering for Collective Autonomic Systems网络公开度




书目名称Software Engineering for Collective Autonomic Systems网络公开度学科排名




书目名称Software Engineering for Collective Autonomic Systems被引频次




书目名称Software Engineering for Collective Autonomic Systems被引频次学科排名




书目名称Software Engineering for Collective Autonomic Systems年度引用




书目名称Software Engineering for Collective Autonomic Systems年度引用学科排名




书目名称Software Engineering for Collective Autonomic Systems读者反馈




书目名称Software Engineering for Collective Autonomic Systems读者反馈学科排名




单选投票, 共有 1 人参与投票
 

1票 100.00%

Perfect with Aesthetics

 

0票 0.00%

Better Implies Difficulty

 

0票 0.00%

Good and Satisfactory

 

0票 0.00%

Adverse Performance

 

0票 0.00%

Disdainful Garbage

您所在的用户组没有投票权限
发表于 2025-3-21 20:55:19 | 显示全部楼层
发表于 2025-3-22 03:34:40 | 显示全部楼层
https://doi.org/10.1007/978-3-319-16310-9adaptive systems; autonomic computing; cloud computing; constraint porgramming; dynamic programming; ense
发表于 2025-3-22 04:33:32 | 显示全部楼层
978-3-319-16309-3Springer International Publishing Switzerland 2015
发表于 2025-3-22 12:27:20 | 显示全部楼层
Software Engineering for Collective Autonomic Systems978-3-319-16310-9Series ISSN 0302-9743 Series E-ISSN 1611-3349
发表于 2025-3-22 16:22:21 | 显示全部楼层
The SCEL Language: Design, Implementation, Verificationess, and adaptation. The solid semantic grounds of the language is exploited for developing logics, tools and methodologies for formal reasoning on system behavior to establish qualitative and quantitative properties of both the individual components and the overall systems.
发表于 2025-3-22 17:53:56 | 显示全部楼层
发表于 2025-3-22 23:31:55 | 显示全部楼层
发表于 2025-3-23 04:04:12 | 显示全部楼层
发表于 2025-3-23 06:03:22 | 显示全部楼层
Adaptation and Awareness in Robot Ensembles: Scenarios and Algorithmsze the main results of the research conducted in ASCENS that used the scenario. Finally, we describe an example algorithm that solves a selected problem in the scenario. The algorithm demonstrates how awareness at the ensemble level can be obtained without requiring awareness at the individual level.
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-5-23 06:16
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表