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

IEEE 2005 International Conference on Emerging Technologies, ICET 2005

作者： Muhammad, Kamran Shi, Feng Suhail, Aftab Qureshi Department of Computer Science and Engineering School of Information Science and Software Theory Beijing Institute of Technology Beijing China Department of Electrical Engineering University of Engineering and Technology Lahore-54890 Pakistan

ISBN: (纸本)0780392477

ASIC design in the area of image processing needs large input output pixel data to be dealt with. The input image data is generated from input image which creates problems during ASIC simulation process. Manual manipulation of such a large data is not feasible while developing test bench for ASIC testing and simulation. This paper presents the methodology to highlight the approach of Codesign to be used in such applications. Moreover, a revised Scalable Compression Algorithm is proposed based on Discrete Cosine transform to improve ASIC behavioral architecture. © 2005 IEEE.

关键词： Data acquisition

来源：评论

学校读者我要写书评

暂无评论

Petri nets-based modeling for dynamic stock trading systems

引用

Journal of Computational information Systems 2005年第3期1卷 543-548页

作者： Zheng, Hong Du, Yuyue Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China College of Information Science and Engineering Shandong University of Science and Technology Qingdao 266510 China Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100080 China

Temporal Petri nets can not only enhance the modeling and analyzing power of Petri nets, but compensate the shortcoming that Petri nets do not represent timing constraint. By means of temporal Petri nets, an online dynamic stock trading system based on shared-variable distributed shared memory is adopted, and the requirements specification of the dynamic stock trading system is formally modeled and elegantly described by formulas containing the temporal operators.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Towards an integrated methodology for the model-based development of embedded automotive control software

Towards an integrated methodology for the model-based develo...

引用

15th Annual International Symposium of the International Council on Systems engineering, INCOSE 2005

作者： Buhr, Kerstin Conrad, Mirko Dörr, Heiko Fey, Ines Technical University of Berlin Institute for Software Engineering and Theoretical Computer Science Germany DaimlerChrysler AG Research E/E and Information Technology Germany

ISBN: (纸本)9781622769285

The complexity of developing automotive control unit software can generally not be mastered without an efficient development methodology. The development discipline activities requirements, modelling/implementation and quality assurance are, for this reason, supported by individual methods. In order to optimally coordinate the methods with one another during their deployment, a structured integration of these individual specialised methods is, however, essential. The following paper, using the model-based development approach as an example, outlines the content and structure of an integrated methodology that provides such integration. Its use shortens development time and increases product quality by coordinating the deployment of individual methods over the course of the entire developmental process. The main components of this kind of integrated methodology are an interdisciplinary information model, process models with integrated procedures for the realisation of single development activities as well as guidance such as checklists, templates, and examples, among other things. In this paper, we present the experiences that we have gained at DaimlerChrylser Research in developing and applying such an integrated methodology. © 2005 by K. Buhr, M. Conrad, H. Dörr and I. Fey. Published and used by INCOSE with permission.

关键词： Quality assurance

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Backward inference in Bayesian networks for distributed systems management

引用

Journal of Network and Systems Management 2005年第4期13卷 409-427页

作者： Ding, Jianguo Krämer, Bernd Bai, Yingcai Chen, Hansheng Software Engineering Institute East China Normal University Shanghai 200062 China Department of Electrical Engineering and Information Engineering FernUniversität Hagen Germany Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai China East-china Institute of Computer Technology Shanghai China IEEE FernUniversität Hagen Germany International Society for Process and Design Sciences Shanghai Jiao Tong University China Shanghai Engineering Center of GOLDEN Network Shanghai Computer Open System Association East-China Institute of Computer Technology

The growing complexity of distributed systems in terms of hardware components, operating system, communication and application software and the huge amount of dependencies among them have caused an increase in demand for distributed management systems. An efficient distributed management system needs to work effectively even in face of incomplete management information, uncertain situations, and dynamic changes. In this paper, Bayesian networks are proposed to model dependencies between managed objects in distributed systems. The strongest dependency route (SDR) algorithm is developed for backward inference in Bayesian networks. The SDR algorithm can track the strongest causes and trace the strongest routes between particular effects and its causes, the strongest dependency of causes can be also achieved by the algorithm. Thus, the backward inference provides an efficient mechanism in fault locating, and is beneficial for performance management. © 2005 Springer science+Business Media, Inc.

关键词： computer networks

来源：评论

学校读者我要写书评

暂无评论

Work in progress - Developing the community of software engineering educators

Work in progress - Developing the community of software engi...

引用

Frontiers in Education - 35th Annual Conference 2005, FIE' 05

作者： Hislop, Gregory W. Hilburn, Thomas B. Lutz, Michael J. Sebern, Mark J. College of Information Science and Technology Drexel University Department of Computing Embry-Riddle Aeronautical University Department of Software Engineering Rochester Institute of Technology Department of Electrical Engineering and Computer Science Milwaukee School of Engineering

ISBN: (纸本)0780390776

SWENET, the Network Community for software engineering Education, is an NSF funded project to produce and organize high-quality materials supporting software engineering education. The project supports faculty members delivering software engineering degrees and also individual software engineering courses in other computing degrees. SWENET also seeks to foster the development of the community of software engineering educators. This paper discusses plans to continue this development beyond the period of the initial NSF grant. The paper begins with a summary of the SWENET efforts to create course materials and other SWENET activities. The paper also addresses future directions in developing shared course materials, and creation of permanent resources and mechanisms for interaction among software engineering educators. © 2005 IEEE.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

Exploring communities of practice for product family engineering

引用

3rd Biennial Conference on Professional Knowledge Management, WM 2005

作者： Fægri, Tor Erlend Decker, Björn Dingsøyr, Torgeir Jaccheri, Letizia Lago, Patricia Muthig, Dirk Van Vliet, Hans Sintef Information and Communication Technology Trondheim Norway Fraunhofer Institute for Experimental Software Engineering Kaiserslautern Germany Dept. of Computer and Information Science Norwegian University of Science and Technology Trondheim Norway Vrije Universiteit Amsterdam Netherlands

ISBN: (纸本)3540304657

Product Family engineering (PFE) is an approach to software engineering that seeks to reduce the global effort in producing multiple software products by actively promoting and governing the reuse of assets between the family members. However, PFE is highly demanding, putting stringent demands on careful planning and management in the organization. To leverage the full opportunities offered by PFE, its introduction and use requires effective coordination of people and organizational units. This paper presents a solution to support this coordination by exploring concepts from the area of communities of practices for PFE. The expected benefit is that communities offer a more adaptive approach supporting the transition towards PFE compared to formal organizational restructuring. In this paper, we will describe our considerations about the building principles for organizations using a shared platform for the family members and a study proposal that will examine the effects of knowledge brokering among Communities of Practice as a means to assist PFE. © Springer-Verlag Berlin Heidelberg 2005.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

LRC-RED: A self-tuning robust and adaptive AQM scheme

LRC-RED: A self-tuning robust and adaptive AQM scheme

引用

6th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2005

作者： Xiong, Naixue Yang, Yan Défago, Xavier He, Yanxiang School of Information Science Japan Advanced Institute of Science and Technology 1-1 Asahidai Nomi Ishikawa Japan State Key Lab of Software Engineering Computer School Wuhan University China Computer School Wuhan University of Science and Technology China

ISBN: (纸本)0769524052

In this paper, we propose a novel active queue management (AQM) scheme based on the Random Early Detection (RED) of the loss ratio and the total sending rate control, called LRC-RED, to regulate the queue length with small variation and to achieve high utilization with small packet loss. This scheme measures the latest packet loss ratio, and uses it and the total sending rate as complements to queue length in order to dynamically adjust packet drop probability. Further, we also provide the design rules for this scheme based on the well-known TCP control model. On the basis of the design rules, we develop a simple, scalable and systematic rule for tuning the control parameters which can be adaptive to dynamic network conditions. Through ns 2 simulations, we show the faster response time and better robustness of the proposed LRC-RED as compared with the Loss Ratio based RED (LRED) [5] algorithm.

关键词： Adaptive systems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：