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

2008 IEEE/ACS International Conference on Computer Systems and Applications最新文献

筛选
英文 中文
Effects of dimensionality reduction techniques on time series similarity measurements 降维技术对时间序列相似性测量的影响
2008 IEEE/ACS International Conference on Computer Systems and Applications Pub Date : 2008-03-31 DOI: 10.1109/AICCSA.2008.4493534
Ghazi Al-Naymat, J. Taheri
{"title":"Effects of dimensionality reduction techniques on time series similarity measurements","authors":"Ghazi Al-Naymat, J. Taheri","doi":"10.1109/AICCSA.2008.4493534","DOIUrl":"https://doi.org/10.1109/AICCSA.2008.4493534","url":null,"abstract":"Time Series are ubiquitous, hence, similarity search is one of the biggest challenges in the area of mining time series data. This is due to the vast data size, number of sequences and number of dimensions that lead to a very costly querying process. In this paper, we demonstrate, for the first time, the use of three dimensionality reduction techniques (random projection (RP), Down sampling (DS) and Averaging (Avg)) in time series similarity searches. Two different similarity measurements are used for this investigation; dynamic time warping (DTW) and Euclidean distance. A thorough study has been conducted in this paper based on very exhaustive experiments. Results show the individual performance of Avg, RP, and DS in the two similarity measurements in different dimensions. Simulation shows that a high similarity matching accuracy can still be achieved after a significant dimension reduction onto lower dimensions.","PeriodicalId":234556,"journal":{"name":"2008 IEEE/ACS International Conference on Computer Systems and Applications","volume":"103 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117311533","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}
引用次数: 5
The ENTHRONE 2 metadata management tool (MATool) (WISE 2008 MATool demonstration) ENTHRONE 2元数据管理工具(MATool) (WISE 2008 MATool演示)
2008 IEEE/ACS International Conference on Computer Systems and Applications Pub Date : 2008-03-31 DOI: 10.1109/AICCSA.2008.4493670
A. Lugmayr
{"title":"The ENTHRONE 2 metadata management tool (MATool) (WISE 2008 MATool demonstration)","authors":"A. Lugmayr","doi":"10.1109/AICCSA.2008.4493670","DOIUrl":"https://doi.org/10.1109/AICCSA.2008.4493670","url":null,"abstract":"There are many metadata standards, and many more are to emerge - and many more metadata systems have to deal with. To cope with the challenge of the management of metadata generated and various sources, in many arbitrary formats, and for different purposes, a metadata management solution is required. This research work describes the MATool, as metadata management tool developed within the IST IP ENTHRONE 2. The tool provides metadata aggregation, metadata collection, and metadata conversion capabilities in the context of end-to-end quality of service (QoS) integrated management system for audio-visual services. The live demonstrator of the MATool were available at WISE 2008.","PeriodicalId":234556,"journal":{"name":"2008 IEEE/ACS International Conference on Computer Systems and Applications","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116459311","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
A heterogeneous network architecture based Gnutella for mobile emergency preparedness applications 基于Gnutella的异构网络架构，用于移动应急准备应用
2008 IEEE/ACS International Conference on Computer Systems and Applications Pub Date : 2008-03-31 DOI: 10.1109/AICCSA.2008.4493679
A. Boukerche, A. Zarrad, R. B. Araujo
{"title":"A heterogeneous network architecture based Gnutella for mobile emergency preparedness applications","authors":"A. Boukerche, A. Zarrad, R. B. Araujo","doi":"10.1109/AICCSA.2008.4493679","DOIUrl":"https://doi.org/10.1109/AICCSA.2008.4493679","url":null,"abstract":"Collaborative Virtual Environments (CVEs) such as military training, emergency preparedness, and online games can place strict requirements on network when participating users are sharing 3D virtual environment through mobile devices in an ad-hoc network. Most of the existing CVEs supporting systems are tuned to specific tasks and their architecture are, typically, tightly coupled to wired network. This paper describes the proposal and evaluation of Gnutella peer-to-peer network over mobile ad-hoc networks (MANETs) in order to support large-scale CVEs. The overlay network manages the mobile device resources with a fair workload by using mobile Ultrapeer and node states. A novel discovery technique, in which mobile nodes are found through both their state and their physical position in the CVE, is presented.","PeriodicalId":234556,"journal":{"name":"2008 IEEE/ACS International Conference on Computer Systems and Applications","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121668615","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}
引用次数: 2
Commodity resource pricing in dynamic computational grids 动态计算网格中的商品资源定价
2008 IEEE/ACS International Conference on Computer Systems and Applications Pub Date : 2008-03-31 DOI: 10.1109/AICCSA.2008.4493568
K. Abdelkader, J. Broeckhove, K. Vanmechelen
{"title":"Commodity resource pricing in dynamic computational grids","authors":"K. Abdelkader, J. Broeckhove, K. Vanmechelen","doi":"10.1109/AICCSA.2008.4493568","DOIUrl":"https://doi.org/10.1109/AICCSA.2008.4493568","url":null,"abstract":"We investigate resource management in computational grids based on an economic perspective. Specifically, we model the grid as a commodity market of CPU resources that are traded at prices determined by the supply-and- demand equilibrium. This approach has been shown to function for small, static grids. We present simulation results to demonstrate it can be extended to grids with a dynamic fabric and large (thousands) number of resources.","PeriodicalId":234556,"journal":{"name":"2008 IEEE/ACS International Conference on Computer Systems and Applications","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124471000","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
Solving MEC model of haplotype reconstruction using information fusion, single greedy and parallel clustering approaches 利用信息融合、单贪婪和并行聚类方法求解单倍型重构MEC模型
2008 IEEE/ACS International Conference on Computer Systems and Applications Pub Date : 2008-03-31 DOI: 10.1109/AICCSA.2008.4493511
E. Asgarian, M. Moeinzadeh, S. Sharifian-R, A. Najafi-Ardabili, A. Ramezani, J. Habibi, J. Mohammadzadeh
{"title":"Solving MEC model of haplotype reconstruction using information fusion, single greedy and parallel clustering approaches","authors":"E. Asgarian, M. Moeinzadeh, S. Sharifian-R, A. Najafi-Ardabili, A. Ramezani, J. Habibi, J. Mohammadzadeh","doi":"10.1109/AICCSA.2008.4493511","DOIUrl":"https://doi.org/10.1109/AICCSA.2008.4493511","url":null,"abstract":"Haplotype information has become increasingly important in analyzing fine-scale molecular genetics data, Due to the mutated form in human genome; SNPs (Single Nucleotide Polymorphism) are responsible for some genetic diseases. As a consequence, obtaining all SNPs from human populations is one of the primary goals of studies in human genomics. In this paper, a data fusion method based on multiple parallel classifiers for reconstruction of haplotypes from a given sample Single Nucleotide Polymorphism (SNP) is proposed. First, we design a single greedy algorithm for solving haplotype reconstructions. [2] is used as an efficient approach to be combined with first classification method. The methods and information fusion approach are aimed specifically for increasing reconstruction rate of the problem in Minimum Error Correction Model (MEC) which is one of haplotyping problem models belonging to NP-hard class. Designing a parallel classifier, which helps us cover the single classifier's weaknesses, was the focus of our research.","PeriodicalId":234556,"journal":{"name":"2008 IEEE/ACS International Conference on Computer Systems and Applications","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124093213","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
Fingerprint verification based on core point neighbourhoods minutiae 基于核心点邻域特征的指纹验证
2008 IEEE/ACS International Conference on Computer Systems and Applications Pub Date : 2008-03-31 DOI: 10.1109/AICCSA.2008.4493583
F. Benhammadi, Kadda Bey-Beghdad, H. Hentous
{"title":"Fingerprint verification based on core point neighbourhoods minutiae","authors":"F. Benhammadi, Kadda Bey-Beghdad, H. Hentous","doi":"10.1109/AICCSA.2008.4493583","DOIUrl":"https://doi.org/10.1109/AICCSA.2008.4493583","url":null,"abstract":"The fingerprint verification has come to attract increased attention as a possible solution to e-security applications. This work describes a fast fingerprint matching algorithm based on a multiple reference minutiae. The fingerprint codes for the matching algorithm are extracted from neighbourhoods' minutiae which replace the classical core point. The main advantage of our approach is that it avoids the implicit alignment fingerprint images during the matching process and improves the fingerprint verification accuracy through the minutiae binary codes and orientation features combination. Testing our approach on the public fingerprint databases DB1-a andDB2-a FVC2002.","PeriodicalId":234556,"journal":{"name":"2008 IEEE/ACS International Conference on Computer Systems and Applications","volume":"01 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130901767","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}
引用次数: 2
Matlab® / Simulink® generated source code for safety related systems Matlab®/ Simulink®生成安全相关系统的源代码
2008 IEEE/ACS International Conference on Computer Systems and Applications Pub Date : 2008-03-31 DOI: 10.1109/AICCSA.2008.4493678
M. Schwarz, H. Sheng, Oleksandr Sheleh, J. Börcsök
{"title":"Matlab® / Simulink® generated source code for safety related systems","authors":"M. Schwarz, H. Sheng, Oleksandr Sheleh, J. Börcsök","doi":"10.1109/AICCSA.2008.4493678","DOIUrl":"https://doi.org/10.1109/AICCSA.2008.4493678","url":null,"abstract":"The authors present their latest research results and developments of a code generator for Matlab/Simulink block diagrams and to download the generated code onto safety related systems such as a safety PLC (programmable logic controller). An example demonstrates the different stages for code generation, evaluation and conversion before such code can be used in process industries. Systematic approaches are necessary when such source code is embedded in process units. To the best knowledge of the authors, Matlab/Simulink source code has not been transferred on safety PLC before. Matlab/Simulink is an advanced and matured programming environment, especially for simulations of engineering processes and systems. Hardly no hardware exists, when it comes to download the developed algorithms and to use it in real world applications and so far this approach is the only one for using developed and tested Matlab/Simulink software on an safety related system.","PeriodicalId":234556,"journal":{"name":"2008 IEEE/ACS International Conference on Computer Systems and Applications","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130395302","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}
引用次数: 5
Functional safety IEC 61508 / IEC 61511 the impact to certification and the user 功能安全IEC 61508 / IEC 61511对认证和用户的影响
2008 IEEE/ACS International Conference on Computer Systems and Applications Pub Date : 2008-03-31 DOI: 10.1109/AICCSA.2008.4493673
H. Gall
{"title":"Functional safety IEC 61508 / IEC 61511 the impact to certification and the user","authors":"H. Gall","doi":"10.1109/AICCSA.2008.4493673","DOIUrl":"https://doi.org/10.1109/AICCSA.2008.4493673","url":null,"abstract":"The functional safety standards IEC 61508 \"functional safety of electrical/electronic/programmable electronic safety related systems\" and IEC 61511 \"functional safety of safety instrumented systems for the process industry sector\" have gained a widespread acceptance and are becoming daily practice in many countries and industries. Since their inception in the late 90's they have affected end users and system integrators as well as product manufacturers. For the first time, end users and system integrators have standards which are accepted worldwide and guide them throughout the safety life-cycle of their facilities. For product manufacturers the standard IEC 61508 provides a guideline for the design of safety related equipment. The purpose of this paper is to discuss practical experience concerning the use of the standards. Benefits and problems for manufacturers, users and certification agencies are discussed in relation to the approval, assessment and certification of safety-related equipment and systems. The paper address the use of reliability data, the need for measures and techniques for avoidance and control of failures, and the positive effects of having functional safety management and qualified engineers/experts in place. The paper also discuss the relation between IEC 61511 (specific to the process industry) and IEC 61508.","PeriodicalId":234556,"journal":{"name":"2008 IEEE/ACS International Conference on Computer Systems and Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129782843","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}
引用次数: 54
Aspect-oriented formal specification for multimedia systems 多媒体系统面向方面的正式规范
2008 IEEE/ACS International Conference on Computer Systems and Applications Pub Date : 2008-03-31 DOI: 10.1109/AICCSA.2008.4493544
Lichen Zhang, Lihua Wang
{"title":"Aspect-oriented formal specification for multimedia systems","authors":"Lichen Zhang, Lihua Wang","doi":"10.1109/AICCSA.2008.4493544","DOIUrl":"https://doi.org/10.1109/AICCSA.2008.4493544","url":null,"abstract":"This paper proposes an approach for specifying multimedia systems based on aspect-oriented formal specification, which exploits the diversity and power of existing formal specification languages. The time features can be separated from multimedia systems based on separation of concerns, and expressed as a real-time aspect by formal method. There is no requirement that different aspects of a system should be expressed in the same language. So the different aspects can be specified by one formal specification technique or different formal specification techniques. In this paper we provide some ideas for aspect- oriented formal specification of multimedia systems. Multimedia systems can be divided into different aspects, each aspect can be specified independently. After each aspect has been accomplished, it can be woven back to the system. This aspect oriented formal specification method simplifies the requirement analysis process of complex multimedia systems. Two case studies illustrate the specification process of aspect-oriented formal specification for multimedia systems.","PeriodicalId":234556,"journal":{"name":"2008 IEEE/ACS International Conference on Computer Systems and Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130960262","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
Formal digital license language with OTS/CafeOBJ method 正式数字许可证语言与OTS/CafeOBJ方法
2008 IEEE/ACS International Conference on Computer Systems and Applications Pub Date : 2008-03-31 DOI: 10.1109/AICCSA.2008.4493599
Jianwen Xiang, D. Bjørner, K. Futatsugi
{"title":"Formal digital license language with OTS/CafeOBJ method","authors":"Jianwen Xiang, D. Bjørner, K. Futatsugi","doi":"10.1109/AICCSA.2008.4493599","DOIUrl":"https://doi.org/10.1109/AICCSA.2008.4493599","url":null,"abstract":"This paper discusses how to model digital licenses as observational transition systems (OTSs) with CafeOBJ, a formal algebraic specification language. To extend the concept of licensing to cover various application domains of digital rights management, we first analyze the concepts of permission and obligation with some real-world examples which are not covered by current XML-based Rights Expression Languages (RELs), and then discuss how to formally specify licenses in terms of deontic and temporal logic with OTS/CafeOBJ method. Several important deontic and temporal modeling issues of licenses are also addressed for discussion. The proposed formal license language can be used not only for the formal specifications of licenses which capture both static observations and dynamic state transitions of the licenses, but also for the formal verification of licenses thanks to the executability and theorem proving facility of CafeOBJ.","PeriodicalId":234556,"journal":{"name":"2008 IEEE/ACS International Conference on Computer Systems and Applications","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128305086","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
首页 上一页 下一页 尾页
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学术官方微信
小红书