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

2010 15th IEEE International Conference on Engineering of Complex Computer Systems最新文献

筛选
英文 中文
Severe Punishment for Those Who Were Caught 对被抓到的人严惩
2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.53
Kuiying Deng, Zhuozheng Li, T. Chu
{"title":"Severe Punishment for Those Who Were Caught","authors":"Kuiying Deng, Zhuozheng Li, T. Chu","doi":"10.1109/ICECCS.2010.53","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.53","url":null,"abstract":"Cooperation among unrelated individuals is pervasive in human societies, while natural selection favors the survival of the fittest. The theoretical explanation for this puzzle is a challenge across disciplines. Among other mechanisms that can promote cooperation is costly punishment, in which altruistic individuals privately bear the cost to punish defection. But it decreases the welfare of both the punisher and the punished, and defectors are hard and costly to be caught in many cases. Moreover, punishment may trigger a chain of retaliation between the punisher and the punished and induce second-order free riding — those who never punish will be better off than punishers. In this article we aim to get rid of these drawbacks by refining the mechanism of punishment. First we define an extended Public Goods game in which the defector is caught and punished with a certain probability and the cost of punishment is equally shared between the remainder of the group. Then we derive the fixation probability for one mutant cooperator to invade and take over the whole population. Our analysis shows that, when the probability for punishment is above a threshold, natural selection favors cooperating replacing defecting. Both analytical results and computer simulations show that severe punishment for a small fraction of defectors is enough for one mutant cooperator to become fixed with an advantageous probability in the population of defectors. In addition, this way of punishment can considerably decrease the total cost of inhibiting defection, especially for large populations.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121902790","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}
引用次数: 1
Representing Plankton Functional Types in Ocean General Circulation Models: Competition, Tradeoffs and Self-Organizing Architecture 海洋环流模式中浮游生物功能类型的表征:竞争、权衡与自组织架构
2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.49
T. R. Anderson, M. Follows
{"title":"Representing Plankton Functional Types in Ocean General Circulation Models: Competition, Tradeoffs and Self-Organizing Architecture","authors":"T. R. Anderson, M. Follows","doi":"10.1109/ICECCS.2010.49","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.49","url":null,"abstract":"Progress in marine ecosystem modeling has seen a proliferation of the number of state variables and processes represented, in order to realistically describe system dynamics and feedbacks associated with, for example, changing climate. Assigning realistic and robust values to the many associated model parameters has become increasingly difficult due to underdetermination through lack of data and sensitivity to chosen parameterizations. Complexity science is becoming ever more relevant in this regard, with novel approaches coming to the fore based on traits, trade-offs and the theory of complex adaptive systems. We describe one such approach in which a global ocean circulation model was seeded with many tens of plankton functional types (PFTs) whose physiological characteristics were assigned stochastically at the outset. After the simulation was set in motion, competition eliminated unfavorable PFTs, giving rise to a robust self-organizing model architecture as an emergent property of the system.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127114255","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
An Experience Report in Requirements Elicitation for Accessible E-Learning Systems 无障碍电子学习系统需求提取的经验报告
2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.11
Christopher Power, H. Petrie
{"title":"An Experience Report in Requirements Elicitation for Accessible E-Learning Systems","authors":"Christopher Power, H. Petrie","doi":"10.1109/ICECCS.2010.11","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.11","url":null,"abstract":"This is a report regarding the experiences of a requirements gathering and management effort for online services in education environments for people with disabilities. It details the challenges that were encountered in managing both the elicited data and the derived requirements from a diverse group of users, as well as the online wiki solution that was used to address them.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"134 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124180176","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
QVT Based Model Transformation from Sequence Diagram to CSP 基于QVT的序列图到CSP的模型转换
2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.47
Li Dan
{"title":"QVT Based Model Transformation from Sequence Diagram to CSP","authors":"Li Dan","doi":"10.1109/ICECCS.2010.47","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.47","url":null,"abstract":"In a model driven software development paradigm, UML sequence diagrams are used for modeling the interaction view of the software. For an application with high demanding of dependability, formal verification and analysis need to be performed on the sequence diagrams. This is usually done by transforming the sequence diagrams to a well studied formalism that has effective tool support to verification and analysis. In this paper, we propose an approach for transformations from sequence diagrams to CSP processes. The transformations are implemented by using the model driven software engineering standards, such as MOF, QVT, and XSLT. For this, we design the metamodels for sequence diagrams and CSP, and a set of transformation rules are specified using the QVT graphical syntax. The transformation rules are implemented as XSLT rule-based style templates. An XSLT engine reads the XMI file of a sequence diagram produced by an UML CASE tool, and then executes the XSLT templates, outputs the CSP model as an XML file. The XML file of the CSP processes can be translated into the input of a CSP checker for verification.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116837488","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}
引用次数: 14
Incremental Updates for Textual Modelling of Large Scale Models 大尺度模型文本建模的增量更新
2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.32
Thomas Goldschmidt, Steffen Becker, A. Uhl
{"title":"Incremental Updates for Textual Modelling of Large Scale Models","authors":"Thomas Goldschmidt, Steffen Becker, A. Uhl","doi":"10.1109/ICECCS.2010.32","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.32","url":null,"abstract":"Model-Driven Engineering (MDE) aims at improving the development of complex computer systems. Within this context textual concrete syntaxes for models are beneficial for many reasons. They foster usability and productivity because of their fast editing style, their usage of error markers, autocompletion and quick fixes. Several frameworks and tools from different communities for creating concrete textual syntaxes for models emerged during recent years. However, open issues are incremental parsing and model updating as well as the handling and synchronisation of partial and federated views with the underlying model. In this paper we present an approach for concrete textual syntaxes that makes use of incremental parsing and transformation techniques.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125434393","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
Modelling and Analysis of Socio-Technical System of Systems 社会技术系统的建模和分析
2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.40
R. Lock, I. Sommerville
{"title":"Modelling and Analysis of Socio-Technical System of Systems","authors":"R. Lock, I. Sommerville","doi":"10.1109/ICECCS.2010.40","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.40","url":null,"abstract":"This paper proposes a novel approach to System of Systems modelling based on the specification of system capabilities. The approach is designed to help end users graphically identify and analyse the hazards and associated risks that can arise in complex socio-technical System of Systems, with particular emphasis on the role of system dependencies. Through a case study this paper shows how the technique can identify the vulnerabilities that may arise within a given System of System configuration; and explore the resilience of a given system when considering evolution and unexpected circumstances.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"118 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125205330","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}
引用次数: 30
A Network Analysis of Stakeholders in Tool Visioning Process for Story Test Driven Development 面向故事测试驱动开发的工具可视化过程中涉众的网络分析
2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.5
Shelly Park, F. Maurer
{"title":"A Network Analysis of Stakeholders in Tool Visioning Process for Story Test Driven Development","authors":"Shelly Park, F. Maurer","doi":"10.1109/ICECCS.2010.5","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.5","url":null,"abstract":"Participation from all stakeholders is important in a successful software development project, especially if the development project is complex and has many stakeholders. Identifying the key stakeholders is very difficult in a large community-based open source development project, because a lot of conflicting ideas exist in the community and not all of the necessary stakeholders are represented in the discussions. We analyzed the homogeneity of the stakeholders in the story-test driven development tool community and the diversity of the opinions represented by the stakeholders. We gathered opinions from the agile software engineering community on a list of desired features in a story testing tool. Then we categorize the community using a social network analysis to analyze the consensus building process. The network analysis reveals that the community has several key people with dominant degree centrality in the social network and the tool development community is remarkably homogeneous. Our research shows that a social network analysis is a good way to analyze the characteristics of consensus reached during a product visioning process.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121125844","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
In Search of Sound 'in silico' Research - Validating a Complex System Simulation 在寻找声音的“在硅”研究-验证一个复杂的系统仿真
2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.31
Teodor Ghetiu, F. Polack, J. Bown
{"title":"In Search of Sound 'in silico' Research - Validating a Complex System Simulation","authors":"Teodor Ghetiu, F. Polack, J. Bown","doi":"10.1109/ICECCS.2010.31","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.31","url":null,"abstract":"In logic, an argument is valid if true premises cannot be associated with false conclusions. However, this criterion is hardly applicable to real-world complex systems, hence it needs to be weakened: critical systems engineering, for example, requires acceptability rather than truth. Validity cannot be assumed, nor is it transitive; it has to be demonstrated within a context and related to a specific set of requirements. We present here work directed towards developing a structured argument of validity for a complex systems simulation - part of a plant ecology case-study. Firstly, we define the difficulties of claiming validity for complex systems simulations. We then proceed to analysing the spectrum of assumptions and abstractions that were involved in constructing the biological model and simulation, and how these influence the scope of our validity claim. Finally, we provide an initial structured argument for the simulation's validity, using critical systems techniques.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123284273","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
Reflections on the Simulation of Complex Systems for Science 科学用复杂系统仿真的若干思考
2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.48
F. Polack, P. Andrews, Teodor Ghetiu, Mark N. Read, S. Stepney, J. Timmis, Adam T. Sampson
{"title":"Reflections on the Simulation of Complex Systems for Science","authors":"F. Polack, P. Andrews, Teodor Ghetiu, Mark N. Read, S. Stepney, J. Timmis, Adam T. Sampson","doi":"10.1109/ICECCS.2010.48","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.48","url":null,"abstract":"In studying complex systems, agent-based simulations offer the possibility of directly modelling components in an environment. However, the scientific value of agent-based simulations has been limited by inadequate scientific rigour. The paper focuses on agent-based simulations that are used in biological and bio-medical research. Starting from a review of best practice in simulation engineering, the paper identifies some of the key activities in developing complex systems simulations that support scientific research, and how these contribute to the essential development of mutual trust among developers and scientists. Examples from the authors' own experience illustrate how a range of studies have manifested these key activities, and identifies some successes and problems encountered.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114084280","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}
引用次数: 36
Statistical-Based Response-Time Analysis of Systems with Execution Dependencies between Tasks 基于统计的任务间执行依赖的系统响应时间分析
2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.55
Yue Lu, Thomas Nolte, J. Kraft, C. Norström
{"title":"Statistical-Based Response-Time Analysis of Systems with Execution Dependencies between Tasks","authors":"Yue Lu, Thomas Nolte, J. Kraft, C. Norström","doi":"10.1109/ICECCS.2010.55","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.55","url":null,"abstract":"This paper presents a novel statistical-based approach to Worst-Case Response-Time (WCRT) analysis of complex real-time system models. These system models have been tailored to capture intricate execution dependencies between tasks, inspired by real industrial control systems. The proposed WCRT estimation algorithm is based on Extreme Value Theory (EVT) and produces both WCRT estimates together with a probability of being exceeded. By using the tools developed, an evaluation is presented using three different simulation models, and four other methods as reference: Monte Carlo simulation, MABERA, HCRR and traditional Response-Time Analysis (basic RTA). Empirical results demonstrate that the benefit of the proposed approach, in terms of 1) reduced pessimism when compared to basic RTA and 2) validated guarantee of never being less than the actual response time values. The proposed approach also needs much fewer simulations compared to other three simulation-based methods.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133208910","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}
引用次数: 15
首页 上一页 下一页 尾页
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学术官方微信