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

2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)最新文献

筛选
英文 中文
Towards rewriting-based formal model for component-based systems verification 面向基于组件的系统验证的基于重写的形式化模型
2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) Pub Date : 2016-10-01 DOI: 10.1109/ICAASE.2016.7843862
A. A. Debza, Chafia Bouanaka, N. Zeghib
{"title":"Towards rewriting-based formal model for component-based systems verification","authors":"A. A. Debza, Chafia Bouanaka, N. Zeghib","doi":"10.1109/ICAASE.2016.7843862","DOIUrl":"https://doi.org/10.1109/ICAASE.2016.7843862","url":null,"abstract":"Component Oriented Programming (COP) offers promising gains including time-savings, cost-reduction, and increased productivity via components reuse. However, using off-the-shelf components properly and safely is a serious challenge, which implies the significant need to specify and verify the components and their assemblies, up to the level of the full system (built from components) to assure its correctness. Current component modeling frameworks possess none or weak built-in support for the verification. They mainly lack formal analysis tools, do not support all component-based systems features, or they are not easy to use. In this paper, we propose a formal model for designing and verifying component-based systems using rewriting logic and Maude. First, we define a formal meta-model for COP to capitalize all main concepts. Then, we propose a Maude-based transformation engine to generate the formal specification of component-based systems. Hence formal analysis can be performed using Maude tools.","PeriodicalId":407176,"journal":{"name":"2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131432957","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
Context-aware planning for intelligent environments 智能环境的上下文感知规划
2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) Pub Date : 2016-10-01 DOI: 10.1109/ICAASE.2016.7843857
Houda Haiouni, R. Maamri
{"title":"Context-aware planning for intelligent environments","authors":"Houda Haiouni, R. Maamri","doi":"10.1109/ICAASE.2016.7843857","DOIUrl":"https://doi.org/10.1109/ICAASE.2016.7843857","url":null,"abstract":"Ambient Intelligence environments are populated with embedded distributed devices interacting in proactively and in transparent manner to achieve user's needs. Context and context awareness is crucial for any AmI based systems. To develop context-aware Ambient Intelligence systems, suitable context models, and reasoning approaches are necessary to provide users with smart services. This paper advocates the use of multi-agent planning for Ami environments. We propose an approach to cope with the challenges represented by reasoning over a richer collection and dynamic contextual information.","PeriodicalId":407176,"journal":{"name":"2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130305626","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
Model-based DEVS for modeling and simulation of resource-constrained business processes 用于对资源受限的业务流程进行建模和仿真的基于模型的DEVS
2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) Pub Date : 2016-10-01 DOI: 10.1109/ICAASE.2016.7843854
Sofiane Boukelkoul, R. Maamri
{"title":"Model-based DEVS for modeling and simulation of resource-constrained business processes","authors":"Sofiane Boukelkoul, R. Maamri","doi":"10.1109/ICAASE.2016.7843854","DOIUrl":"https://doi.org/10.1109/ICAASE.2016.7843854","url":null,"abstract":"Modeling and analysis of resource constraints in business process is becoming a challenging research topic. In fact, business process improvement requires rational handling of resource constraints at both design time and runtime. This paper presents a model-based DEVS “Discrete Event System Specification” for modeling, analysis and checking of resource constraints in business processes at runtime and at earlier stages of design. The proposed model is implemented in JAVADEVS using DEVS-Suite simulator. The main idea of this research is to model activities and resources as atomic DEVS models and make coupling between them to result a DEVS coupled model, where communication is made by message exchanging. The behavior of the overall model will be mastered by the functions of DEVS, which guarantee the concordance of constraints related to the resources.","PeriodicalId":407176,"journal":{"name":"2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)","volume":"155 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114235920","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
Person identification based on ear morphology 基于耳形态的人识别
2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) Pub Date : 2016-10-01 DOI: 10.1109/ICAASE.2016.7843851
Amir Benzaoui, Insaf Adjabi, A. Boukrouche
{"title":"Person identification based on ear morphology","authors":"Amir Benzaoui, Insaf Adjabi, A. Boukrouche","doi":"10.1109/ICAASE.2016.7843851","DOIUrl":"https://doi.org/10.1109/ICAASE.2016.7843851","url":null,"abstract":"Morphological shape of the human ear presents a rich and stable information embedded on the curved 3D surface, which has invited lot attention from the forensic and engineer scientists in order to differentiate and recognize people. However, recognizing identity from morphological shape of the human ear in unconstrained environments, with insufficient and incomplete training data, dealing with strong person-specificity, and high within-range variance, can be very challenging. In this work, we implement a simple yet effective approach which uses and exploits recent local texture-based descriptors to achieve faster and more accurate results. Support Vector Machine (SVM) is used as a classifier. We experiment with two publicly available databases, which are IIT Delhi-1 and IIT Delhi-2, consisting of several ear benchmarks of different natures under varying conditions and imaging qualities. The experiments show excellent results beyond the state-of-the-art.","PeriodicalId":407176,"journal":{"name":"2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115099179","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}
引用次数: 6
Towards modeling and verifying Wireless Mesh Networks 无线网状网络的建模与验证
2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) Pub Date : 2016-10-01 DOI: 10.1109/ICAASE.2016.7843856
Rachida Boucebsi, F. Belala
{"title":"Towards modeling and verifying Wireless Mesh Networks","authors":"Rachida Boucebsi, F. Belala","doi":"10.1109/ICAASE.2016.7843856","DOIUrl":"https://doi.org/10.1109/ICAASE.2016.7843856","url":null,"abstract":"Wireless Mesh Networks (WMNs) is an emerging wireless technology which attracts more and more the attention not only of service providers and enterprises, but also researchers and academicians. In this paper, we are interested by the specification and the analysis of the Channel Assignment process to improve WMNs capacities during the routing process. We give an algorithmic solution showing how to bind each radio interface to a channel, while maintaining network connectivity, in order to reduce the interference problem. Since traditional analysis approaches, based on simulation and test bed experiments still remain limited, we lean on formal methods to give a precise semantics to Wireless Mesh Networks (WMNs) and verify formally the suggested protocol. We combine logical reflection of Maude language and hierarchical structure of the Bigraphical Reactive Systems for modeling and analyzing WMNs. We define a bigraphical model having two separate roots. Networks and their paths are represented as nodes of the topology root, and channels with their eventual interferences represent the sharing nodes belonging to another root. Besides, parametric reaction rules define possible evolution and reconfiguration of these WMN entities. This obtained model is finally executed and analyzed under Maude system.","PeriodicalId":407176,"journal":{"name":"2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130523731","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
An adaptive protocol for dynamic allocation of tasks in a multi-robot system 多机器人系统中任务动态分配的自适应协议
2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) Pub Date : 2016-10-01 DOI: 10.1109/ICAASE.2016.7843863
Farouq Zitouni, R. Maamri
{"title":"An adaptive protocol for dynamic allocation of tasks in a multi-robot system","authors":"Farouq Zitouni, R. Maamri","doi":"10.1109/ICAASE.2016.7843863","DOIUrl":"https://doi.org/10.1109/ICAASE.2016.7843863","url":null,"abstract":"Today, the dynamic allocation of tasks among autonomous robots is increasingly a complex process, due to multiple constraints and limitations. In fact, it allows us to assign optimally a given task to a group of robots. In this context, no central control is usually authorized to perform a given task, and any robot in the system can discover and identify tasks. Therefore, in this paper we propose a protocol for the allocation of tasks in a highly dynamic multi-robot environment. Moreover, the proposed protocol invests the optimization by ant colonnies to perform the optimal allocation between tasks and robots in the system. Finally, this protocol was simulated and tested on e-puck robots using the robotic simulator Webots, and the obtained results are good and promissing.","PeriodicalId":407176,"journal":{"name":"2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121910950","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
A stochastic local search combined with support vector machine for Web services classification 结合支持向量机的随机局部搜索Web服务分类
2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) Pub Date : 2016-04-01 DOI: 10.1109/ICAASE.2016.7843850
Abdelouahab Laachemi, D. Boughaci
{"title":"A stochastic local search combined with support vector machine for Web services classification","authors":"Abdelouahab Laachemi, D. Boughaci","doi":"10.1109/ICAASE.2016.7843850","DOIUrl":"https://doi.org/10.1109/ICAASE.2016.7843850","url":null,"abstract":"In this paper, we are interested in the Web service classification. We propose a classification method that first uses a stochastic local search (SLS) meta-heuristic for feature selection then call the Support Vector Machine (SVM) to do the classification task. The proposed method that combines SLS and SVM for Web service classification is validated on the QWS Dataset to measure its performance. We used a set of 364 Web services divided into four categories (Platinum, Gold, Silver and Bronze) in which quality is measured by 9 attributes. The experiments and the comparison show the effectiveness of our method for the classification of Web services.","PeriodicalId":407176,"journal":{"name":"2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126420214","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
首页 上一页
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学术官方微信