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

2012 International Conference on Information Technology and e-Services最新文献

筛选
英文 中文
Formal verification of mobile agent based worflows 基于移动代理的工作流的正式验证
2012 International Conference on Information Technology and e-Services Pub Date : 2012-03-24 DOI: 10.1109/ICITES.2012.6216595
F. Bouchoul, M. Mostefai
{"title":"Formal verification of mobile agent based worflows","authors":"F. Bouchoul, M. Mostefai","doi":"10.1109/ICITES.2012.6216595","DOIUrl":"https://doi.org/10.1109/ICITES.2012.6216595","url":null,"abstract":"Workflows are naturally built upon complex distributed information systems and resources. Modern workflows systems require a lot of flexibility i.e. the capability to react to changes during their execution and a great degree of adaptivity. The agent technology seems to be a good candidate to these requirements. One solution is that the workflow enactment is done by a mobile agent. These systems are so complex such as the usage of formal tools for verification, simulation and prototyping to facilitate their design and their validation is essential and of great interest. The aim of this paper is twofold: firstly we discuss the importance of applying agent technology to workflows and then a new formal method based on rewriting logic is proposed to verify mobile agent based workflows and to enable their rapid prototyping.","PeriodicalId":137864,"journal":{"name":"2012 International Conference on Information Technology and e-Services","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114525288","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
Reasoning about design patterns with an Aspect-Oriented approach 用面向方面的方法推理设计模式
2012 International Conference on Information Technology and e-Services Pub Date : 2012-03-24 DOI: 10.1109/ICITES.2012.6216602
M. Berkane, M. Boufaida, Lionel Seinturier
{"title":"Reasoning about design patterns with an Aspect-Oriented approach","authors":"M. Berkane, M. Boufaida, Lionel Seinturier","doi":"10.1109/ICITES.2012.6216602","DOIUrl":"https://doi.org/10.1109/ICITES.2012.6216602","url":null,"abstract":"The formal specification of design pattern clarifies the concepts underlying patterns, eliminates ambiguity, and complements the informal text-based descriptions. Based on previous works on formal specification of design patterns, this paper focuses on enriching the formal specification of design patterns using the Aspect-Oriented approach. This paper presents some properties of patterns in order to prove how predicate logic can be used to reason in the Aspect-Oriented approach.","PeriodicalId":137864,"journal":{"name":"2012 International Conference on Information Technology and e-Services","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114542774","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
An overview on web security threats and impact to e-commerce success 概述网络安全威胁及对电子商务成功的影响
2012 International Conference on Information Technology and e-Services Pub Date : 2012-03-24 DOI: 10.1109/ICITES.2012.6216645
Hatoon Matbouli, Q. Gao
{"title":"An overview on web security threats and impact to e-commerce success","authors":"Hatoon Matbouli, Q. Gao","doi":"10.1109/ICITES.2012.6216645","DOIUrl":"https://doi.org/10.1109/ICITES.2012.6216645","url":null,"abstract":"E-commerce has made great strides in providing a convenient, fast and secure shopping experience for consumers. However, there is still a significant portion of shoppers whose security fears impact how they spend their money online. Because of this, security issues associated with e-commerce and customer sites must be constantly reviewed and updated with appropriate countermeasures. As web security threats detrimentally affect the success of electronic consumerism, it is imperative to educate both consumers and businesses on the issues and how to eliminate or minimize the risks of security breaching in an e-commerce environment. This paper presents a survey and analysis on e-commerce related security issues, the impact to E-commerce success, and the available integrated security strategies. We attempt to offer a simple guide how to properly deal with the security threats that detrimentally affect e-commerce. In addition, this paper provides an analysis on the barriers that prevent many developing countries from adopting e-commerce. Some recommendations on how to overcome these problems will also be provided.","PeriodicalId":137864,"journal":{"name":"2012 International Conference on Information Technology and e-Services","volume":"148 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116336685","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
Voice command system based on pipelining classifiers GMM-HMM 基于流水线分类器GMM-HMM的语音命令系统
2012 International Conference on Information Technology and e-Services Pub Date : 2012-03-24 DOI: 10.1109/ICITES.2012.6216652
M. Fezari, M. S. Boumaza, A. Aldahoud
{"title":"Voice command system based on pipelining classifiers GMM-HMM","authors":"M. Fezari, M. S. Boumaza, A. Aldahoud","doi":"10.1109/ICITES.2012.6216652","DOIUrl":"https://doi.org/10.1109/ICITES.2012.6216652","url":null,"abstract":"Details of designing and developing a voice guiding system for a robot arm is presented. The features combination technique is investigated and then a hybrid method for classification is applied. Based on research and experimental results, more features will increase the rate of recognition in automatic speech recognition. Thus combining classical components used in ASR system such as Crossing Zero, energy, Mel frequency cepstral coefficients with wavelet transform (to extract meaningful formants parameters) followed by a pipelining ordered classifiers GMM and HMM has contributed in reducing the error rate considerably. To implement the approach on a real-time application, a PC interface was designed to control the movements of a four degree of freedom robot arm by transmitting the orders via RF circuits. The voice command system for the robot is designed and tests showed an Improvement by combining techniques.","PeriodicalId":137864,"journal":{"name":"2012 International Conference on Information Technology and e-Services","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117090426","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
Syntactico-semantic algorithm for automatic ontology merging 本体自动合并的句法语义算法
2012 International Conference on Information Technology and e-Services Pub Date : 2012-03-24 DOI: 10.1109/ICITES.2012.6216592
S. Amrouch, S. Mostefai
{"title":"Syntactico-semantic algorithm for automatic ontology merging","authors":"S. Amrouch, S. Mostefai","doi":"10.1109/ICITES.2012.6216592","DOIUrl":"https://doi.org/10.1109/ICITES.2012.6216592","url":null,"abstract":"Ontologies are becoming efficient models for information representation and storage. They facilitate treatment and knowledge management through AI techniques by offering the potential of integrating a large quantity of information via what we call “Ontology Merging”. Beforehand, each data source or DB may be the object of an ontology construction. Our contribution is to design a syntactico-semantic algorithm for automatic ontology merging. It combines syntactic and semantic measures for identifying similar concepts that will be merged in a signal one in the resulting merged ontology. Hence, synonym and homonym problems of the syntactic measures can be solved. The syntactic part of the algorithm is based on calculating the distance between the two compared concepts while the semantic one is based on the extensional models of the source ontologies from WordNet which constitute the basis of semantic similarity measure between the synsets of the two concepts in question. After combining the two results, similar concepts are merged in a single one.","PeriodicalId":137864,"journal":{"name":"2012 International Conference on Information Technology and e-Services","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127107689","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
Amelioration of MPR by a backbone-based broadcasting algorithm for WSNs 基于骨干广播算法的无线传感器网络MPR改进
2012 International Conference on Information Technology and e-Services Pub Date : 2012-03-24 DOI: 10.1109/ICITES.2012.6216676
T. Moulahi, S. Nasri, H. Guyennet
{"title":"Amelioration of MPR by a backbone-based broadcasting algorithm for WSNs","authors":"T. Moulahi, S. Nasri, H. Guyennet","doi":"10.1109/ICITES.2012.6216676","DOIUrl":"https://doi.org/10.1109/ICITES.2012.6216676","url":null,"abstract":"Wireless Sensor Networks (WSNs) are sets of many sensors that gather data and collaborate together. So, the procedures of broadcast or multicast are more important than traditional point-to-point communication in computer network. This paper focuses on broadcasting in structured WSNs. In such a kind, the procedure of network communications is easier than in unstructured WSNs. Thus, we will make an overview of MultiPoint Relay: (MPR) to show its weakness. Then, we will define a cluster-based architecture for WSNs which is constructed using MPR. Next, we will provide a new broadcast algorithm based on the previous cluster architecture and called 3B: Backbone Based Broadcasting. By the end, an illustration of 3B shows that it minimizes the energy consumption for accomplishing broadcast compared to MPR.","PeriodicalId":137864,"journal":{"name":"2012 International Conference on Information Technology and e-Services","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130096089","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
Coupling clinical decision support system with computerized prescriber order entry and their dynamic plugging in the medical workflow system 临床决策支持系统与计算机化处方单录入的耦合及其在医疗工作流程系统中的动态插入
2012 International Conference on Information Technology and e-Services Pub Date : 2012-03-24 DOI: 10.1109/ICITeS.2012.6216631
L. Bouzguenda, Manel Turki
{"title":"Coupling clinical decision support system with computerized prescriber order entry and their dynamic plugging in the medical workflow system","authors":"L. Bouzguenda, Manel Turki","doi":"10.1109/ICITeS.2012.6216631","DOIUrl":"https://doi.org/10.1109/ICITeS.2012.6216631","url":null,"abstract":"This work deals with coupling Clinical Decision Support System (CDSS) with Computerized Prescriber Order Entry (CPOE) and their dynamic plugging in the medical Workflow Management System (WfMS). First, in this paper we argue some existing CDSS representative of the state of the art in order to emphasize their inability to deal with coupling with CPOE and medical WfMS. The multiagent technology is at the basis of our proposition since (i) it provides natural abstractions to deal with distribution, heterogeneity and autonomy which are inherent to the previous systems (CDSS, CPOE and medical WfMS), and (ii) it introduces powerful concepts such as organizations, goals and roles useful to describe in details the coordination of the different components involved in these systems. In this paper, we also propose a Multi-Agent System (MAS) to support the coupling CDSS with CPOE. Finally, we show how we integrate the proposed MAS in the medical workflow management system which is also based on collaborating agents.","PeriodicalId":137864,"journal":{"name":"2012 International Conference on Information Technology and e-Services","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132102734","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
A meta-exact approach to improve intensification in combinatorial optimization problems 一种改进组合优化问题强化的元精确方法
2012 International Conference on Information Technology and e-Services Pub Date : 2012-03-24 DOI: 10.1109/ICITES.2012.6216668
M. Samir, C. Salim, T. Ahmed
{"title":"A meta-exact approach to improve intensification in combinatorial optimization problems","authors":"M. Samir, C. Salim, T. Ahmed","doi":"10.1109/ICITES.2012.6216668","DOIUrl":"https://doi.org/10.1109/ICITES.2012.6216668","url":null,"abstract":"Technical impossibility to solve exactly NP-hard combinatorial optimization problems for large instances requires the use of heuristics. Nevertheless, the exact methods can be useful, when sub-problems can be extracted from the whole problem. Indeed, their resolution contributes in the global solution search, by combining exact resolution of sub-problems and heuristic resolution of the global problem. This approach is generally efficient, because it combines the advantages of two different methods. In this paper we propose to hybridize the metaheuristic MA|PM (memetic algorithm with population management) and B&B to solve combinatorial optimization problems. Our idea is to add in the metaheuristic, an exact method, which has an absolute research power, in order to improve the intensification around the best current solution found by the metaheuristic. We have realized experiments on well-known benchmarks in the literature of the knapsack problem. The results obtained show the effectiveness of Meta/Exact hybridization.","PeriodicalId":137864,"journal":{"name":"2012 International Conference on Information Technology and e-Services","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131011745","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
Locating candidate web service in legacy software: A search based approach 在遗留软件中定位候选web服务:基于搜索的方法
2012 International Conference on Information Technology and e-Services Pub Date : 2012-03-24 DOI: 10.1109/ICITES.2012.6216604
M. Abdelkader, M. Mimoun, S. Benslimane
{"title":"Locating candidate web service in legacy software: A search based approach","authors":"M. Abdelkader, M. Mimoun, S. Benslimane","doi":"10.1109/ICITES.2012.6216604","DOIUrl":"https://doi.org/10.1109/ICITES.2012.6216604","url":null,"abstract":"Locating candidate web services in legacy software is the most challenging task in the process of migrating (i.e. reengineering) legacy software towards service oriented architectures and web services technologies. In this paper and for the first time, we formulate the problem of locating services as search problem and we justify the adoption of functional cohesion measures and GA (i.e. Genetic Algorithms) to find an approximate solution, a set of modules(i.e. procedures or functions) contributing in the computation of searched service, to this problem. This approach is experimented on a two medium-sized legacy software and shown that it outperforms features location approaches based on information retrieval tools when used to locate services in legacy software.","PeriodicalId":137864,"journal":{"name":"2012 International Conference on Information Technology and e-Services","volume":"8 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128808859","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 fault detection mechanism for context-aware systems 上下文感知系统的故障检测机制
2012 International Conference on Information Technology and e-Services Pub Date : 2012-03-24 DOI: 10.1109/ICITES.2012.6216640
M. Zaiter, S. Hacini, Z. Boufaida
{"title":"A fault detection mechanism for context-aware systems","authors":"M. Zaiter, S. Hacini, Z. Boufaida","doi":"10.1109/ICITES.2012.6216640","DOIUrl":"https://doi.org/10.1109/ICITES.2012.6216640","url":null,"abstract":"The consideration of information describing the context in interactive applications, where the context of object is changing rapidly, is important for the decision making. The dynamics of these applications and the large number of components they include may generate problems. This leads to errors and dysfunction of the overall system. The purpose of this paper is to explore the notion of context, and to propose a mechanism for fault detection on context-aware systems.","PeriodicalId":137864,"journal":{"name":"2012 International Conference on Information Technology and e-Services","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125583566","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
首页 上一页 下一页 尾页
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学术官方微信