2011 Malaysian Conference in Software Engineering最新文献_第4页

Empirical approach in ontology engineering: An assessment on novice modelers 本体工程中的经验方法:对新手建模者的评估

2011 Malaysian Conference in Software Engineering Pub Date : 2011-12-01 DOI: 10.1109/MYSEC.2011.6140724

Namiah Abu Osman, S. Ho, S. Haw

引用次数: 2

A comparative survey of aspect-oriented code generation approaches 面向方面的代码生成方法的比较调查

2011 Malaysian Conference in Software Engineering Pub Date : 2011-12-01 DOI: 10.1109/MYSEC.2011.6140660

A. Mehmood, D. Jawawi

引用次数: 9

Analyzing model checking approach for multi agent system verification 分析了多智能体系统验证的模型检查方法

2011 Malaysian Conference in Software Engineering Pub Date : 2011-12-01 DOI: 10.1109/MYSEC.2011.6140650

N. A. Bakar, A. Selamat

{"title":"Analyzing model checking approach for multi agent system verification","authors":"N. A. Bakar, A. Selamat","doi":"10.1109/MYSEC.2011.6140650","DOIUrl":"https://doi.org/10.1109/MYSEC.2011.6140650","url":null,"abstract":"During requirement specification process of software development activities, many existing systems or business process requirements have been captured using natural language or specialized tools such as UML. However, the capturing of informal requirements into formalized properties has not been taken into attention by software developers due to time and budget constraints. It is critical for the informally captured requirements to be formally specified in order to perform system verification. Formal verification checks whether a system model meets the formal specifications while validation checks whether the developed system fulfills its intended purpose. Therefore, in this paper, we present our studies of formal verification of multi agent system using model checking approach. We have utilized model checking tool in order to execute the formal verification procedures based on a particular basic theory to verify certain kind of properties of requirement specifications. We show an example of how model checking tool could support the verification of Universiti Teknologi Malaysia (UTM) multi agent online application system and conclude that the propose model checking approach will benefit multi agent system.","PeriodicalId":137714,"journal":{"name":"2011 Malaysian Conference in Software Engineering","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133507407","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

SOA-based business process for Supply Chain Management 供应链管理中基于soa的业务流程

2011 Malaysian Conference in Software Engineering Pub Date : 2011-12-01 DOI: 10.1109/MYSEC.2011.6140671

M. Mohammadi, M. Mukhtar

引用次数: 3

Software architecture reliability prediction models: An overview 软件架构可靠性预测模型:概述

2011 Malaysian Conference in Software Engineering Pub Date : 2011-12-01 DOI: 10.1109/MYSEC.2011.6140654

Furkh Zeshan, R. Mohamad

引用次数: 1

Investigating physical interaction complexities in embedded systems 研究嵌入式系统中物理交互的复杂性

2011 Malaysian Conference in Software Engineering Pub Date : 2011-12-01 DOI: 10.1109/MYSEC.2011.6140694

M. Ashraf, Masitah Ghazali

引用次数: 3

A file-based implementation of XML encryption 基于文件的XML加密实现

2011 Malaysian Conference in Software Engineering Pub Date : 2011-12-01 DOI: 10.1109/MYSEC.2011.6140709

Sea Chong Seak, Ng Kang Siong

引用次数: 11

Calendar agent with commonsense reasoning 具有常识性推理的日历代理

2011 Malaysian Conference in Software Engineering Pub Date : 2011-12-01 DOI: 10.1109/MYSEC.2011.6140705

P. Anthony, Ooi Yu Wooi

引用次数: 0

Reactive power load tracing via blended crossover continuous ant colony optimization 基于混合交叉连续蚁群优化的无功负荷跟踪

2011 Malaysian Conference in Software Engineering Pub Date : 2011-12-01 DOI: 10.1109/MYSEC.2011.6140704

Z. Hamid, I. Musirin, Muhammad Murtadha Othman, M. Rahim

引用次数: 2

Multifeature based retrieval of 2D and Color Doppler Echocardiographic images for clinical decision support 二维和彩色多普勒超声心动图图像的多特征检索为临床决策支持

2011 Malaysian Conference in Software Engineering Pub Date : 2011-12-01 DOI: 10.1109/MYSEC.2011.6140691

S. Nandagopalan, Sudarshan TSB, B. Adiga, C. Dhanalakshmi

{"title":"Multifeature based retrieval of 2D and Color Doppler Echocardiographic images for clinical decision support","authors":"S. Nandagopalan, Sudarshan TSB, B. Adiga, C. Dhanalakshmi","doi":"10.1109/MYSEC.2011.6140691","DOIUrl":"https://doi.org/10.1109/MYSEC.2011.6140691","url":null,"abstract":"Content Based Image Retrieval (CBIR) is the application of computer vision techniques to retrieve the most visually similar images from the image database for any given query image. The visual characteristics of a disease carry diagnostic information and oftentimes visually similar images correspond to the same disease category. In this paper we aim at building an efficient Content Based Echo Image Retrieval (CBEIR) system for 2D Echo (2DE) and Color Doppler Flow (CDF) image modalities. From 2DE images, features such as dimensions of cardiac chambers (area, volume, ejection fraction, etc) are extracted; whereas texture properties, kurtosis, skewness, edge gradient, color histogram, etc., are extracted from CDF images. Hence, this forms a multi-feature descriptor which then is used to retrieve similar images from the database. Some of the major contributions of our work are: modified K-Means segmentation algorithm coupled with PL/SQL and External Procedures to achieve speed, accurate detection of cardiac chambers using active contour model, efficient method to extract color segment from CDF images, and flexible multifeature model. These domain specific low-level features are very important to build a reliable and scalable CBIR model. The feature database is a set of quantitative and qualitative features of the images. Our image database is populated with diverse set of approximately 623 images of normal and abnormal patients acquired from a local cardiology Hospital. Exhaustive experimentation has been conducted with various input query images and combinations of features to compute the retrieval efficiency which are validated by domain experts. It has been shown through Recall-Precision graphs that the proposed method outperforms compared to others reported in the past.","PeriodicalId":137714,"journal":{"name":"2011 Malaysian Conference in Software Engineering","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126279193","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