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

2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops最新文献

筛选
英文 中文
Modelling Residential Smart Energy Schemes 住宅智能能源计划模拟
2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops Pub Date : 2014-09-08 DOI: 10.1109/SASOW.2014.19
Vashti Galpin
{"title":"Modelling Residential Smart Energy Schemes","authors":"Vashti Galpin","doi":"10.1109/SASOW.2014.19","DOIUrl":"https://doi.org/10.1109/SASOW.2014.19","url":null,"abstract":"This paper considers how a smart energy solution for residential areas can be modelled in stochastic HYPE, a process algebra that describes instantaneous, discrete stochastic and continuous deterministic behaviour. The system involves PHEVs (plug-in hybrid electric vehicles) which have batteries that can be charged either from the grid or from wind turbines, and can be viewed as a collective adaptive system (CAS). With a language such as stochastic HYPE, easy experimentation with the model and exploration of modifications of the basic scenario are possible. However, simulation can be infeasible for more complex models or larger models, and the paper discusses future work involving abstractions of the model that mitigate this problem.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":"94 1","pages":"49-54"},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80653948","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
"Reflection, Collectives and Adaptation: the Role of Models in the Design of Collective Adaptive Systems 反思、集体和适应:模型在集体适应系统设计中的作用
2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops Pub Date : 2014-09-08 DOI: 10.1109/SASOW.2014.39
S. Anderson, M. Hartswood, M. Jirotka
{"title":"\"Reflection, Collectives and Adaptation: the Role of Models in the Design of Collective Adaptive Systems","authors":"S. Anderson, M. Hartswood, M. Jirotka","doi":"10.1109/SASOW.2014.39","DOIUrl":"https://doi.org/10.1109/SASOW.2014.39","url":null,"abstract":"We report work in progress on the role of models in the formation and maintenance of collectives in Hybrid Diversity-Aware Collective Adaptive Systems (HDA-CASs). HDA-CASs utilize hybrid computations involving machines and humans operating in collectives in a way that manages and leverages the diversity of collectives and machine-based computation. Here we explore the role of models in helping to constitute particular collectives and how models help shape the response of the collective. It appears that models are a potentially critical resource in collecting, sharing and acting on data gathered from the operation of CASs. This points to the potential role for models in the design of HDA-CASs. In particular we are interested in how models provide a sense of identity for a collective and can provide resources that shape the potential for collective action.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":"108 1","pages":"102-107"},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75827879","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
A Graph Analysis Approach to Detect Attacks in Multi-agent Systems at Runtime 多智能体系统运行时攻击检测的图分析方法
2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops Pub Date : 2014-09-08 DOI: 10.1109/SASO.2014.20
Jan Kantert, H. Scharf, Sarah Edenhofer, Sven Tomforde, J. Hähner, C. Müller-Schloer
{"title":"A Graph Analysis Approach to Detect Attacks in Multi-agent Systems at Runtime","authors":"Jan Kantert, H. Scharf, Sarah Edenhofer, Sven Tomforde, J. Hähner, C. Müller-Schloer","doi":"10.1109/SASO.2014.20","DOIUrl":"https://doi.org/10.1109/SASO.2014.20","url":null,"abstract":"Fully self-organised and open systems consisting of a variety of heterogeneous and autonomous entities can suffer due to malicious elements or attacks. One approach to cope with this challenge is to introduce trust. Thereby, trust relationships are based on ratings among individual entities and represent system-wide information. A Trusted Desktop Computing Grid is one example, where such a trust mechanism has been applied successfully. In this paper, we investigate the possibility to add an system-level Observer to the self-organised system in order to guide the overall behaviour and to intervene in disturbed situations that are mostly a result of malicious behaviour. Therefore, we describe in detail how the observation part of this Observer can be realised and what kind of metrics can be applied to detect undesired system behaviour. Evaluations are done using the Trusted Desktop Grid and demonstrate the possibility to detect malicious behaviour quickly and reliably by considering clusters of trusted entities.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":"52 1","pages":"80-89"},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74777179","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 Goal Model for Collective Adaptive Systems 集体适应系统的目标模型
2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops Pub Date : 2014-09-08 DOI: 10.1109/SASOW.2014.11
A. Bucchiarone, C. A. Mezzina, Heorhi Raik
{"title":"A Goal Model for Collective Adaptive Systems","authors":"A. Bucchiarone, C. A. Mezzina, Heorhi Raik","doi":"10.1109/SASOW.2014.11","DOIUrl":"https://doi.org/10.1109/SASOW.2014.11","url":null,"abstract":"A collective adaptive system is composed of large numbers of autonomous and self-adaptive entities which are able to provide benefits for other participants and have to cooperate with each other to accomplish their individual goals. When entities adapt their own behaviour due to unexpected situations, this may result in breaking the overall collaboration if these are not executed simultaneously and do not respect some collective constraints. The objective of this paper is to present a goal model that allows to express requirements for collective adaptability. It includes (i) how to specify the behaviour of the entities that encodes cooperation with other entities, (ii) how to link collaborative goals and individual goals, and (iii) how to specify constraints that are imposed on different entities to preserve some form of collective consistency while they are adapted.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":"6 1","pages":"20-25"},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79561426","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
Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data 集体自适应系统的数据验证:车辆位置数据的空间模型检验
2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops Pub Date : 2014-09-08 DOI: 10.1109/SASOW.2014.16
V. Ciancia, S. Gilmore, D. Latella, M. Loreti, M. Massink
{"title":"Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data","authors":"V. Ciancia, S. Gilmore, D. Latella, M. Loreti, M. Massink","doi":"10.1109/SASOW.2014.16","DOIUrl":"https://doi.org/10.1109/SASOW.2014.16","url":null,"abstract":"In this paper we present the use of a novel spatial model-checker to detect problems in the data which an adaptive system gathers in order to inform future action. We categorise received data as being plausible, implausible, possible or problematic. Data correctness is essential to ensure correct functionality in systems which adapt in response to data and our categorisation influences the degree of caution which should be used in acting in response to this received data. We illustrate the theory with a concrete example of detecting errors in vehicle location data for buses in the city of Edinburgh. Vehicle location data is visualised symbolically on a street map, and categories of problems identified by the spatial model-checker are rendered by repainting the symbols for vehicles in different colours.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":"35 1","pages":"32-37"},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85795422","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}
引用次数: 29
Visualisation of Social Capital 社会资本的可视化
2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops Pub Date : 2014-09-08 DOI: 10.1109/SASO.2014.38
Patricio E. Petruzzi, D. Busquets, J. Pitt
{"title":"Visualisation of Social Capital","authors":"Patricio E. Petruzzi, D. Busquets, J. Pitt","doi":"10.1109/SASO.2014.38","DOIUrl":"https://doi.org/10.1109/SASO.2014.38","url":null,"abstract":"In this paper we describe the tool we have developed to visualise experimental data on top of the multi-agent simulation platform Presage2 and how we have used it with our Social Capital Framework. The visualisation demonstrates how social capital can be used to self-organise solutions to collective actions problems.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":"43 1","pages":"189-190"},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89677278","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
Social Mpower: A Serious Game for Self-Organisation in Socio-technical Systems 社会权力:社会技术系统中自我组织的严肃游戏
2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops Pub Date : 2014-09-08 DOI: 10.1109/SASO.2014.43
Aikaterini Bourazeri, J. Pitt
{"title":"Social Mpower: A Serious Game for Self-Organisation in Socio-technical Systems","authors":"Aikaterini Bourazeri, J. Pitt","doi":"10.1109/SASO.2014.43","DOIUrl":"https://doi.org/10.1109/SASO.2014.43","url":null,"abstract":"Smart grids for decentralised Community Energy Systems (dCES) can be simulated by Serious Games in which players use social networking and visualisation of Ostrom's principles to achieve collective action. Social Mpower is an interactive game designed to inform, aware and motivate energy consumers towards energy efficiency. Emphasising on the concepts of collective awareness and self-organisation, players need to coordinate their individual actions for common good. Field trials and beta tests of the system show that integration and encapsulation of different requirements by a serious game can promote successful collective action in an energy community.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":"19 1","pages":"199-200"},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82516600","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
Second International Workshop on Self-Adaptive and Self-Organising Socio-technical Systems (SASOST 2014) 第二届自适应自组织社会技术系统国际研讨会(SASOST 2014)
2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops Pub Date : 2014-09-08 DOI: 10.1109/SASOW.2014.33
Gerrit Anders, J. Botev, M. Esch
{"title":"Second International Workshop on Self-Adaptive and Self-Organising Socio-technical Systems (SASOST 2014)","authors":"Gerrit Anders, J. Botev, M. Esch","doi":"10.1109/SASOW.2014.33","DOIUrl":"https://doi.org/10.1109/SASOW.2014.33","url":null,"abstract":"The design and operation of computer systems has traditionally been driven by technical aspects and considerations. However, the usage characteristics of information and communication systems are both implicitly and explicitly determined by social interaction and the social graph of users. The SASOST workshop addresses all aspects of self-adaptive and self-organising mechanisms in socio-technical systems, covering different perspectives of this exciting research area ranging from normative and trust management systems to socio-inspired design strategies for distributed algorithms, collaboration platforms and communication protocols.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":"24 1","pages":"74-75"},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91183547","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
"Know Thyself" - Computational Self-Reflection in Intelligent Technical Systems “认识你自己”——智能技术系统中的计算自我反思
2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops Pub Date : 2014-09-08 DOI: 10.1109/SASOW.2014.25
Sven Tomforde, J. Hähner, S. Mammen, Christian Gruhl, B. Sick, K. Geihs
{"title":"\"Know Thyself\" - Computational Self-Reflection in Intelligent Technical Systems","authors":"Sven Tomforde, J. Hähner, S. Mammen, Christian Gruhl, B. Sick, K. Geihs","doi":"10.1109/SASOW.2014.25","DOIUrl":"https://doi.org/10.1109/SASOW.2014.25","url":null,"abstract":"In many application domains, developers aim at building technical systems that can cope with the complexity of the world they are surrounded with, including other technical systems. Due to this complexity, system designers cannot explicitly foresee every possible situation \"their\" system will be confronted with at runtime. This resulted in solutions capable of self-adaptation at runtime. Future intelligent technical systems will have to go far beyond such a reactive solution - the general question is: How can systems themselves define new goals and new classes of goals in order to increase their own performance at runtime and without the need of human control or supervision? This paper introduces a definition of \"computational self-reflection\", proposes an architectural concept, and discusses the potential benefit by means of three exemplary application scenarios. Finally, building blocks to achieve self-reflection are discussed and a basic research agenda is drafted.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":"50 1","pages":"150-159"},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83677336","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}
引用次数: 24
Self-Integration for Virtualization of Embedded Many-Core Systems 嵌入式多核系统虚拟化的自集成
2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops Pub Date : 2014-09-08 DOI: 10.1109/SASOW.2014.27
S. Wildermann, J. Teich
{"title":"Self-Integration for Virtualization of Embedded Many-Core Systems","authors":"S. Wildermann, J. Teich","doi":"10.1109/SASOW.2014.27","DOIUrl":"https://doi.org/10.1109/SASOW.2014.27","url":null,"abstract":"Virtualization of embedded systems enables the integration of various independent and isolated virtual environments on the same hardware. It is therefore seen as a key enabler for implementing mixed-criticality systems on future many-core technology. However, a challenge is that such systems are increasingly exposed to dynamic workloads, e.g., due to the \"openness\" of modern mobile devices or the execution of varying application mixes. As a remedy, run-time management enables the dynamic allocation of system resources to the virtual environments according to their current requirements. This paper investigates self-integration of such dynamic environments in virtualized embedded systems by providing management strategies for re-partitioning shared resources at run time. We formulate and analyze the underlying optimization problem with the particular focus on security and scalability as two important factors for managing embedded systems in the many-core era. The evaluation of the theoretical results by means of a case study shows the improvements with respect to scalability and security, and leads to a discussion of the most important future trends for paving the road to self-integrating virtualized embedded systems.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":"13 6 1","pages":"170-177"},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85590712","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信