DARTS,第3卷,第1期

第十二届自适应和自我管理系统软件工程国际研讨会专刊(SEAMS 2017)



缩略图PDF

出版物详细信息


接入号码

文件

找不到与您的筛选器选择匹配的文档。
文件
前沿事务——SEAMS 2017人工制品、目录、前言、人工制品评估委员会

作者:哈维尔·卡马拉、巴沙尔·努塞贝和大卫·加兰


摘要
前沿事务——SEAMS 2017人工制品、目录、前言、人工制品评估委员会

引用为

第十二届自适应和自我管理系统软件工程国际研讨会专刊(SEAMS 2017)。达格斯图尔手工艺品系列(DARTS),第3卷,第1期,第0:i-0:xii页,达格斯图宫-莱布尼茨-泽特鲁姆-富尔信息(2017)


将BibTex复制到剪贴板

@第{ca'mara_et_al:DARTS.3.1.0条,author={卡马拉,哈维尔和努塞贝,巴沙尔和加兰,大卫},title={{前文-SEAMS 2017工件,目录,前言,工件评估委员会}},页面={0:i--0:xii},journal={Dagstuhl手工艺品系列},ISSN={2509-8195},年份={2017年},体积={3},数字={1},editor={卡马拉、哈维尔和努塞贝、巴沙尔和加兰、大卫},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.1.0},URN={URN:nbn:de:0030-drops-71389},doi={10.4230/DARTS.3.1.0},annote={关键词:前沿问题-SEAMS 2017工件,目录,前言,工件评估委员会}}
文件
Hadoop基准:Hadoop集群中自适应行为的快速原型和评估(工件)

作者:Bo Zhang、Filip Krikava、Romain Rouvoy和Lionel Seinturier


摘要
随着Hadoop的流行,优化Hadoop执行已经引起了研究界的大量关注。为了提高Hadoop的性能,特别是在自适应软件系统领域,提出了许多研究贡献。然而,由于Hadoop操作的复杂性和再现实验的困难,这些Hadoop相关研究的成果很难评估。为了解决这一局限性,我们提出了一个研究加速平台,用于快速原型制作和评估Hadoop集群中的自适应行为。它提供了一种自动化的方式,可以快速轻松地提供可复制的Hadoop环境并执行公认的基准测试。该平台基于最先进的容器技术,支持分布式配置和独立单主机设置。我们演示了完整实现具体Hadoop自适应案例研究的方法。

引用为

Bo Zhang、Filip Krikava、Romain Rouvoy和Lionel Seinturier。Hadoop基准:Hadoop集群中自适应行为的快速原型和评估(工件)。第十二届自适应和自我管理系统软件工程国际研讨会专刊(SEAMS 2017)。达格斯图尔人工制品系列(DARTS),第3卷,第1期,第1:1-1:3页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔信息学(2017)


将BibTex复制到剪贴板

@第{zhang_et_al:DARTS.3.1.1条,author={张,波和克里卡瓦,菲利普和鲁沃,罗曼和桑图里,莱昂内尔},title={{Hadoop-Benchmark:Hadoop集群中自适应行为的快速原型和评估(工件)}},页数={1:1--1:3},journal={Dagstuhl手工艺品系列},ISSN={2509-8195},年份={2017年},体积={3},数字={1},editor={张,波和克里卡娃,菲利普和鲁沃,罗曼和桑图里,莱昂内尔},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.1.1},URN={URN:nbn:de:0030-drops-71392},doi={10.4230/DARTS.3.1.1},annote={关键词:Hadoop、Docker、快速原型、基准}}
文件
自适应视频编码器:多种简单自适应策略的比较(伪影)

作者:马蒂娜·马吉奥、亚历山德罗·维托里奥·帕帕佐普洛斯、安东尼奥·菲利埃里和亨利·霍夫曼


摘要
本文提出了一种自适应视频编码器,该编码器可用于比较不同自适应策略的行为,使用多个执行器引导编码器朝向由多个冲突目标组成的全局目标。摄像机产生的帧由编码器处理,目的是匹配一定的空间要求,以适应给定的通信信道。第二个目标是在操作帧和原始帧之间保持给定的相似性指数。为了达到这个目标,软件可以改变三个参数:编码质量、降噪滤波器半径和锐化滤波器半径。在大多数情况下,目标(小编码尺寸和高质量)会发生冲突,因为较大的帧与原始帧的相似性指数较高。这使得从控制的角度来看这个问题变得困难,并且使得案例研究吸引人来比较不同的适应策略。

引用为

马蒂娜·马乔、亚历山德罗·维托里奥·帕帕佐普洛斯、安东尼奥·菲利埃里和亨利·霍夫曼。自适应视频编码器:多种简单自适应策略的比较(伪影)。第十二届自适应和自我管理系统软件工程国际研讨会专刊(SEAMS 2017)。达格斯图尔人工制品系列(DARTS),第3卷,第1期,第2:1-2:3页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔信息(2017)


将BibTex复制到剪贴板

@第{maggio_et_al:DARTS.3.1.2条,作者={Maggio、Martina和Papadopoulos、Alessandro Vittorio和Filieri、Antonio和Hoffmann、Henry},title={{自适应视频编码器:多种简单自适应策略的比较(人工制品)}},页数={2:1--2:3},journal={Dagstuhl手工艺品系列},ISSN={2509-8195},年份={2017年},体积={3},数字={1},editor={马乔、马蒂娜和帕帕佐普洛斯、亚历山德罗·维托里奥和菲利埃里、安东尼奥和霍夫曼、亨利},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.1.2},URN={URN:nbn:de:0030-drops-71408},doi={10.4230/DARTS.3.1.2},annote={关键词:自适应软件、视频编码、比较、控制理论}}
文件
海底:工程自适应无人水下航行器(人造物)的范例

作者:Simos Gerasimou、Radu Calinescu、Stepan Shevtsov和Danny Weyns


摘要
嵌入式系统和水下通信的最新进展提高了无人水下航行器(UUV)的自主水平为自适应和自我管理编写脚本。UUV可以执行更长时间具有挑战性的任务,并包括能够适应意外海洋或车辆更换。因此,UNDERSEA工件促进自我适应的发展、评估和比较新的解决方案以及重要的应用领域。UNDERSEA配备预先定义的海洋监视UUV任务,适应场景,以及参考控制器实现,所有这些都可以很容易地延长或更换。

引用为

Simos Gerasimou、Radu Calinescu、Stepan Shevtsov和Danny Weyns。海底:工程自适应无人水下航行器(人造物)的范例。第十二届自适应和自我管理系统软件工程国际研讨会专刊(SEAMS 2017)。达格斯图尔人工制品系列(DARTS),第3卷,第1期,第3:1-3:2页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2017)


将BibTex复制到剪贴板

@第{gerasimou_et_al:DARTS.3.1.3条,作者={Gerasimou、Simos和Calinescu、Radu和Shevtsov、Stepan和Weyns、Danny},title={{UNDERSEA:工程自适应无人水下航行器(Artifact)的示例}},页数={3:1--3:2},journal={Dagstuhl手工艺品系列},ISSN={2509-8195},年份={2017年},体积={3},数字={1},editor={Gerasimou、Simos和Calinescu、Radu和Shevtsov、Stepan和Weyns、Danny},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.1.3},URN={URN:nbn:de:0030-drops-71416},doi={10.4230/DARTS.3.1.3},annote={关键词:无人水下机器人范例;自适应嵌入式系统;海洋监测}}
文件
DeltaIoT:自适应物联网(人工制品)的真实示例

作者:M.Usman Iftikhar、Gowri Sankar Ramachandran、Pablo Bollanseáe、Danny Weyns和Danny Hughes


摘要
DeltaIoT示例使研究人员能够评估和比较物联网(IoT)中自我适应的新方法、技术和工具。该示例应用了多跳通信,其中每个物联网微粒必须沿着其他微粒有一条通向网关的路径。我们的尘粒使用LoRa无线电技术支持远程通信。重点是动态调整物联网颗粒的网络设置(例如,传输功率和传播因子),以降低颗粒的能耗,并确保高包传递性能,而不考虑诸如流量负载和通信干扰的突然变化等不确定性。传统上,为了处理不确定性,网络设置要么是手动调整的,要么是过度配置的,从而导致持续的网络维护。自我适应可以使这些任务自动化。该示例为实验提供了几个参考场景。DeltaIoT包括一个用于离线实验的模拟器和一个由25个尘埃组成的物理设置,可以远程访问这些尘埃进行野外实验。该物联网系统部署在鲁汶大学计算机科学系校园。

引用为

M.Usman Iftikhar、Gowri Sankar Ramachandran、Pablo Bollanseáe、Danny Weyns和Danny Hughes。DeltaIoT:自适应物联网(Artifact)的真实示例。第12届自适应和自管理系统软件工程国际研讨会特刊(SEAMS 2017)。达格斯图尔人工制品系列(DARTS),第3卷,第1期,第4:1-4:2页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔信息(2017)


将BibTex复制到剪贴板

@第{iftikhar_et_al:DARTS.3.1.4条,作者={Iftikhar,M.Usman和Ramachandran,Gowri Sankar和Bollansée,Pablo和Weyns,Danny和Hughes,Danny},title={{DeltaIoT:自适应物联网(人工物)}}的真实示例,页码={4:1-4:2},journal={Dagstuhl手工艺品系列},ISSN={2509-8195},年份={2017年},体积={3},数字={1},editor={Iftikhar、M.Usman和Ramachandran、Gowri Sankar和Bollanseáe、Pablo和Weyns、Danny和Hughes、Danny},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.1.4},URN={URN:nbn:de:0030-drops-71425},doi={10.4230/DARTS.3.1.4},annote={Keywords:Internet-of-Things;自适应;示例}}
文件
基于大数据分析(工件)的自适应模型问题(CrowdNav)和框架(RTX)

作者:Sanny Schmid、Ilias Gerostathopoulos、Christian Prehofer和Tomas Bures


摘要
这一伪影支持了我们对大规模自我适应的研究软件密集型分布式系统。主要问题使这些系统具有自适应性的关键在于它们的自适应性需要考虑整个系统的现状。然而,开发一个完整而准确的此类模型系统在设计时非常具有挑战性。我们正在调查一种新的方法,其中系统模型只包含基本输入输出参数和大数据分析用于指导基于连续操作数据流。在这个工件中,我们提供了一个具体的模型可作为评估不同自我适应的案例研究的问题与复杂大规模分布式系统相关的技术。我们还提供了一个可扩展的基于工具的框架来支持任意基于操作分析的自适应系统来自系统的数据。模型问题(CrowdNav)和框架(RTX)已经打包在这个工件中,但也可以独立工作。

引用为

Sanny Schmid、Ilias Gerostathopoulos、Christian Prehofer和Tomas Bures。基于大数据分析(工件)的自适应模型问题(CrowdNav)和框架(RTX)。第十二届自适应和自我管理系统软件工程国际研讨会专刊(SEAMS 2017)。达格斯图尔人工制品系列(DARTS),第3卷,第1期,第5:1-5:3页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔信息(2017)


将BibTex复制到剪贴板

@第{schmid_et_al条:DARTS.3.1.5,作者={Schmid、Sanny和Gerostathopoulos、Ilias和Prehofer、Christian和Bures、Tomas},title={{基于大数据分析(工件)的自适应模型问题(CrowdNav)和框架(RTX)}},页数={5:1--5:3},journal={Dagstuhl手工艺品系列},ISSN={2509-8195},年份={2017年},体积={3},数字={1},editor={Schmid、Sanny和Gerostathopoulos、Ilias和Prehofer、Christian和Bures、Tomas},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.1.5},URN={URN:nbn:de:0030-drops-71435},doi={10.4230/DARTS.3.1.5},annote={关键词:自适应;大数据分析;模型问题,工具,框架}}
文件
智能集成——一种声明性组描述语言和Java框架(工件)

作者:菲利普·克里特(Filip Krijt)、兹比内克·吉拉切克(Zbynek Jiracek)、托马斯·布雷斯(Tomas Bures)、彼得·赫内特尼卡(Petr Hnetynka)和伊利亚斯·格罗斯塔霍普洛斯(Ilias Gerostathopoulos


摘要
智能网络物理系统(sCPS)是一个不断发展的研究领域,专注于智能城市或智能移动性等场景,在这些场景中,自治组件部署在物理环境中,并期望彼此以及与人类合作。由于这些系统通常在高度不确定和动态变化的环境中运行,因此能够进行团队合作和适应,以应对各种(可能是意料之外的)情况成为一项关键且具有挑战性的任务。在这个工件中,我们通过展示智能集成框架来应对这一挑战,该框架由用于描述动态合作组的高级声明性语言和用于自动形成最符合给定规范的组的Java运行时库组成。该框架根据组件的状态及其环境中的情况提供动态架构(architecture)适应(即,组成组件组并在组件之间交换数据)。此外,该框架可作为群体适应的第一步(即确定适应中需要谈判和协调的组成部分)。该框架构建在Z3 SMT求解器和Eclipse建模框架之上。

引用为

菲利普·克里特(Filip Krijt)、兹比内克·吉拉切克(Zbynek Jiracek)、托马斯·布雷斯(Tomas Bures)、彼得·赫内特尼卡(Petr Hnetynka)和伊利亚斯·格罗斯塔霍普洛斯(Ilias Gerostathopoulos)。智能集成–一种声明性组描述语言和Java框架(工件)。第十二届自适应和自我管理系统软件工程国际研讨会专刊(SEAMS 2017)。达格斯图尔手工艺品系列(DARTS),第3卷,第1期,第6:1-6:3页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔信息(2017)


将BibTex复制到剪贴板

@条款{krijt_et_al:DARTS.3.1.6,author={克里杰特、菲利普和吉拉切克、兹比内克和布雷斯、托马斯和赫内特尼卡、皮特和格罗斯塔霍普洛斯、伊利亚斯},title={{智能集成–声明性组描述语言和Java框架(工件)}},页数={6:1--6:3},journal={Dagstuhl手工艺品系列},ISSN={2509-8195},年份={2017年},体积={3},数字={1},editor={克里杰特(Krijt)、菲利普(Filip)和吉拉切克(Jiracek)、兹比内克(Zbynek)和布雷斯(Bures)、托马斯(Tomas)和赫内特尼卡(Hnetynka)、彼得·格罗斯塔霍普洛斯(Petr)和伊利亚斯(Gerostathopoulos)、,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.1.6},URN={URN:nbn:de:0030-drops-71444},doi={10.4230/DARTS.3.1.6},annote={关键词:智能网络物理系统;自适应体系结构;基于集成的组件系统;分组自适应;自主系统}}
文件
Lotus@运行时:自适应系统的运行时监控和验证工具(工件)

作者:戴维·蒙泰罗·巴博萨(Davi Monteiro Barbosa)、罗·穆洛·加德尔哈·德·穆拉·利马(Roímulo Gadelha de Moura Lima)、保罗·恩里克·门德斯·迈亚(Paulo Henrique Mendes Maia)和埃维拉·西奥·科斯塔·朱尼尔


摘要
本文介绍Lotus@运行时,一个可扩展的工具,使用模型@运行时监测和验证自适应系统。该工具监视由自适应系统生成的执行跟踪,并在系统模型上注释每个系统操作在其各自转换上发生的概率,该系统模型是在设计时在工具中创建为标记转换系统(LTS)的。然后,针对更新的概率模型执行一组可达性属性的运行时检查。如果违反了某个属性,可以通过提供的通知机制通知自适应系统Lotus@Runtime。两个基于服务的自适应系统证明了该工具的适用性,这两个系统取自并改编自文献。

引用为

戴维·蒙泰罗·巴博萨(David Monteiro Barbosa)、罗·穆洛·加德尔哈·德·穆拉·利马(Roímulo Gadelha de Moura Lima)、保罗·恩里克·门德斯·迈亚(Paulo Henrique Mendes Maia)和埃维拉·西奥·科斯塔(Evilaí。Lotus@运行时:自适应系统(工件)的运行时监测和验证工具。第十二届自适应和自我管理系统软件工程国际研讨会专刊(SEAMS 2017)。达格斯图尔人工制品系列(DARTS),第3卷,第1期,第7:1-7:5页,达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik(2017)


将BibTex复制到剪贴板

@文章{monteirobarbosa_et_al:DARTS.3.1.7,author={Monteiro Barbosa、Davi和Gadelha de Moura Lima、Roímulo和Maia、Paulo Henrique Mendes和Junior、Evilaísio Costa},title={{Lotus@Runtime:自适应系统(工件)运行时监控和验证工具}},页数={7:1--7:5},journal={Dagstuhl手工艺品系列},ISSN={2509-8195},年份={2017年},体积={3},数字={1},editor={Monteiro Barbosa、Davi和Gadelha de Moura Lima、Roímulo和Maia、Paulo Henrique Mendes和Junior、Evilaísio Costa},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/documents/10.4230/DARTS.3.1.7},URN={URN:nbn:de:0030-drops-71454},doi={10.4230/DARTS.3.1.7},annote={关键词:自适应系统;运行时模型;运行时验证;工具;框架}}

过滤器


问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

请稍后再试或发送电子邮件