检索结果-内蒙古大学图书馆

5th Workshop on software engineering for Large-Scale Multi-Agent systems, SELMAS 2006

作者： Shah, Nazaraf Chao, Kuo-Ming Godwin, Nick Software Engineering Research Group Sheffield Hallam University Sheffield United Kingdom DSM Research Group Department of Computer and Network Systems Coventry University Coventry United Kingdom

ISBN: (纸本)9783540731306

Multi-Agent systems (MAS) are collection of loosely coupled intelligent agents. These systems operate in a distributed, highly dynamic, unpredictable and unreliable environment in order to meet their overall goals. Agents in such an environment are vulnerable to different types of run time exceptions. It is necessary to have an effective exception diagnosis and resolution mechanism in place in order to ensure reliable interactions between agents. In this paper, we propose novel exception diagnosis architecture for open MAS. The proposed architecture classifies the runtime exceptions and diagnoses the underlying causes of exceptions using a heuristic classification technique. The proposed architecture is realised in terms of specialised exception diagnosing agents known as sentinel agents. The sentinel agents act as delegates of problem solving agents and mediate interactions between them. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

A Robust and Low-Complexity Gas Recognition Technique for On-Chip Tin-Oxide Gas Sensor Array

引用

Journal of Sensors 2008年第1期2008卷

作者： Farid Flitti Aicha Far Bin Guo Amine Bermak School of Computer Science and Software Engineering The University of Western Australia 35 Stirling Highway CRAWLEY WA 6009 Australiauwa.edu.au Smart Sensory Integrated Systems Lab ECE Department The Hong Kong University of Science and Technology Clear Water Bay Kowloon Hong Kongust.hk

Gas recognition is a new emerging research area with many civil, military, and industrial applications. The success of any gas recognition system depends on its computational complexity and its robustness. In this work, we propose a new low-complexity recognition method which is tested and successfully validated for tin-oxide gas sensor array chip. The recognition system is based on a vector angle similarity measure between the query gas and the representatives of the different gas classes. The latter are obtained using a clustering algorithm based on the same measure within the training data set. Experimented results on our in-house gas sensors array show more than 98 % of correct recognition. The robustness of the proposed method is tested by recognizing gas measurements with simulated drift. Less than 1 % of performance degradation is noted at the worst case scenario which represents a significant improvement when compared to the current state-of-the-art.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Evaluation of medical image watermarking with tamper detection and recovery (AW-TDR)

Evaluation of medical image watermarking with tamper detecti...

引用

29th Annual International Conference of IEEE-EMBS, engineering in Medicine and Biology Society, EMBC'07

作者： Zain, Jasni M. Fauzi, Abdul R. M. IEEE Faculty of Computer Systems and Software Engineering University Malaysia Pahang Locked Bag 12 25000 Kuantan Pahang Malaysia Department of Internal Medicine International Islamic University Kuantan Pahang

ISBN: (纸本)1424407885

This paper will study and evaluate watermarking technique by Zain and Fauzi [1]. Recommendations will then be made to enhance the technique especially in the aspect of recovery or reconstruction rate for medical images. A proposal will also be made for a better distribution of watermark to minimize the distortion of the Region of Interest (ROI). The final proposal will enhance AW-TDR in three aspects;firstly the image quality in the ROI will be improved as the maximum change is only 2 bits in every 4 pixels, or embedding rate of 0.5 bits/pixel. Secondly the recovery rate will also be better since the recovery bits are located outside the region of interest. The disadvantage in this is that, only manipulation done in the ROI will be detected. Thirdly the quality of the reconstructed image will be enhanced since the average of 2 × 2 pixels would be used to reconstruct the tampered image. © 2007 IEEE.

关键词： Digital watermarking

来源：评论

学校读者我要写书评

暂无评论

Five years of success: Some outcomes of the Carnegie Mellon Information Assurance Capacity Building Program

Five years of success: Some outcomes of the Carnegie Mellon ...

引用

24th Information systems Education Conference, ISECON 2007

作者： Sledge, Carol Manson, Daniel P. Berta, Anna Maria Tsamitis, Dena Haritos Software Engineering Institute Carnegie Mellon University Pittsburgh PA 15213 United States Computer Information Systems Department California State Polytechnic University Pomona Pomona CA 91768 United States

In July 2007 Carnegie Mellon University (Carnegie Mellon®) hosted its sixth annual offering of the Information Assurance Capacity Building Program (IACBP). The goal of the intensive in-residence summer program is to help build Information Assurance education and research capacity at minority-serving universities. Since 2002, in the first 5 editions, over 45 faculty have participated in the month-long intensive program, which has resulted in the development of a number of new offerings at partner schools, including updates to existing courses, new courses, certificate programs and degree programs. Carnegie Mellon has also supported regional information assurance symposiums and mini-boot camps, additional information assurance grants, and a number of research projects and publications involving faculty and students at partner schools, as well as multi-institution collaborative centers. Throughout the planning and implementation the Carnegie Mellon IACBP goal has been on choosing faculty and university programs that are committed to information assurance curriculum development, teaching and research. As a result, a high level of success has been achieved by faculty and their programs. One example of this success is California State Polytechnic University, Pomona (Cal Poly Pomona), which became a designated Center of Academic Excellence (CAE) in Information Assurance in 2005. The purpose of this paper is to highlight the success of the IACBP and the experience of Cal Poly Pomona and subsequent designation as a CAE. A symposium recently brought back graduates of the IACBP to share outcomes. A recent survey was also conducted of IACBP attendees to document IA education, training and outreach activities. The results provide strong evidence of Carnegie Mellon IACBP successes. © 2007 EDSIG.

关键词： Information systems

来源：评论

学校读者我要写书评

暂无评论

A compositional method for the synthesis of asynchronous communication mechanisms

引用

28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency

作者： Gorgonio, Kyller Cortadella, Jordi Xia, Fei Embedded Systems and Pervasive Computing Laboratory Federal University of Campina Grande Brazil Department of Software Universitat Politécnica de Catalunya Spain School of Electrical Electronic and Computer Engineering University of Newcastle Upon Tyne United Kingdom

ISBN: (纸本)9783540730934

Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ACM synthesis method based on the generation of the reachability graph and the theory of regions was proposed. In this paper, we propose a new synthesis method based on the composition of Petri net modules, avoiding the exploration of the reachability graph. The behavior of ACMs is formally defined and correctness properties are specified in CTL. Model checking is used to verify the correctness of the Petri net models. The algorithms to generate the Petri net models are presented. Finally, a method to automatically generate C++ source code from the Petri net model is described.

关键词： asynchronous communication mechanisms Petri nets concurrent systems synthesis model checking protocols

来源：评论

学校读者我要写书评

暂无评论

A modal logic for beliefs and pro attitudes

A modal logic for beliefs and pro attitudes

引用

AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference

作者： Su, Kaile Sattar, Abdul Lin, Han Reynolds, Mark Institute for Integrated and Intelligent Systems Griffith University Brisbane Australia Key Laboratory of High Confidence Software Technologies Ministry of Education Peking University Beijing China Department of Computer Science Sun Yat-Sen University Guangzhou China School of Computer Science and Software Engineering University of Western Australia Perth Australia

ISBN: (纸本)1577353234

Agents' pro attitudes such as goals, intentions, desires, wishes, and judgements of satisfactoriness play an important role in how agents act rationally. To provide a natural and satisfying formalization of these attitudes is a longstanding problem in the community of agent theory. Most of existing modal logic approaches are based on Kripke structures and have to face the so-called side-effect problem. This paper presents a new modal logic formalizing agents' pro attitudes, based on neighborhood models. There are three distinguishing features of this logic. Firstly, this logic naturally satisfies Bratman's requirements for agents' beliefs and pro attitudes, as well as some interesting properties that have not been discussed before. Secondly, we give a sound and complete axiom system for characterizing all the valid properties of beliefs and pro attitudes. We introduce for the first time the notion of linear neighborhood frame for obtaining the semantic model, and this brings a new member to the family of non-normal modal logics. Finally, we argue that the present logic satisfies an important requirement proposed from the viewpoint of computation, that is, computational grounding, which means that properties in this logic can be given an interpretation in terms of some concrete computational model. Indeed, the presented neighborhood frame can be naturally derived from probabilistic programming with utilities. Copyright © 2007, Association for the Advancement of Artificial Intelligence (***). All rights reserved.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Multi-Objective Genetic Algorithm to Support Class Responsibility Assignment

Multi-Objective Genetic Algorithm to Support Class Responsib...

引用

International Conference on software Maintenance (ICSM)

作者： Michael Bowman Lionel C. Briand Yvan Labiche Software Quality Engineering Laboratory Department of Systems and Computer Engineering Carleton University Ottawa ONT Canada

Class responsibility assignment is not an easy skill to acquire. Though there are many methodologies for assigning responsibilities to classes, they all rely on human judgment and decision making. Our objective is to provide decision-making help to re-assign methods and attributes to classes in a class diagram. Our solution is based on a multi-objective genetic algorithm (MOGA) and uses class coupling and cohesion measurement. Our MOGA takes as input a class diagram to be optimized and suggests possible improvements to it. The choice of a MOGA stems from the fact that there are typically many evaluation criteria that cannot be easily combined into one objective, and several alternative solutions are acceptable for a given OO domain model. This article presents our approach in detail, our decisions regarding the multi-objective genetic algorithm, and reports on a case study. Our results suggest that the MOGA can help correct suboptimal class responsibility assignment decisions.

关键词： Genetic algorithms Object oriented modeling Decision making Context modeling Unified modeling language Genetic engineering Humans software quality Laboratories systems engineering and theory

来源：评论

学校读者我要写书评

暂无评论

Mobile game development: Object-orientation or not

Mobile game development: Object-orientation or not

引用

31st Annual International computer software and Applications Conference, COMPSAC 2007

作者： Zhang, Weishan Han, Dong Kunz, Thomas Hansen, Klaus Marius School of Software Engineering Tongji University No. 1239 Siping Road Shanghai 200092 China Department of Computer Science Anhui Vocational College of Electronics and IT Anhui 233030 China Department of Systems and Computer Engineering Carleton University Ottawa K1S 5B6 Canada Computer Science Department University of Aarhus Aabogade 34 8200 Aarhus N Denmark

ISBN: (纸本)9780769528700

Mobile games are one of the primary entertainment applications at present. Limited by scarce resources, such as memory, CPU, input and output, etc, mobile game development is more difficult than desktop application development, with performance as one of the top critical requirements. As object-oriented technology is the prevalent programming paradigm, most of the current mobile games are developed with object-orientation (OO) technologies. Intuitively OO is not a perfect paradigm for embedded software. Questions remain such as how OO and to what degree OO will affect the performance, executable file size, and how optimization strategies can improve the qualities of mobile game software. These questions are investigated in this paper within the mobile Role-Playing-Game (RPG) domain using five industrial mobile games developed with OO. We analyzed them and found excessive usage of OO features used for the development of mobile device applications (but normal for usual desktop applications). We then apply some optimization strategies along the way of structural programming. The experiment shows that the total jar file size of these five optimized games decreases 71%, the lines of codes decreases 59%, and the loading time of each optimized game decreases 22.73%, 34.62%, 25.79%, 24.65% and 16.70% respectively. Therefore, we conclude from our experiments that OO should be used with great care in the development of mobile games, and that structural programming can be a very competitive alternative. © 2007 IEEE.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Testing Intrusion Detection systems in MANET: A Comprehensive Study

Testing Intrusion Detection Systems in MANET: A Comprehensiv...

引用

Annual Conference on Communication Networks and Services Research (CNSR)

作者： Hadi Otrok Joey Paquet Mourad Debbabi Prabir Bhattacharya Concordia Institute for Information Systems Engineering Department Computer Security Laboratory Computer Science and Software Engineering Department Concordia University Montreal QUE Canada

In this paper, we study the problem of testing intrusion detection systems (IDS) in mobile ad hoc networks (MANET). Testing is achieved by simulating different measurements. We modify the testing measurements of infrastructure-based networks to be compatible with the characteristics of MANET. Moreover, we add some new features and their associated measurements that we believe important for testing new proposed IDS. The modified measurements with the new added ones form a set of measurements that will be used throughout the testing process. To the best of our knowledge, there has not been any work done for testing IDS in MANET. Simulators are the most common tools used for testing the IDS. Therefore, we add some precautions for choosing a simulator and a list of available simulators. The precautions will help researchers to test the measurements efficiently and the list of simulators will guide them to select one according to their needs. Finally, we present some input parameter precautions that help on having more trustworthy testing results.

关键词： System testing Intrusion detection Mobile ad hoc networks Wireless sensor networks Ad hoc networks software testing Computational modeling Personal digital assistants Wireless networks Monitoring

来源：评论

学校读者我要写书评

暂无评论

Can graduating students design software systems

Can graduating students design software systems

引用

37th SIGCSE Technical Symposium on computer Science Education

作者： Eckerdal, Anna McCartney, Robert Moström, Jan Erik Ratcliffe, Mark Zander, Carol Department of Information Technology Uppsala University Uppsala Sweden Department of Computer Science and Engineering University of Connecticut Storrs CT 06269 United States Department of Computing Science Umeå University 901 87 Umeå Sweden Department of Computer Science University of Wales Aberystwyth United Kingdom Computing and Software Systems University of Washington Bothell Bothell WA United States

This paper examines software designs produced by students nearing completion of their computer Science degrees. The results of this multi-national, multi institutional experiment present some interesting implications ... 详细信息

ISBN: (纸本)9781595932594

关键词： systems analysis

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：