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

Citizen-Driven Flood Mapping in Jakarta: A Self-Organising Socio-technical System 雅加达市民驱动的洪水测绘:一个自组织的社会技术系统

2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops Pub Date : 2015-09-21 DOI: 10.1109/SASOW.2015.40

P. Perez, Tomas Holderness du Chemin, E. Turpin, R. Clarke

引用次数: 15

Network Attack Detection and Mitigation 网络攻击检测和缓解

2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops Pub Date : 2015-09-21 DOI: 10.1109/SASOW.2015.33

Sangita Roy, A. Sairam

引用次数: 0

Automatically Repairing Stripped Executables with CFG Microsurgery 自动修复剥离的可执行文件与CFG显微手术

2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops Pub Date : 2015-09-21 DOI: 10.1109/SASOW.2015.21

Scott E Friedman, D. Musliner

引用次数: 5

Incentive Mechanisms for Social Computing 社会计算的激励机制

2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops Pub Date : 2015-09-21 DOI: 10.1109/SASOW.2015.32

Ognjen Scekic

{"title":"Incentive Mechanisms for Social Computing","authors":"Ognjen Scekic","doi":"10.1109/SASOW.2015.32","DOIUrl":"https://doi.org/10.1109/SASOW.2015.32","url":null,"abstract":"Human participation in hybrid collective adaptive systems (hCAS) is overgrowing conventional social computing where humans solve simple, independent tasks. Novel systems are attempting to leverage humans for more intellectually challenging tasks, involving longer lasting worker engagement and complex collaboration patterns. This poses the problem of finding, engaging, motivating, retaining and assessing workers, thus adapting the participating workforce. Existing incentive management techniques in use in socio-technical platforms are not suitable for the more intellectually-challenging tasks. In addition, each platform currently develops custom solutions and implements them anew. This approach is not portable, and effectively prevents reuse of common incentive logic and reputation transfer. Consequently, this prevents workers from comparing different platforms, hindering the competitiveness of the virtual labor market and making it less attractive to skilled workers. This research attempts to develop an end-to-end solution for programmable incentive management for hybrid CASs. In particular, it presents a model and framework for execution of programmable incentive mechanisms, and a high-level domain-specific language for encoding complex incentive strategies for socio-technical systems, encouraging a modular approach in building incentive strategies, cutting down development and adjustment time and creating a basis for development of standardized but tweak able incentives. The presented contributions are based on a comprehensive, multidisciplinary review of existing literature on incentives and real-world incentive practices in social computing milieu.","PeriodicalId":384469,"journal":{"name":"2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132430917","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

Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems 集体适应系统不同拓扑结构的弹性特性分析

2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops Pub Date : 2015-09-21 DOI: 10.1109/SASOW.2015.14

Thomas J. Glazier, J. Cámara, B. Schmerl, D. Garlan

{"title":"Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems","authors":"Thomas J. Glazier, J. Cámara, B. Schmerl, D. Garlan","doi":"10.1109/SASOW.2015.14","DOIUrl":"https://doi.org/10.1109/SASOW.2015.14","url":null,"abstract":"Modern software systems are often compositions of entities that increasingly use self-adaptive capabilities to improve their behavior to achieve systemic quality goals. Self adaptive managers for each component system attempt to provide locally optimal results, but if they cooperated and potentially coordinated their efforts it might be possible to obtain more globally optimal results. The emergent properties that result from such composition and cooperation of self-adaptive systems are not well understood, difficult to reason about, and present a key challenge in the evolution of modern software systems. For example, the effects of coordination patterns and protocols on emergent properties, such as the resiliency of the collectives, need to be understood when designing these systems. In this paper we propose that probabilistic model checking of stochastic multiplayer games (SMG) provides a promising approach to analyze, understand, and reason about emergent properties in collectives of adaptive systems (CAS). Probabilistic Model Checking of SMGs is a technique particularly suited to analyzing emergent properties in CAS since SMG models capture: (i) the uncertainty and variability intrinsic to a CAS and its execution environment in the form of probabilistic and nondeterministic choices, and (ii) the competitive/cooperative aspects of the interplay among the constituent systems of the CAS. Analysis of SMGs allows us to reason about things like the worst case scenarios, which constitutes a new contribution to understanding emergent properties in CAS. We investigate the use of SMGs to show how they can be useful in analyzing the impact of communication topology for collections of fully cooperative systems defending against an external attack.","PeriodicalId":384469,"journal":{"name":"2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117073844","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

Enhancing RPL for Robust and Efficient Routing in Challenging Environments 在具有挑战性的环境中增强RPL的鲁棒和高效路由

2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops Pub Date : 2015-09-21 DOI: 10.1109/SASOW.2015.6

Jan Kantert, C. Ringwald, Georg von Zengen, Sven Tomforde, L. Wolf, C. Müller-Schloer

引用次数: 8

An Ecosystem Approach for Testing Self-Organizing, Adaptive Systems 测试自组织、自适应系统的生态系统方法

2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops Pub Date : 2015-09-21 DOI: 10.1109/SASOW.2015.24

Georgi A. Markov, J. Fröhlich

引用次数: 2

Runtime Model-Based Safety Analysis of Self-Organizing Systems with S# 基于运行时模型的自组织系统安全性分析

2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops Pub Date : 2015-09-21 DOI: 10.1109/SASOW.2015.26

Axel Habermaier, Benedikt Eberhardinger, H. Seebach, Johannes Leupolz, W. Reif

引用次数: 12

Rule Conflicts in Holonic Institutions 整体制度中的规则冲突

2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops Pub Date : 2015-09-21 DOI: 10.1109/SASOW.2015.13

Jie Jiang, J. Pitt, A. Diaconescu

{"title":"Rule Conflicts in Holonic Institutions","authors":"Jie Jiang, J. Pitt, A. Diaconescu","doi":"10.1109/SASOW.2015.13","DOIUrl":"https://doi.org/10.1109/SASOW.2015.13","url":null,"abstract":"Large-scale self-organised systems, such as distributed community energy systems, have called for coordination approaches that are able to deal with issues such as heterogeneity, inter-dependence and dynamic variability. Holonic institutions have been proposed as an approach to converging the structuration required for multi-scale, multi-criteria optimisation in nested enterprises with the formal representation of institutionalised powers required for the minimal recognition of the rights to self-organise. A holonic institution is composed of interrelated sub-institutions, each of which may again be composed of interrelated sub-institutions, and may itself be nested in a supra-institution. With constituting components having possibly conflicting interests and values, a critical module of such holonic structures is conflict resolution, i.e., Each institution must be able to detect and resolve conflicts (1) between its own rules and that of the supra-institution (external), and (2) between its own rules and that of the individual members (internal). For this purpose, this paper presents a detailed analysis of rule conflicts that may exist in holonic institutions. By means of Event Calculus, we provide a preliminary formalisation of such conflicts.","PeriodicalId":384469,"journal":{"name":"2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":"127 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116049921","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

Self Adaptive Robust Resource Allocation for Prioritized TCP Flows in Wireless Networks 无线网络中优先TCP流的自适应鲁棒资源分配

2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops Pub Date : 2015-09-21 DOI: 10.1109/SASOW.2015.22

Eric van den Berg, Isil Sebuktekin, M. Tauil, A. Ghetie, Scott Alexander

引用次数: 1