2014 9th International Conference on Software Engineering and Applications (ICSOFT-EA)最新文献

筛选
英文 中文
Indoor pedestrian localization for mobile devices the model 室内行人定位的移动设备模型
J. Sevcík
{"title":"Indoor pedestrian localization for mobile devices the model","authors":"J. Sevcík","doi":"10.5220/0005104604880493","DOIUrl":"https://doi.org/10.5220/0005104604880493","url":null,"abstract":"Indoor localization using mobile devices is one of the emerging areas of today's interest. This paper presents a model for indoor localization based on 802.11 Wi-Fi fingerprinting in combination of inertial navigation running in parallel. We introduce a novel model scheme, where we use a state-of-the-art Compass system. The system is enhanced by clustering and the position calculation is influenced by the distance travelled between each fingerprinting, allowing us to eliminate improbable location estimations. Proposed system is supposed to be resilient to received signal strength blocking caused by a human body, and also to be more accurate than other up-to-date solutions.","PeriodicalId":337080,"journal":{"name":"2014 9th International Conference on Software Engineering and Applications (ICSOFT-EA)","volume":"5 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129744902","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
A method for analyzing the context of stakeholders and their requirements 一种分析利益相关者及其需求背景的方法
Takako Nakatani, Yuko Koiso
{"title":"A method for analyzing the context of stakeholders and their requirements","authors":"Takako Nakatani, Yuko Koiso","doi":"10.5220/0005096903570362","DOIUrl":"https://doi.org/10.5220/0005096903570362","url":null,"abstract":"Requirements of software are sometimes added and changed throughout the development phases. In this paper, we introduce a method to analyze environmental factors that sometimes cause changes in requirements. The scope of the i* framework, for example, does not focus on environmental factors, but on the intentional actors and their dependencies. To date, the various environmental factors are not analyzed well. Furthermore, some of the environmental factors have relationships with stakeholders and thus change the intentions of stakeholders through these social relations. We consider these relationships as one of the providers of and a mechanism that forces changes in requirements. Before we proceed to prove the role of this mechanism through an application to a real project, we first define four social relations that connect an environmental factor and a stakeholder, and introduce an analysis method of the context. The effectiveness of the method is shown through several examples and discussed from the view of the possibility of the prediction of requirements changes.","PeriodicalId":337080,"journal":{"name":"2014 9th International Conference on Software Engineering and Applications (ICSOFT-EA)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127806442","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
Testing the cooperation of autonomous robotic agents 测试自主机器人代理的合作能力
Raimar Lill, F. Saglietti
{"title":"Testing the cooperation of autonomous robotic agents","authors":"Raimar Lill, F. Saglietti","doi":"10.5220/0004990402870296","DOIUrl":"https://doi.org/10.5220/0004990402870296","url":null,"abstract":"This article proposes an approach to testing the cooperative behaviour of autonomous software-based agents with safety-relevant tasks. It includes the definition of different model-based testing criteria based on the coverage of Coloured Petri Net entities as well as the automatic generation of appropriate test cases. The multi-objective optimization problem considered addresses both the maximization of interaction coverage and the minimization of the amount of test cases required. The approach developed for its solution makes use of genetic algorithms. The resulting automatic test case generation process is presented in this article together with the experiences gained by applying it to cooperating autonomous forklifts.","PeriodicalId":337080,"journal":{"name":"2014 9th International Conference on Software Engineering and Applications (ICSOFT-EA)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132627601","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}
引用次数: 7
Defect prediction over software life cycle in automotive domain state of the art and road map for future 汽车领域软件生命周期缺陷预测技术现状及未来发展路线图
Rakesh Rana, M. Staron, J. Hansson, Martin Nilsson
{"title":"Defect prediction over software life cycle in automotive domain state of the art and road map for future","authors":"Rakesh Rana, M. Staron, J. Hansson, Martin Nilsson","doi":"10.5220/0005099203770382","DOIUrl":"https://doi.org/10.5220/0005099203770382","url":null,"abstract":"Software today provides an important and vital role in providing the functionality and user experience in automotive domain. With ever increasing size and complexity of software together with high demands on quality and dependability, managing software development process effectively is an important challenge. Methods of software defect predictions provide useful information for optimal resource allocation and release planning; they also help track and model software and system reliability. In this paper we present an overview of defect prediction methods and their applicability in different software lifecycle phases in the automotive domain. Based on the overview and current trends we identify that close monitoring of in-service performance of software based systems will provide useful feedback to software development teams and allow them to develop more robust and user friendly systems.","PeriodicalId":337080,"journal":{"name":"2014 9th International Conference on Software Engineering and Applications (ICSOFT-EA)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134053425","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
Reuse of Semantic Business Process Patterns 语义业务流程模式的重用
Lobna Makni, N. Haddar, H. Ben-Abdallah
{"title":"Reuse of Semantic Business Process Patterns","authors":"Lobna Makni, N. Haddar, H. Ben-Abdallah","doi":"10.5220/0005003500360047","DOIUrl":"https://doi.org/10.5220/0005003500360047","url":null,"abstract":"Reusing business process artefacts, in business process modelling, can accelerate the design activity and improve the quality of the resulting products. Among the variety of reusable artefact types proposed during the last decade, Semantic Business Process Pattern (SB2P) offers business patterns that encapsulate knowledge and expertise in a particular domain. The reuse of a SB2P provides for the adoption of commonly used practices while offering guidance on possible variations. This paper proposes a reuse method that assists a business process designer, first, in retrieving an appropriate SB2P from a repository, and then adapting it through a set of instantiation operators to meet its specific requirements. The retrieval method relies on both semantic and behavioural information encapsulated in the SB2P. In addition, the instantiation operators ensure the derivation of a business process design that respects a set of quality metrics. The reuse method is illustrated through an example.","PeriodicalId":337080,"journal":{"name":"2014 9th International Conference on Software Engineering and Applications (ICSOFT-EA)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130906062","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
A framework for adoption of machine learning in industry for software defect prediction 在工业中采用机器学习进行软件缺陷预测的框架
Rakesh Rana, M. Staron, J. Hansson, Martin Nilsson, Wilhelm Meding
{"title":"A framework for adoption of machine learning in industry for software defect prediction","authors":"Rakesh Rana, M. Staron, J. Hansson, Martin Nilsson, Wilhelm Meding","doi":"10.5220/0005099303830392","DOIUrl":"https://doi.org/10.5220/0005099303830392","url":null,"abstract":"Machine learning algorithms are increasingly being used in a variety of application domains including software engineering. While their practical value have been outlined, demonstrated and highlighted in number of existing studies, their adoption in industry is still not widespread. The evaluations of machine learning algorithms in literature seem to focus on few attributes and mainly on predictive accuracy. On the other hand the decision space for adoption or acceptance of machine learning algorithms in industry encompasses much more factors. Companies looking to adopt such techniques want to know where such algorithms are most useful, if the new methods are reliable and cost effective. Further questions such as how much would it cost to setup, run and maintain systems based on such techniques are currently not fully investigated in the industry or in academia leading to difficulties in assessing the business case for adoption of these techniques in industry. In this paper we argue for the need of framework for adoption of machine learning in industry. We develop a framework for factors and attributes that contribute towards the decision of adoption of machine learning techniques in industry for the purpose of software defect predictions. The framework is developed in close collaboration within industry and thus provides useful insight for industry itself, academia and suppliers of tools and services.","PeriodicalId":337080,"journal":{"name":"2014 9th International Conference on Software Engineering and Applications (ICSOFT-EA)","volume":"258 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133961191","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}
引用次数: 22
Toward preventing stack overflow using kernel properties 使用内核属性防止堆栈溢出
Benjamin Teissier, S. Bruda
{"title":"Toward preventing stack overflow using kernel properties","authors":"Benjamin Teissier, S. Bruda","doi":"10.5220/0005097803690376","DOIUrl":"https://doi.org/10.5220/0005097803690376","url":null,"abstract":"We contribute to the investigation of buffer overflows by finding a more accurate way of preventing their exploitation. We work at the highest privilege levels and in the safest part of a GNU/Linux system, namely the kernel. We provide a system that allows the kernel to detect overflows and prevent their exploitation. The kernel injects at launch time some (minimal) code into the binary being run, and subsequently uses this code to monitor the execution of that program with respect to its stack use, thus detecting stack overflows. The system stands alone in the sense that it does not need any hardware support; it also works on any program, no matter how that program was conceived or compiled. Beside the theoretical concepts we also present a proof-of-concept patch to the kernel supporting our idea. Overall we effectively show that guarding against buffer overflows at run time is not only possible but also feasible. In addition we take the first steps toward implementing such a defense.","PeriodicalId":337080,"journal":{"name":"2014 9th International Conference on Software Engineering and Applications (ICSOFT-EA)","volume":"128 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122756412","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
Enhancing BPMN 2.0 support for service interaction patterns 增强BPMN 2.0对服务交互模式的支持
Dario Campagna, C. Kavka, L. Onesti
{"title":"Enhancing BPMN 2.0 support for service interaction patterns","authors":"Dario Campagna, C. Kavka, L. Onesti","doi":"10.5220/0004989901990208","DOIUrl":"https://doi.org/10.5220/0004989901990208","url":null,"abstract":"Choreography modeling languages have emerged in the past years as a mean for capturing and managing collaborative processes. The advancement of such languages let to the definition of the service interaction patterns, a pattern-based framework for the benchmarking of choreography languages against abstracted forms of representative scenarios. Service interaction patterns have been used to analyze the capabilities of different languages. Since its introduction, no benchmark based on this framework has been performed on the Business Process Model and Notation (BPMN) version 2.0. In this paper, we present an assessment of BPMN 2.0 support for service interaction patterns. We evidence the issues that limit the set of supported patterns, and propose enhancements to overcome them.","PeriodicalId":337080,"journal":{"name":"2014 9th International Conference on Software Engineering and Applications (ICSOFT-EA)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121786954","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学术文献互助群
群 号:604180095
Book学术官方微信
小红书