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

Conferences in Research and Practice in Information technology Series 2006年 52卷 7-10页

作者： Fincher, Sally Lister, Raymond Pears, Arnold Sheard, Judy Tenenberg, Josh Young, Alison Computing Laboratory University of Kent United Kingdom Faculty of Information Technology University of Technology Sydney Australia Dept of Information Technology Uppsala University Sweden School of Computer Science and Software Engineering Monash University Australia Computing and Software Systems Institute of Technology University of Washington United States Computing and Information Technology Unitec Auckland New Zealand

来源：评论

学校读者我要写书评

暂无评论

Multi-institutional teaching communities in computer education 06

Multi-institutional teaching communities in computer educati...

引用

ACM SIGCSE-SIGCUE Technical Symposium on computer Science and Education

作者： Sally Fincher Raymond Lister Arnold Pears Judy Sheard Josh Tenenberg Alison Young Computing Laboratory University of Kent United Kingdom Faculty of Information Technology University of Technology Sydney Australia Dept of Information Technology Uppsala University Sweden School of Computer Science and Software Engineering Monash University Australia Computing and Software Systems Institute of Technology University of Washington United States of America Computing and Information Technology Unitec Auckland New Zealand

来源：评论

学校读者我要写书评

暂无评论

Contract-based mutation for testing components

Contract-based mutation for testing components

引用

21st IEEE International Conference on software Maintenance, ICSM 2005

作者： Jiang, Ying Hou, Shan-Shan Shan, Jin-Hui Zhang, Lu Xie, Bing Institute of Software School of Electronics Engineering and Computer Science Peking University Beijing 100871 China Faculty of Information Engineering and Automation Kunming University of Science and Technology Kunming 650093 China

ISBN: (纸本)0769523684

Testing plays an important role in the maintenance of Component Based software Development. Test adequacy for component testing is one of the hardest issues for component testing. To tackle this problem, it is a natural idea to apply mutation testing, which is a fault-based testing method used for measuring test adequacy, for component contracts, whose aim is to improve the testability of the component. Though powerful, mutation testing is usually very computationexpensive, as many mutants need to be produced and executed in mutation testing. In this paper, we propose a contract-based mutation technique for testing components. Based on the discordance between contracts and specification, our approach employs a set of high level contract mutation operators. The experimental results show that these operators can greatly reduce the number of mutants compared with traditional mutation operators. At the same time, the contract-based mutation using our contract mutation operators can provide almost the same ability as that of using traditional mutation operators. Moreover, effective test suite can be produced to reduce the maintenance effort. © 2005 IEEE.

关键词： computer software

来源：评论

学校读者我要写书评

暂无评论

A study of service composition with QoS management

A study of service composition with QoS management

引用

2005 IEEE International Conference on Web Services, ICWS 2005

作者： Fung, Casey K. Hung, Patrick C. K. Wang, Guijun Linger, Richard C. Walton, Gwendolyn H. Engineering and Information Technology Boeing Phantom Works United States Faculty of Business and Information Technology University of Ontario Institute of Technology Canada Software Engineering Institute Carnegie Mellon University United States Mathematics and Computer Science Dept. Florida Southern College United States

ISBN: (纸本)0769524095

Quality of Services (QoS) management in compositions of services requires careful consideration of QoS characteristics of the services and effective QoS management in their execution. A Web service is a software system that supports interoperable application-to-application interaction over the Internet. Web services are based on a set of XML standards such as Simple Object Access Protocol (SOAP). The interactions of SOAP messages between Web services form the theoretical model of SOAP Message Exchange Patterns (MEP). Web Services Business Process Execution Language (WSBPEL) defines an interoperable integration model that facilitates automated process integration in intra- and inter-corporate environments. A service-level agreement (SLA) is a formal contract between a Web services requestor and provider guaranteeing quantifiable issues at defined levels only through mutual concessions. Based on a prior research work on Message Detail Record (MDR), this paper further proposes a SOAP message tracking model for supporting QoS end-to-end management in the context of WSBPEL and SLA. This paper motivates the study of QoS management in a Web service composition framework with the evolution of a distributed toolkit in an industrial setting.

关键词： Telecommunication services

来源：评论

学校读者我要写书评

暂无评论

Contract-based mutation for testing components

Contract-based mutation for testing components

引用

International Conference on software Maintenance (ICSM)

作者： Ying Jiang Shan-Shan Hou Jin-Hui Shan Lu Zhang Bing Xie Institute of Software School of Electronics Engineering and Computer Science Peking University Beijing China Faculty of Information Engineering and Automation Kunming University of Science and Technology Kunming China

Testing plays an important role in the maintenance of component based software development. Test adequacy for component testing is one of the hardest issues for component testing. To tackle this problem, it is a natural idea to apply mutation testing, which is a fault-based testing method used for measuring test adequacy, for component contracts, whose aim is to improve the testability of the component. Though powerful, mutation testing is usually very computation-expensive, as many mutants need to be produced and executed in mutation testing. In this paper, we propose a contract-based mutation technique for testing components. Based on the discordance between contracts and specification, our approach employs a set of high level contract mutation operators. The experimental results show that these operators can greatly reduce the number of mutants compared with traditional mutation operators. At the same time, the contract-based mutation using our contract mutation operators can provide almost the same ability as that of using traditional mutation operators. Moreover, effective test suite can be produced to reduce the maintenance effort.

关键词： Genetic mutations Contracts software testing software reusability software maintenance Electronic equipment testing Programming Application software computer science Automation

来源：评论

学校读者我要写书评

暂无评论

A study of service composition with QoS management

A study of service composition with QoS management

引用

IEEE International Conference on Web Services (ICWS)

作者： C.K. Fung P.C.K. Hung G. Wang R.C. Linger G.H. Walton Engineering and Information Technology Boeing-Phantom Works USA Faculty of Business and Information Technology Institute of Technology University of Ontario Canada Software Engineering Institute Carnegie Mellon University USA Mathematics and Computer Science Department Florida Southern College USA

Quality of service (QoS) management in compositions of services requires careful consideration of QoS characteristics of the services and effective QoS management in their execution. A Web service is a software system that supports interoperable application-to-application interaction over the Internet. Web services are based on a set of XML standards such as simple object access protocol (SOAP). The interactions of SOAP messages between Web services form the theoretical model of SOAP message exchange patterns (MEP). Web Services Business Process Execution Language (WSBPEL) defines an interoperable integration model that facilitates automated process integration in intra- and inter-corporate environments. A service-level agreement (SLA) is a formal contract between a Web services requestor and provider guaranteeing quantifiable issues at defined levels only through mutual concessions. Based on a prior research work on message detail record (MDR), this paper further proposes a SOAP message tracking model for supporting QoS end-to-end management in the context of WSBPEL and SLA. This paper motivates the study of QoS management in a Web service composition framework with the evolution of a distributed toolkit in an industrial setting.

关键词： Quality of service Web services Simple object access protocol Service oriented architecture Quality management Information technology Imaging phantoms software systems Web and internet services Delay

来源：评论

学校读者我要写书评

暂无评论

Extending Business Process Execution Language for Web Services with Service Level Agreements Expressed in Computational Quality Attributes

Extending Business Process Execution Language for Web Servic...

引用

Annual Hawaii International Conference on System Sciences (HICSS)

作者： C.K. Fung P.C.K. Hung R.C. Linger G.H. Walton Boeing Phantom Works Mathematics and Computing Technology USA Faculty of Business and Information Institute of Technology University of Ontario Canada Software Engineering Institute Carnegie Mellon University USA Mathematics and Computer Science Department Florida Southern College USA

Quality of Service (QoS) management is critical for service-oriented enterprise architectures because services have different QoS characteristics, requesters have different requirements, and service interactions are decoupled. This paper proposes a QoS Management Architecture for dynamic processing of service- and flow-level quality attributes to support QoS requests and analyses in Web-service-oriented architectures. The architecture is implemented using Business Process Execution Language for Web Services (BPEL4WS), an interoperable integration model that facilitates automated process integration). The proposed approach extends BPEL4WS by integrating it with Web service-level agreements (WSLA) to support QoS and extending the BPEL4WS language to provide a new " " assertion that describes the location of a document's WSLA document. Under the proposed approach, quality attributes are defined, computed, and acted upon as dynamic characteristics of systems, with values constantly changing in operation The feasibility of the proposed approach is demonstrated using an illustrative travel reservation service flow example.

关键词： Web services Quality of service Service oriented architecture computer architecture Mathematics Quality management Delay Resource management Imaging phantoms Information technology

来源：评论

学校读者我要写书评

暂无评论

Modelling code mobility and migration: An OPM/Web approach

引用

International Journal of Web engineering and technology 2005年第1期2卷 6-28页

作者： Reinhartz-Berger, Iris Dori, Dov Katz, Shmuel Technion Israel Institute of Technology Technion City Haifa 32000 Israel Department of Management Information Systems University of Haifa Israel Information Systems Engineering Area Faculty of Industrial Engineering and Management Technion Israel Institute of Technology Israel MIT Cambridge United States Computer Science Department Technion Israel Institute of Technology Israel Systems and Software Development Laboratory Israel

Web applications exhibit dynamic behaviour through such features as animation, rapidly changing presentations, and interactive forms. The growing complexity of web applications requires a rigorous modelling approach capable of clearly and explicitly addressing code mobility issues. While mobile agent systems and programming languages support the implementation of code mobility with features such as applets or mobile agents, existing system analysis and design methods lack the facilities to model code mobility satisfactorily. OPM/Web is an extension of object-process methodology (OPM) for modelling distributed systems and web applications that enables intuitive modelling of code mobility concepts in a single framework. We propose generic OPM/Web models for common code mobility design paradigms, including Remote Evaluation, Code-on-Demand, PUSH and Mobile Agents. An OPM/Web model of a mobile application that handles requests for Quality of Service over the internet exemplifies the use and advantages of modelling such systems in OPM/Web. Copyright © 2005 Inderscience Enterprises Ltd.

关键词： World Wide Web

来源：评论

学校读者我要写书评

暂无评论

Dynamic LOD on GPU

Dynamic LOD on GPU

引用

computer Graphics International

作者： Junfeng Ji Enhua Wu Sheng Li Xuehui Liu Lab. of Comput. Sci. Chinese Acad. of Sci. Beijing China Laboratory of Computer Science Institute of Software Chinese Academy and Sciences Beijing China Faculty of Science and Technology University of Macau Macao China School of Electronics Engineering & Computer Science Peking University Beijing China

ISBN: (纸本)15301052

This paper presents a novel approach to implementing dynamic LOD on GPU. For our purpose, a quadtree structure is created based on seamless geometry image atlas, which is a 3D surface representation in parameter space by combining the features of geometry images and poly-cube maps. All the nodes in the quadtree are packed into the atlas textures. There are two rendering passes in our approach. In the first pass, the LOD selection is performed in the fragment shaders. The resultant buffer is taken as the input texture to the second rendering pass by vertex texturing, and thus the node culling and triangulation can be performed in the vertex shaders. Our LOD algorithm can generate adaptive meshes dynamically, and can be fully implemented on GPU. It improves the efficiency of LOD selection, and alleviates the computing load on CPU.

关键词： Geometry Rendering (computer graphics) Graphics Hardware Pixel Concurrent computing Runtime Mesh generation Digital elevation models Image converters

来源：评论

学校读者我要写书评

暂无评论

A hybrid method for real-time animation of trees swaying in wind fields

引用

VISUAL computer 2004年第10期20卷 613-623页

作者： Ota, S Tamura, M Fujimoto, T Muraoka, K Chiba, N Iwate Software Center Japan Department of Computer and Information Sciences Faculty of Engineering Iwate University Japan Department of Communications Engineering Tohoku Institute of Technology Japan

Trees are one of the most important elements of natural landscapes. Therefore, in computer graphics, there is a great demand for methods to realize the natural representation of trees in virtual landscapes in various fields such as the entertainment industry or environmental assessment in construction. Many studies have been made on techniques in which the shapes of trees are modeled but only a few studies have been reported on methods to incorporate the shapes with motions in a wind field. Most of these studies use physical simulation techniques based on the equations of motion to generate the branch motions and cannot realize the motions of individual leaves. In this paper, we propose a method to create the natural motions of individual leaves and branches swaying in a wind field. The proposed method uses a hybrid approach combining a stochastic method and a simulation method. The stochastic method is based on 1/f(beta) stop noise, which is observed in various natural phenomena, and provides natural motion to leaves and branches. In addition, a simple simulation method based on the spring model is applied to branches to enhance the reality of their motions. This method enables the real-time creation of the leaf and branch motions. Diverse motions according to tree species and shapes and wind conditions can be easily realized by controlling the parameters.

关键词： tree motion wind 1/f(beta) noise real-time animation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：