Pub Date : 2014-10-01DOI: 10.1109/CIST.2014.7016587
Outman El Hichami, Badr Eddine El Mohajir, Mohammed Al Achhab, Ismail Berrada, Rachid Oucheikh
Bringing a high confidence to the validity of business processes is one of the prevailing themes in business process management. This paper deals with the integration of the formal verification techniques of business process (BP) in the design phase. The main objective of this paper is to propose a user-friendly graphical interface that business experts can use to specify the right dynamic behaviors of BP. In order to achieve this purpose, we use the graphical notation of BPMN (Business process modeling notation) for modeling BP. The graphical interface proposed uses the same notations as those used in BPMN. In this way, the designer can automatically and intuitively validate constraint specifications on designed processes at this early stage. Several formal semantics for these properties are given and a verification approach is then proposed.
{"title":"Towards formal verification of business process using a graphical specification","authors":"Outman El Hichami, Badr Eddine El Mohajir, Mohammed Al Achhab, Ismail Berrada, Rachid Oucheikh","doi":"10.1109/CIST.2014.7016587","DOIUrl":"https://doi.org/10.1109/CIST.2014.7016587","url":null,"abstract":"Bringing a high confidence to the validity of business processes is one of the prevailing themes in business process management. This paper deals with the integration of the formal verification techniques of business process (BP) in the design phase. The main objective of this paper is to propose a user-friendly graphical interface that business experts can use to specify the right dynamic behaviors of BP. In order to achieve this purpose, we use the graphical notation of BPMN (Business process modeling notation) for modeling BP. The graphical interface proposed uses the same notations as those used in BPMN. In this way, the designer can automatically and intuitively validate constraint specifications on designed processes at this early stage. Several formal semantics for these properties are given and a verification approach is then proposed.","PeriodicalId":106483,"journal":{"name":"2014 Third IEEE International Colloquium in Information Science and Technology (CIST)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116653995","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}
Pub Date : 2014-10-01DOI: 10.1109/CIST.2014.7016604
Ali Aajli, K. Afdel
In recent years, adaptive learning systems rely increasingly on concept maps to customize the educational logic developed in their courses. Most approaches do not take into account the possibility of combining the concept maps predefined by experts of field and those developed automatically using the Fuzzy Sets Theory. In this article, we present a hybrid approach using on the one hand the feedback from experts of domain to select, prioritize relevant concepts and create prerequisite relationships to get the initial concept map, on the other hand we use the fuzzy logic to measure relevance degree of all relationships existing in this concept map, these links are considered as fuzzy relationships. With this approach we got two types of prerequisite relationships between concepts, the first type can be classified as relationships correctly established by the expert. These relationships must be kept in the final concept map. The second type can be considered as relationships incorrectly established by the expert, because the concepts involved in these relationships are independent, in this case these relations must be deleted or substituted with the inverse of the original relations, or because the items used in evaluations of these concepts are inappropriate and must be reviewed.
{"title":"A new hybrid approach for constructing the concept map based on fuzzy prerequisite relationships","authors":"Ali Aajli, K. Afdel","doi":"10.1109/CIST.2014.7016604","DOIUrl":"https://doi.org/10.1109/CIST.2014.7016604","url":null,"abstract":"In recent years, adaptive learning systems rely increasingly on concept maps to customize the educational logic developed in their courses. Most approaches do not take into account the possibility of combining the concept maps predefined by experts of field and those developed automatically using the Fuzzy Sets Theory. In this article, we present a hybrid approach using on the one hand the feedback from experts of domain to select, prioritize relevant concepts and create prerequisite relationships to get the initial concept map, on the other hand we use the fuzzy logic to measure relevance degree of all relationships existing in this concept map, these links are considered as fuzzy relationships. With this approach we got two types of prerequisite relationships between concepts, the first type can be classified as relationships correctly established by the expert. These relationships must be kept in the final concept map. The second type can be considered as relationships incorrectly established by the expert, because the concepts involved in these relationships are independent, in this case these relations must be deleted or substituted with the inverse of the original relations, or because the items used in evaluations of these concepts are inappropriate and must be reviewed.","PeriodicalId":106483,"journal":{"name":"2014 Third IEEE International Colloquium in Information Science and Technology (CIST)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116117343","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}
Pub Date : 2014-10-01DOI: 10.1109/CIST.2014.7016617
Khalid Salmi, H. Magrez, A. Ziyyat
Vision plays an important role in improving comprehension and perception of electromagnetic fields. One reason electromagnetic fields is considered by students to be a difficult course is because electromagnetic fields, being vector functions of space and time, unlike mechanics, which deals with concrete objects, are conceptually abstract and hard to visualize. Invisibility is a considerable obstacle on the way to understanding physical phenomena. To overcome this obstacle, we present in this paper some interactive simulations mainly developed for educational purposes in electromagnetics in order to facilitate the understanding of field theory and vector analysis. This interactive simulations can be used as a virtual laboratory where students can explore the solutions on their own efforts and in every detail, hence, deepening their understanding of the subject matter.
{"title":"Interactive simulation as a virtual tool in electromagnetics for online education","authors":"Khalid Salmi, H. Magrez, A. Ziyyat","doi":"10.1109/CIST.2014.7016617","DOIUrl":"https://doi.org/10.1109/CIST.2014.7016617","url":null,"abstract":"Vision plays an important role in improving comprehension and perception of electromagnetic fields. One reason electromagnetic fields is considered by students to be a difficult course is because electromagnetic fields, being vector functions of space and time, unlike mechanics, which deals with concrete objects, are conceptually abstract and hard to visualize. Invisibility is a considerable obstacle on the way to understanding physical phenomena. To overcome this obstacle, we present in this paper some interactive simulations mainly developed for educational purposes in electromagnetics in order to facilitate the understanding of field theory and vector analysis. This interactive simulations can be used as a virtual laboratory where students can explore the solutions on their own efforts and in every detail, hence, deepening their understanding of the subject matter.","PeriodicalId":106483,"journal":{"name":"2014 Third IEEE International Colloquium in Information Science and Technology (CIST)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114768397","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}
Pub Date : 2014-10-01DOI: 10.1109/CIST.2014.7016643
A. Laraqui, A. Saaidi, A. Jarrar, K. Satori
Image stitching is used to combine multiple photographic images from camera network with overlapping field of view to produce panoramic view. With image stitching, the view is enlarged and the amount of information increases with the number of images that are stitched. In the existing methods, the whole images from the adjacent views are considered thus leads to increase in both time and computational complexity. In this paper, a new approach to stitch image using the geometric solution based on the regions to reduce time and computational complexity.
{"title":"Image stitching based on the geometric solution","authors":"A. Laraqui, A. Saaidi, A. Jarrar, K. Satori","doi":"10.1109/CIST.2014.7016643","DOIUrl":"https://doi.org/10.1109/CIST.2014.7016643","url":null,"abstract":"Image stitching is used to combine multiple photographic images from camera network with overlapping field of view to produce panoramic view. With image stitching, the view is enlarged and the amount of information increases with the number of images that are stitched. In the existing methods, the whole images from the adjacent views are considered thus leads to increase in both time and computational complexity. In this paper, a new approach to stitch image using the geometric solution based on the regions to reduce time and computational complexity.","PeriodicalId":106483,"journal":{"name":"2014 Third IEEE International Colloquium in Information Science and Technology (CIST)","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132529374","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}
Pub Date : 2014-10-01DOI: 10.1109/CIST.2014.7016651
A. Rghioui, Aziza L'aarje, F. Elouaai, M. Bouhorma
The development of the Internet of Things will greatly facilitate the process of patient's diagnosis and monitoring, with small IP-based wireless sensors implemented on the patient's body, his physiological parameters, such as blood pressure and heart rate, can be monitored remotely and continuously. This scenario must absolutely respect the confidentiality and privacy of patient's medical information, only caregivers and authorized persons should possess the right to access these information. The security must be ensured throughout the healthcare application scenario. This paper presents a study of the potential security problems in this application, and proposes a security model as a solution. Our model is based on symmetric cryptography with a proposed key management system and network nodes authentication mechanism.
{"title":"The Internet of Things for healthcare monitoring: Security review and proposed solution","authors":"A. Rghioui, Aziza L'aarje, F. Elouaai, M. Bouhorma","doi":"10.1109/CIST.2014.7016651","DOIUrl":"https://doi.org/10.1109/CIST.2014.7016651","url":null,"abstract":"The development of the Internet of Things will greatly facilitate the process of patient's diagnosis and monitoring, with small IP-based wireless sensors implemented on the patient's body, his physiological parameters, such as blood pressure and heart rate, can be monitored remotely and continuously. This scenario must absolutely respect the confidentiality and privacy of patient's medical information, only caregivers and authorized persons should possess the right to access these information. The security must be ensured throughout the healthcare application scenario. This paper presents a study of the potential security problems in this application, and proposes a security model as a solution. Our model is based on symmetric cryptography with a proposed key management system and network nodes authentication mechanism.","PeriodicalId":106483,"journal":{"name":"2014 Third IEEE International Colloquium in Information Science and Technology (CIST)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129978951","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}
Pub Date : 2014-10-01DOI: 10.1109/CIST.2014.7016625
M. Khouil, N. Saber, M. Mestari
This study aimed to propose, a different architecture of a collision detection neural network (DCNN). The ability to detect and avoid collision is very important for mobile intelligent machines. However many artificial vision systems are not yet able to quickly and cheaply extract the wealth information. This network, which has been particularly reviewed, has enabled us to solve with a new approach the problem of collision detection between two convex polyhedra in a fixed time (O (1) time). We used two types of neurons linear and threshold logic, which simplified the actual implementation of all the networks proposed. This article represents a comprehensive algorithm that determine through the AMAXNET network a measure (a mini-maximum point) in a fixed time, which allows us to detect the presence of a potential collision.
{"title":"Collision detection for three dimension objects in a fixed time","authors":"M. Khouil, N. Saber, M. Mestari","doi":"10.1109/CIST.2014.7016625","DOIUrl":"https://doi.org/10.1109/CIST.2014.7016625","url":null,"abstract":"This study aimed to propose, a different architecture of a collision detection neural network (DCNN). The ability to detect and avoid collision is very important for mobile intelligent machines. However many artificial vision systems are not yet able to quickly and cheaply extract the wealth information. This network, which has been particularly reviewed, has enabled us to solve with a new approach the problem of collision detection between two convex polyhedra in a fixed time (O (1) time). We used two types of neurons linear and threshold logic, which simplified the actual implementation of all the networks proposed. This article represents a comprehensive algorithm that determine through the AMAXNET network a measure (a mini-maximum point) in a fixed time, which allows us to detect the presence of a potential collision.","PeriodicalId":106483,"journal":{"name":"2014 Third IEEE International Colloquium in Information Science and Technology (CIST)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130008942","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}
Pub Date : 2014-10-01DOI: 10.1109/CIST.2014.7016602
Yousra Bouaiachi, M. Khaldi, A. Azmani
Psychiatric disorders are mental conditions affecting emotional, cognitive, affective and behavioral states and causing impairment and suffering. The early and accurate diagnosis of such disorders is crucial for recovery and improvement. Artificial Intelligence is extremely implicated in medical and clinical fields bringing efficient results and solutions. This paper introduces a psychiatric pre-diagnosis approach to simplify the modeling of a decision support system using neural networks. The choice of neural network as a decisional tool is made after a comparative study with Case-Based Reasoning. The efficiency of the pre-diagnosis neural network in our experiment reaches the accuracy of 90% in identifying some categories like psychotic disorders category.
{"title":"Neural network-based decision support system for pre-diagnosis of psychiatric disorders","authors":"Yousra Bouaiachi, M. Khaldi, A. Azmani","doi":"10.1109/CIST.2014.7016602","DOIUrl":"https://doi.org/10.1109/CIST.2014.7016602","url":null,"abstract":"Psychiatric disorders are mental conditions affecting emotional, cognitive, affective and behavioral states and causing impairment and suffering. The early and accurate diagnosis of such disorders is crucial for recovery and improvement. Artificial Intelligence is extremely implicated in medical and clinical fields bringing efficient results and solutions. This paper introduces a psychiatric pre-diagnosis approach to simplify the modeling of a decision support system using neural networks. The choice of neural network as a decisional tool is made after a comparative study with Case-Based Reasoning. The efficiency of the pre-diagnosis neural network in our experiment reaches the accuracy of 90% in identifying some categories like psychotic disorders category.","PeriodicalId":106483,"journal":{"name":"2014 Third IEEE International Colloquium in Information Science and Technology (CIST)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130206407","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}
Pub Date : 2014-10-01DOI: 10.1109/CIST.2014.7016649
Souhail Guennouni, A. Ahaitouf, A. Mansouri
Object detection has been attracting much interest due to the wide spectrum of applications that use it. Object detection technology has been driven by an increasing processing power available in software and hardware. In this work we present a developed application for multiple objects detection based on OpenCV libraries. The complexity-related aspects that were considered in the object detection using cascade classifier are described. Furthermore, we discuss the profiling and porting of the application into an embedded platform and comparing the results with the regular platform. The proposed application deals with real time systems implementation and the results give an indication of where the cases of object detection applications may be more complex and where it may be simpler.
{"title":"Multiple object detection using OpenCV on an embedded platform","authors":"Souhail Guennouni, A. Ahaitouf, A. Mansouri","doi":"10.1109/CIST.2014.7016649","DOIUrl":"https://doi.org/10.1109/CIST.2014.7016649","url":null,"abstract":"Object detection has been attracting much interest due to the wide spectrum of applications that use it. Object detection technology has been driven by an increasing processing power available in software and hardware. In this work we present a developed application for multiple objects detection based on OpenCV libraries. The complexity-related aspects that were considered in the object detection using cascade classifier are described. Furthermore, we discuss the profiling and porting of the application into an embedded platform and comparing the results with the regular platform. The proposed application deals with real time systems implementation and the results give an indication of where the cases of object detection applications may be more complex and where it may be simpler.","PeriodicalId":106483,"journal":{"name":"2014 Third IEEE International Colloquium in Information Science and Technology (CIST)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134451234","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}
Pub Date : 2014-10-01DOI: 10.1109/CIST.2014.7016646
Boudahla Mohammed Karim
Automatic segmentation of organs at risk in head Magnetic Resonance Images (MRI) is a challenging task it necessitates accurate definition of organs at risk (OAR). This crucial step is time consuming and prone to inter and intra-observer variations. Automatic segmentation by atlas deformable registration may help to reduce time and variations. the atlas based segmentation of brain OAR may suffer from normal individual variations in human brain structures in the other hand deformable models (Snakes) are much more accurate to locate object or structures boundaries but they are very sensitive to initialization and the computational cost of calculating the force field that will deform the snake to these boundaries. in this paper we present a method that combine the robustness of atlas based segmentation methods and the accuracy of Snakes and we use filters to improve the quality of final segmentation. we use an unbiased age appropriate MRI atlas template the ICBM 152 and Multigrid GVF to avoid high computational costs of GVF Snakes filters like Canny filter aim to reduce irrelevant data from MRI images and improve convergence and the final structure segmentation.
{"title":"Atlas and snake based segmentation of organs at risk in radiotherapy in head MRIs","authors":"Boudahla Mohammed Karim","doi":"10.1109/CIST.2014.7016646","DOIUrl":"https://doi.org/10.1109/CIST.2014.7016646","url":null,"abstract":"Automatic segmentation of organs at risk in head Magnetic Resonance Images (MRI) is a challenging task it necessitates accurate definition of organs at risk (OAR). This crucial step is time consuming and prone to inter and intra-observer variations. Automatic segmentation by atlas deformable registration may help to reduce time and variations. the atlas based segmentation of brain OAR may suffer from normal individual variations in human brain structures in the other hand deformable models (Snakes) are much more accurate to locate object or structures boundaries but they are very sensitive to initialization and the computational cost of calculating the force field that will deform the snake to these boundaries. in this paper we present a method that combine the robustness of atlas based segmentation methods and the accuracy of Snakes and we use filters to improve the quality of final segmentation. we use an unbiased age appropriate MRI atlas template the ICBM 152 and Multigrid GVF to avoid high computational costs of GVF Snakes filters like Canny filter aim to reduce irrelevant data from MRI images and improve convergence and the final structure segmentation.","PeriodicalId":106483,"journal":{"name":"2014 Third IEEE International Colloquium in Information Science and Technology (CIST)","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133713461","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}
Pub Date : 2014-10-01DOI: 10.1109/CIST.2014.7016605
S. Chadli, M. Emharraf, M. Saber, A. Ziyyat
Mobile Ad Hoc Networks (MANETs) are susceptible to a variety of attacks that threaten their operation and the provided services. Intrusion Detection Systems (IDSs) may act as defensive mechanisms, since they monitor network activities in order to detect malicious actions performed by intruders, and then initiate the appropriate countermeasures. IDS for MANETs have attracted much attention recently and thus, there are many publications that propose new IDS solutions or improvements to the existing. In this paper, we study the different existing IDS architectures for MANETs. We briefly present for each architecture, after an analysis, the strengths and weaknesses, the methods/techniques that have been proposed to improve the performances and the provided security services. Then, we propose a new IDS architecture for MANETs, this architecture is a combination model hierarchical based on clusters and cooperation model based on a multi-agent system (SMA). In this architecture, agents use a knowledge related to a global security ontology, it can be used to infer new detection rules.
{"title":"The design of an IDS architecture for MANET based on multi-agent","authors":"S. Chadli, M. Emharraf, M. Saber, A. Ziyyat","doi":"10.1109/CIST.2014.7016605","DOIUrl":"https://doi.org/10.1109/CIST.2014.7016605","url":null,"abstract":"Mobile Ad Hoc Networks (MANETs) are susceptible to a variety of attacks that threaten their operation and the provided services. Intrusion Detection Systems (IDSs) may act as defensive mechanisms, since they monitor network activities in order to detect malicious actions performed by intruders, and then initiate the appropriate countermeasures. IDS for MANETs have attracted much attention recently and thus, there are many publications that propose new IDS solutions or improvements to the existing. In this paper, we study the different existing IDS architectures for MANETs. We briefly present for each architecture, after an analysis, the strengths and weaknesses, the methods/techniques that have been proposed to improve the performances and the provided security services. Then, we propose a new IDS architecture for MANETs, this architecture is a combination model hierarchical based on clusters and cooperation model based on a multi-agent system (SMA). In this architecture, agents use a knowledge related to a global security ontology, it can be used to infer new detection rules.","PeriodicalId":106483,"journal":{"name":"2014 Third IEEE International Colloquium in Information Science and Technology (CIST)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132739399","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：