2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA)最新文献_第2页

A Trust Reputation Architecture for Cloud Computing Environment 云计算环境下的信任信誉体系结构

2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA) Pub Date : 2017-10-01 DOI: 10.1109/AICCSA.2017.31

Luís Felipe Bilecki, Adriano Fiorese

引用次数: 11

Community Detection in Social Network with Node Attributes Based on Formal Concept Analysis 基于形式概念分析的节点属性社会网络社区检测

2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA) Pub Date : 2017-10-01 DOI: 10.1109/AICCSA.2017.200

Nourhene Khediri, Wafa Karoui

{"title":"Community Detection in Social Network with Node Attributes Based on Formal Concept Analysis","authors":"Nourhene Khediri, Wafa Karoui","doi":"10.1109/AICCSA.2017.200","DOIUrl":"https://doi.org/10.1109/AICCSA.2017.200","url":null,"abstract":"As far as social networks are concerned, new applications appear to analyze them. Community detection is one of the most important issues. It allows to understand the structure of complex networks and to extract useful information from the detected communities. Users have usually a social interaction with their friends because of their common interests or their similar profiles. In this paper, attributed graphs are considered, where entities of the network are described using attributes with several modalities. Then, we propose an hybrid approach based on Formal Concept Analysis (FCA) for community detection in social network with node attributes. This method, called ACDC (Attributed Community Detection based on Concepts), combines the structure of the network and the attributes of the nodes. ACDC, semantically and statically, partitions an assigned graph into k densely connected communities, using maximal cliques, with homogeneous attribute values derived from FCA. Experimental results demonstrate the effectiveness of ACDC through comparison with the state-of-the-art graph clustering and methods. Our method provides also more meaningful communities than conventional methods that consider only relationship information.","PeriodicalId":197301,"journal":{"name":"2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115259284","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

LTKA-AC: Lightweight and Trusted Key Agreement Based on IBE with Anonymous Communication LTKA-AC:基于IBE和匿名通信的轻量级可信密钥协议

2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA) Pub Date : 2017-10-01 DOI: 10.1109/AICCSA.2017.27

Sarra Jebri, M. Abid, A. Bouallègue

引用次数: 0

Semi Supervised Relevance Learning for Feature Selection on High Dimensional Data 面向高维数据特征选择的半监督相关学习

2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA) Pub Date : 2017-10-01 DOI: 10.1109/AICCSA.2017.192

Afef Ben Brahim, Alexandros Kalousis

引用次数: 3

Deriving Use Case Models from BPMN Models 从BPMN模型中派生用例模型

2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA) Pub Date : 2017-10-01 DOI: 10.1109/AICCSA.2017.49

Aljia Bouzidi, N. Haddar, Mounira Ben-Abdallah, K. Haddar

{"title":"Deriving Use Case Models from BPMN Models","authors":"Aljia Bouzidi, N. Haddar, Mounira Ben-Abdallah, K. Haddar","doi":"10.1109/AICCSA.2017.49","DOIUrl":"https://doi.org/10.1109/AICCSA.2017.49","url":null,"abstract":"Business process models (BPMs) describe tasks achieved by business workers to reach business goals. With the advancements in the Information Technology (IT), the use of software systems as a support for the business process becomes increasingly dominant and critical. Ideally, software design starts with acquiring knowledge from the BPMs to understand the current context (as-is-system), to outline the target system (to-be-system) and to identify the user requirements (URs) that fulfill business goals. Nevertheless, often the modeling of business processes (BPs) and of ISs are carried out separately. This leads to a misalignment between them. Although, years of research have gone into seeking tools that support business process aligned with IS, the transition of business process to IS modeling is still highly manual and the alignment of BPMs and information system models (ISMs) is still far from reach.To bridge the gap between BPMs and ISMs we propose, in this paper, a MDA approach named BPMN2UC to generate UML use cases (UCs) that represent URs towards the IS. To do this, we first carry out pre-treatments on the BPMN model to allow for a quasi-automatic UC generation. Then, we propose a set of transformation rules based on the semantics of BPMN and UML modeling elements. In addition to UC diagram, we generate also a textual description for each generated complex UC in order to help the system designer to understand its scenarios. To improve our approach, we apply it on a case study. Also, our approach is implemented with EMF tools and our transformation rules are specified by ATLAS Transformation Language (ATL) for generating the UC diagram and Acceleo Templates principle to generate the textual descriptions of complex UCs.","PeriodicalId":197301,"journal":{"name":"2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123959327","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}

引用次数: 12

A New Approximate Reasoning for Multi-bases Symbolic Data 多基符号数据的一种新的近似推理

2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA) Pub Date : 2017-10-01 DOI: 10.1109/AICCSA.2017.16

Saoussen Bel Hadj Kacem

引用次数: 0

FPMIPv6-S: A New Mobility Management Protocol for Wireless Sensor Networks FPMIPv6-S:一种新的无线传感器网络移动管理协议

2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA) Pub Date : 2017-10-01 DOI: 10.1109/AICCSA.2017.142

A. Berguiga, H. Youssef

引用次数: 1

A Validation Approach for Quasi-Synchronous Checkpointing Algorithms in HPC Systems HPC系统中准同步检查点算法的验证方法

2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA) Pub Date : 2017-10-01 DOI: 10.1109/AICCSA.2017.128

Houda Khlif, Hatem Hadj Kacem, S. Hernández, A. Kacem

{"title":"A Validation Approach for Quasi-Synchronous Checkpointing Algorithms in HPC Systems","authors":"Houda Khlif, Hatem Hadj Kacem, S. Hernández, A. Kacem","doi":"10.1109/AICCSA.2017.128","DOIUrl":"https://doi.org/10.1109/AICCSA.2017.128","url":null,"abstract":"High Performance Computing (HPC) has seen prodigious growth over the past few years and fault tolerance solutions have been incorporated into HPC systems. The most commonly used technique for fault tolerance in HPC is checkpointing. Processes achieve fault tolerance by saving local checkpoint periodically during execution. When a failure occurs, the previously saved global checkpoint can be used to restart the computation from an intermediate state. Quasi-Synchronous Checkpointing (QSC) is atractive because it allows finding consistent global checkpoints without an extra message overhead. QSC algorithms are classified into: Strictly Z-Path Free, Z-Path Free and Z-Cycle Free. Z-paths and Z-cycles are undesirable patterns that can give rise to inconsistent system states. QSC algorithms are often evaluated with regard to performance, generally through simulation. However, few works have been designed to validate their correctnes. Our approach validates if a QSC algorithm is correct by modeling its execution into a graph and then verifying over this graph if the algorithm is exempt from undesirable patterns. QSC is based on the Happened-Before Relation (HBR) introduced by Lamport. One main problem linked to the HBR is the combinatorial state explosion. Nevertheless, for a HPC system modeled with a HBR graph, the computational cost for the identification of such patterns becomes prohibitively high. In this paper, we define a set of transformation rules oriented towards the detection of the undesirable patterns over a graph derived from the causal order set abstraction (CAOS) which is equivalent to a HBR graph, but it drastically reduces the statespace of a system.","PeriodicalId":197301,"journal":{"name":"2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA)","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121785049","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

Adaptive Task Mapping and Scheduling for Reconfigurable Distributed Embedded Energy Harvesting Systems 可重构分布式嵌入式能量采集系统的自适应任务映射与调度

2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA) Pub Date : 2017-10-01 DOI: 10.1109/AICCSA.2017.191

Wiem Housseyni, O. Mosbahi, M. Khalgui

{"title":"Adaptive Task Mapping and Scheduling for Reconfigurable Distributed Embedded Energy Harvesting Systems","authors":"Wiem Housseyni, O. Mosbahi, M. Khalgui","doi":"10.1109/AICCSA.2017.191","DOIUrl":"https://doi.org/10.1109/AICCSA.2017.191","url":null,"abstract":"As with the requirements of high-performance and flexible computing, reconfigurable computing systems have become a subject of a great deal of research. Reconfigurable computing systems have to deal with unpredictable events from the environment such as arrival of new tasks, and hardware or software failures, by adapting the task allocation and scheduling, in order to maintain the system feasibility and performance. This paper presents a novel adaptive approach to address the real-time task scheduling issue in reconfigurable multiprocessor embedded systems based on energy harvesting with the consideration of system performance optimization. An energy efficient offline task mapping and scheduling algorithm is proposed to balance the workload in the multiprocessor embedded system. In order to optimize the system performance and to guarantee the system correctness in the presence of reconfiguration scenarios, a distributed control system is built to process a task migration. A cost function to evaluate the energy and time overheads of tasks migration is proposed. Extensive performance evaluations show the effectiveness of the proposed approach in terms of deadline miss ratio, and the energy gain compared with the related stateof-the-art techniques.","PeriodicalId":197301,"journal":{"name":"2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA)","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114806411","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

Data Classification in Water Pipeline Based on Wireless Sensors Networks 基于无线传感器网络的给水管道数据分类

2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA) Pub Date : 2017-10-01 DOI: 10.1109/AICCSA.2017.129

A. Ayadi, Oussama Ghorbel, M. BenSaleh, A. Obeid, M. Abid

引用次数: 4