2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing最新文献_第4页

Test Generation for Web Applications Using Model-Checking 使用模型检查的Web应用程序测试生成

2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Pub Date : 2010-06-09 DOI: 10.1109/SNPD.2010.43

Liping Li, Huai-kou Miao, Shengbo Chen

引用次数: 6

Intelligent Framework for the Management of Distributed Architectures 分布式体系结构管理的智能框架

2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Pub Date : 2010-06-09 DOI: 10.1109/SNPD.2010.36

D. Ong, S. Khaddaj

引用次数: 2

Semantic Query Validation in Guided-Based Systems: Assuring the Construction of Queries that Make Sense 基于引导的系统中的语义查询验证:确保有意义的查询的构造

2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Pub Date : 2010-06-09 DOI: 10.1109/SNPD.2010.11

S. Paiva, M. Cabrer, A. Gil-Solla

引用次数: 5

Real-Time Implementation of Synthetic Aperture Sonar Imaging on High Performance Clusters 合成孔径声纳成像在高性能集群上的实时实现

2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Pub Date : 2010-06-09 DOI: 10.1109/SNPD.2010.23

Baoli Li, W. Liu, Jiyuan Liu, Chunhua Zhang

引用次数: 0

Architectural Reconstruction of 3D Building Objects through Semantic Knowledge Management 基于语义知识管理的三维建筑对象的建筑重构

2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Pub Date : 2010-06-09 DOI: 10.1109/SNPD.2010.46

Yucong Duan, C. Cruz, C. Nicolle

引用次数: 21

CP-Nets Based Methodology for Integrating Functional Verification and Performance Analysis of Network Protocol 基于CP-Nets的网络协议功能验证与性能分析集成方法

2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Pub Date : 2010-06-09 DOI: 10.1109/SNPD.2010.16

Jing Liu, Xin-min Ye, Jun Yu Li

{"title":"CP-Nets Based Methodology for Integrating Functional Verification and Performance Analysis of Network Protocol","authors":"Jing Liu, Xin-min Ye, Jun Yu Li","doi":"10.1109/SNPD.2010.16","DOIUrl":"https://doi.org/10.1109/SNPD.2010.16","url":null,"abstract":"It is very risky to improve the performance of network protocols without the assurance of its functional correctness, especially for protocols that with complicated and concurrent behaviors. However, in most of current model based protocol engineering projects, two independent models are adopted for individual functional verification and performance analysis, which could not guarantee the performance model satisfying the functionality correctness, and usually cost more in protocol design and maintenance. In this paper, we propose a colored Petri nets (CP-nets) based method to integrate functional verification and performance analysis procedures, and focus on the BitTorrent protocol as a representative example to illustrate the practical effectiveness of our proposed methodology. That is, the functional CP-nets models of BitTorrent protocol are constructed and validated firstly, and then performance related temporal constrains are added into above models to form its performance CP-nets models for corresponding simulation based performance analysis. Because such closely related CP-nets models are utilized where every occurrence sequence in the performance model corresponds to an occurrence sequence in its functional model, it is guaranteed that both models satisfy the functionality requirements of protocol systems. Besides, model maintenance becomes more convenient.","PeriodicalId":266363,"journal":{"name":"2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2010-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113970031","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

Bagging of Complementary Neural Networks with Double Dynamic Weight Averaging 双动态权平均互补神经网络的Bagging

2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Pub Date : 2010-06-09 DOI: 10.1109/SNPD.2010.34

S. Nakkrasae, P. Kraipeerapun, S. Amornsamankul, L. Fung

{"title":"Bagging of Complementary Neural Networks with Double Dynamic Weight Averaging","authors":"S. Nakkrasae, P. Kraipeerapun, S. Amornsamankul, L. Fung","doi":"10.1109/SNPD.2010.34","DOIUrl":"https://doi.org/10.1109/SNPD.2010.34","url":null,"abstract":"Ensemble technique has been widely applied in regression problems. This paper proposes a novel approach of the ensemble of Complementary Neural Network (CMTNN) using double dynamic weight averaging. In order to enhance the diversity in the ensemble, different training datasets created based on bagging technique are applied to an ensemble of pairs of feed-forward back-propagation neural networks created to predict the level of truth and falsity values. In order to obtain more accuracy, uncertainties in the prediction of truth and falsity values are used to weight the prediction results in two steps. In the first step, the weight is used to average the truth and the falsity values whereas the weight in the second step is used to calculate the final regression output. The proposed approach has been tested with benchmarking UCI data sets. The results derived from our technique improve the prediction performance while compared to the traditional ensemble of neural networks which is predicted based on only the truth values. Furthermore, the obtained results from our novel approach outperform the results from the existing ensemble of complementary neural network.","PeriodicalId":266363,"journal":{"name":"2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2010-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133940783","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

User and Item Pattern Matching in Multi-criteria Recommender Systems 多标准推荐系统中的用户和项目模式匹配

2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Pub Date : 2010-06-09 DOI: 10.1109/SNPD.2010.13

Pittaya Poompuang, W. Premchaiswadi

引用次数: 5

Co-design of the Business and Software Architectures: A Systems Engineering and Model-Driven Method 共同设计业务和软件架构：系统工程和模型驱动方法

2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Pub Date : 2010-06-09 DOI: 10.1109/SNPD.2010.39

Xiaofeng Cui

引用次数: 2

Analogies and Differences between Machine Learning and Expert Based Software Project Effort Estimation 机器学习和基于专家的软件项目工作量估算的类比和区别

2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Pub Date : 2010-06-09 DOI: 10.1109/SNPD.2010.47

J. Cuadrado-Gallego, Pablo Rodríguez-Soria, Borja Martín-Herrera

引用次数: 17