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

Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2010年 5969 LNCS卷 V-VI页

作者： Van Den Brand, Mark Gaševíc, Dragan Gray, Jeff Dept. of Mathematics and Computer Science Software Engineering and Technology Eindhoven University of Technology Den Dolech 2 5612 AZ Eindhoven Netherlands School of Computing and Information Systems Athabasca University 1 University Drive Athabasca AB T9S 3A3 Canada Department of Computer Science University of Alabama P.O. Box 870290 Tuscaloosa AL United States

来源：评论

学校读者我要写书评

暂无评论

Architecture Based Reliability and Testing Estimation for Mobile Applications

Architecture Based Reliability and Testing Estimation for Mo...

引用

作者： Wadhwani, Vickey Memon, Fiaz Hameed, M. Muzaffar Blekinge Institute of Technology Department of Systems and Software Engineering Sweden University of Sindh Institute of Mathematics and Computer Science Jamshoro Pakistan

ISBN: (纸本)9783540898528

We propose an architecture-based testing and reliability framework for mobile applications. During our literature study, we explored some of the software testing and reliability techniques available, as well as investigating the techniques that are being used by industry. This paper presents case studies of two companies that are developing mobile applications. These are helpful for finding the strengths and weaknesses of existing software testing and reliability techniques. In light of these strengths and weaknesses, we propose a framework of architecture-based software testing and reliability estimation for mobile applications. © Springer-Verlag Berlin Heidelberg 2008.

关键词： software reliability

来源：评论

学校读者我要写书评

暂无评论

On the application of predictive control techniques for adaptive performance management of computing systems

引用

IEEE Transactions on Network and Service Management 2009年第4期6卷 212-225页

作者： Abdelwahed, Sherif Bai, Jia Su, Rong Kandasamy, Nagarajan Department of Electrical and Computer Engineering Mississippi State University Mississippi State MS 39759 United States Institute for Software Integrated Systems Vanderbilt University Nashville TN 37235 United States Department of Mathematics and Computer Science Eindhoven Univ. of Technology Eindhoven Netherlands Department of Electrical and Computer Engineering Drexel University Philadelphia PA 19104 United States

This paper addresses adaptive performance management of real-time computing systems. We consider a generic model-based predictive control approach that can be applied to a variety of computing applications in which the system performance must be tuned using a finite set of control inputs. The paper focuses on several key aspects affecting the application of this control technique to practical systems. In particular, we present techniques to enhance the speed of the control algorithm for real-time systems. Next we study the feasibility of the predictive control policy for a given system model and performance specification under uncertain operating conditions. The paper then introduces several measures to characterize the performance of the controller, and presents a generic tool for system modeling and automatic control synthesis. Finally, we present a case study involving a real-time computing system to demonstrate the applicability of the predictive control framework. © 2009 IEEE.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

A Flexible Framework for Quality Assurance of software Artefacts with Applications to Java, UML, and TTCN-3 Test Specifications

A Flexible Framework for Quality Assurance of Software Artef...

引用

International Conference on software Testing, Verification, and Validation, ICST

作者： Jens Nödler Helmut Neukirchen Jens Grabowski Software Engineering for Distributed Systems Group Institute for Computer Science Faculty for Mathematics and Computer Science University of Göttingen Gottingen Germany Faculty of Industrial Engineering Mechanical Engineering and Computer Science University of Iceland Reykjavik Iceland

Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefacts. Usually, software analysis tools are implemented for analysing only one specific language as target and for performing only one class of analyses. Furthermore, most software analysis tools support only common programming languages, but not those domain-specific languages that are used in a test process. As a solution, a framework for software analysis is presented that is based on a flexible, yet high-level facade layer that mediates between analysis rules and the underlying target software artefact; the analysis rules are specified using high-level XQuery expressions. Hence, further rules can be quickly added and new types of software artefacts can be analysed without needing to adapt the existing analysis rules. The applicability of this approach is demonstrated by examples from using this framework to calculate metrics and detect bad smells in Java source code, in UML models, and in test specifications written using the testing and test control notations (TTCN-3).

关键词： Quality assurance software quality Application software Java Unified modeling language software testing software tools Performance analysis Inspection software performance

来源：评论

学校读者我要写书评

暂无评论

Measuring Size of Business Process From Use Case Description

Measuring Size of Business Process From Use Case Description

引用

2009 2nd IEEE International Conference on computer science and Information Technology（ICCSIT 2009）

作者： Kanjan Dhammaraksa Sarun Intakosum Software Systems Engineering Laborator Department of Mathematics and Computer Science Faculty of ScienceKing Mongkut's Institute of Technology LadkrabangBangkokThailand

The purpose of this paper is to present a new size metric for business process *** metric aims to measure size of process from use case *** metric consists of four series to support four perspectives of business process:functional,behavioral,informational and *** addition,the guidance for pointing to related use case elements is included in each *** this paper,each size of perspective which measured from the new metric can use for indicating the number of business process elements are represented by UML-activity *** the example of the metric is only one,it is possible to apply for another modeling method such as BPMN,Petri Net and EPC.

关键词： Size metric,Business process,Use case description

来源：评论

学校读者我要写书评

暂无评论

Retrieving Design Patterns by Case-Based Reasoning and Formal Concept Analysis

Retrieving Design Patterns by Case-Based Reasoning and Forma...

引用

2009 2nd IEEE International Conference on computer science and Information Technology（ICCSIT 2009）

作者： Weenawadee Muangon Sarun Intakosum Software Systems Engineering Laboratory Department of Mathematics and Computer Science Faculty of ScienceKing Mongkut's Institute of Technology LadkrabangBangkokThailand

Design patterns are applied to solve the recurring software design problems,Unfortunately,choosing appropriate design patterns for the specific design problem is considered a difficult task.A search tool is,therefore,needed to supports selection,However,the existing design pattern searching methodologies generally have problems on keywordsearch *** this paper,we proposed an initial model to solve the problem by using Case-Based Reasoning(CBR) and Formal Concept Analysis(FCA).For the proposed model,a case base is created to represent design *** is used to be case organization that analyze case base for obtain knowledge embedded,The knowledge can suggest suitable indexes to use for new *** method is beneficial for learning index,This paper discusses the basis theoretical of representation and retrieval design patterns for this inprogress research,along with some preliminary result.

关键词： Design pattern,Case Based Reasoning,Formal Concept Analysis,Design pattern retrieval,Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

Adaptation of Design Pattern Retrieval Using CBR and FCA

Adaptation of Design Pattern Retrieval Using CBR and FCA

引用

International Conference on computer sciences and Convergence Information Technology (ICCIT)

作者： Weenawadee Muangon Sarun Intakosum Software Systems Engineering Laboratory Department of Mathematics and Computer Science Faculty of Science King Mongkut's Institute of Technology Ladkrabang Bangkok Thailand

ISBN: (纸本)9781424452446

software developers currently find design patterns through search tools for solving software design problem. However, these search tools still have keyword-search problem. In this paper, we introduce the elementary idea to improve the design pattern retrieval tool. We propose the combination of case based reasoning (CBR) and formal concept analysis (FCA). Because of CBR lead to the smart solution and FCA provides flexible way to maintain indexing in the case base.

关键词： software design Information retrieval mathematics software systems Design engineering systems engineering and theory Laboratories computer science Knowledge representation Lattices

来源：评论

学校读者我要写书评

暂无评论

Reports of the AAAI 2009 spring symposia

Reports of the AAAI 2009 spring symposia

引用

作者： Bao, Jie Bojars, Uldis Choudhury, Tanzeem Ding, Li Greaves, Mark Kapoor, Ashish Louchart, Sandy Mehta, Manish Nebel, Bernhard Nirenburg, Sergei Oates, Tim Roberts, David L. Sanfilippo, Antonio Stojanovic, Nenad Stubbs, Kristen Thomaz, Andrea L. Tsui, Katherine Woelfl, Stefan Tetherless World Constellation Rensselaer Polytechnic Institute United States Social Software Unit of DERI Galway Ireland Computer Science Department Dartmouth College United States Knowledge Systems at Vulcan Inc United States Adaptive Systems and Interaction Group Microsoft Research Redmond United States School for Mathematics and Computer Sciences Heriot-Watt University United Kingdom School ot Interactive Computing Georgia Institute of Technology United States Department of Computer Science University of Freiburg Germany Computer Science and Electrical Engineering Department University of Maryland Baltimore County United States Pacific Northwest National Laboratory Richland WA United States University of Karlsruhe Germany IRobot Corporation United States University of Massachusetts Lowell United States

The Association for the Advancement of Artificial Intelligence, in cooperation with Stanford University's Department of computer science, was pleased to present the 2009 Spring Symposium Series, held Monday through Wednesday, March 23-25, 2009, at Stanford University. The titles of the nine symposia were Agents That Learn from Human Teachers, Benchmarking of Qualitative Spatial and Temporal Reasoning systems, Experimental Design for Real- World systems, Human Behavior Modeling, Intelligent Event Processing, Intelligent Narrative Technologies II, Learning by Reading and Learning to Read, Social Semantic Web: Where Web 2.0 Meets Web 3.0, and Technosocial Predictive Analytics. The goal of the Agents That Learn from Human Teachers symposium was to investigate how we can enable software and robotics agents to leam from real-time interaction with an everyday human partner. The aim of the Benchmarking of Qualitative Spatial and Temporal Reasoning systems symposium was to initiate the development of a problem repository in the field of qualitative spatial and temporal reasoning and identify a graded set of challenges for future midterm and long-term research. The Experimental Design symposium discussed the challenges of evaluating AI systems. The Human Behavior Modeling symposium explored reasoning methods for understanding various aspects of human behavior, especially in the context of designing intelligent systems that interact with humans. The Intelligent Event Processing symposium discussed the need for more Al-based approaches in event pro-cessing and defined a kind of research agenda for the field, coined as intelligent complex event processing (iCEP). The Intelligent Narrative Technologies IIAAAI symposium discussed innovations, progress, and novel techniques in the research domain. The Learning by Reading and Learning to Read symposium explored two aspects of making natural language texts semantically accessible to, and processable by, machines. The Social Semantic

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

A Skipping SvS Intersection Algorithm

A Skipping SvS Intersection Algorithm

引用

International Conference on Computing, engineering and Information, ICC

作者： Jaratdech Chatchaval Veera Boonjing Pisit Chanvarasuth Software Systems Engineering Laboratory Mathematics and Computer Science Department Faculty of Science King Mongkut''s Institute of Technology Ladkrabang Thailand School of Management Technology Sirindhorn International Institute of Technology Thammasat University Pathum Thani Thailand

In this paper, we propose to improve the SvS algorithm by skipping elements of the smaller set for reducing a search boundary. The boundary of skipped element is determined by boundaries of elements prior to and next to it. We perform experiments on uniformly distributed random datasets to compare our algorithm with the standard SvS. We use regression analysis to get an equation for determining an appropriate skipping number. Our results show that the skipping SvS algorithm using the equation obtained can reduce approximately 41% on the number of comparisons of the standard SvS algorithm.

关键词： Equations software algorithms software systems systems engineering and theory Laboratories mathematics computer science Conference management Technology management engineering management

来源：评论

学校读者我要写书评

暂无评论

An Experiment Study on Text Transformation for Compression Using Stoplists and Frequent Words

An Experiment Study on Text Transformation for Compression U...

引用

International Conference on Information Technology: New Generations (ITNG)

作者： Jirapond Tadrat Veera Boonjing Software Systems Engineering LaboratoryDepartment of Mathematics and Computer Science Science King Mongkut's Institute of Technology Ladkrabang Thailand

The paper presents a new text transform algorithm suitable for embedding in compression algorithms. The strategy the new algorithm employed to increase performance of text compression is to replace words with predefined codes. Instead of using a huge dictionary containing exhaustive words as in previous works, the new algorithm uses a list of stoplists and/or frequent words. The research devised different encoding schemes for such a list. It then made experiments of using these schemes with different compression algorithms on standard texts. The result shows that each scheme gives increasing compression when using with specific compression algorithms.

关键词： Dictionaries Encoding Compression algorithms Natural languages Information technology software systems systems engineering and theory Laboratories mathematics computer science

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：