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

International Symposium on software Reliability engineering (ISSRE)

作者： L.C. Briand Y. Labiche Y. Wang Software Quality Engineering Laboratory Systems and Computer Engineering Department Carleton University Ottawa ONT Canada

This article is a first attempt towards a comprehensive, systematic methodology for class interface testing in the context of client/server relationships. The proposed approach builds on and combines existing techniques. It first consists in selecting a subset of the method sequences defined for the class testing of the client class, based on an analysis of the interactions between the client and the server methods. Coupling information is then used to determine the conditions, i.e., values for parameters and data members, under which the selected client method sequences are to be executed so as to exercise the interaction. The approach is illustrated by means of an abstract example and its cost-effectiveness is evaluated through a case study.

关键词： System testing software testing software quality Laboratories computer interfaces systems engineering and theory Drives Encapsulation Fault detection Performance evaluation

来源：评论

学校读者我要写书评

暂无评论

A requirements patterns-driven approach to specify systems and check properties

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2003年 2648卷 18-33页

作者： Konrad, Sascha Campbell, Laura A. Cheng, Betty H. C. Deng, Min Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI 48824 United States

We previously developed a framework, Hydra, for adding formal semantics to a collection of UML diagrams that enable the automated derivation of formal language specifications for those diagrams. Recently, we have also identified a number of requirements patterns for embedded systems that includes sample UML structural and behavioral diagrams for modeling requirements and high-level design for embedded systems. This paper describes a requirements patterns-driven approach for developing UML diagrams for embedded systems, where each pattern has a constraints section to specify safety and other invariant properties. We show how the diagrams for an industrial automotive system, via specifications generated from Hydra, can be automatically analyzed for adherence to these formally specified constraints using the SPIN model checker. We developed the MINERVA framework to support the graphical construction of UML diagrams and to visualize the results from the SPIN analysis in terms of the original UML diagrams. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

A middleware substrate for integrating services on the grid

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2003年 2913卷 373-382页

作者： Bhat, Viraj Parashar, Manish Applied Software Systems Laboratory Department of Electrical and Computer Engineering 94 Brett Road Piscataway NJ 08854 United States

In this paper we present the design, implementation and evaluation of the Grid-enabled Discover middleware substrate. The middleware substrate enables Grid infrastructure services provided by the Globus Toolkit (security, information, resource management, storage) to interoperate with collaboratory services provided by Discover (collaborative application access, monitoring, and steering). Furthermore, it enables users to seamlessly access and integrate local and remote services to synthesize customized middleware configurations on demand. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

GridBank: a Grid Accounting Services Architecture (GASA) for distributed systems sharing and integration

GridBank: a Grid Accounting Services Architecture (GASA) for...

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： A. Barmouta R. Buyya Department of Computer Science and Software Engineering University of Western Australia Nedlands WA Australia Grid Computing and Distributed Systems (GRIDS) Lab Department of Computer Science and Software Engineering University of Melbourne Australia

Computational Grids are emerging as a new infrastructure for Internet-based parallel and distributed computing. They enable the sharing, exchange, discovery, and aggregation of resources distributed across multiple administrative domains, organizations and enterprises. To accomplish this, Grids need infrastructure that supports various services: security, uniform access, resource management, scheduling, application composition, computational economy, and accounting. Although several initiatives are engaged in the development of Grid technologies, Grid accounting issues are yet to be addressed. To overcome this limitation, we propose a new infrastructure called GridBank that provides services for accounting. The support of computational economy and accounting services can lead to a self-regulated accountability in Grid computing. This paper presents requirements of Grid accounting and different economic models within which it can operate and proposes a Grid Accounting Services Architecture to meet them. The paper highlights implementation issues with a detailed discussion on the format for various records/databases that the GridBank needs to maintain. It also presents protocols for interaction between the GridBank and various components within Grid computing environments.

关键词： Grid computing computer architecture Distributed computing Concurrent computing Internet Security Resource management Processor scheduling computer applications Environmental economics

来源：评论

学校读者我要写书评

暂无评论

Data Mining: How Research Meets Practical Development?

引用

Knowledge and Information systems 2003年第2期5卷 248-261页

作者： Wu, Xindong Yu, Philip S. Piatetsky-Shapiro, Gregory Cercone, Nick Lin, T.Y. Kotagiri, Ramamohanarao Wah, Benjamin W. Department of Computer Science University of Vermont BurlingtonVT United States IBM T. J. Watson Research Center HawthorneNY United States KDnuggets BrooklineMA United States School of Computer Science University of Waterloo WaterlooON Canada Department of Mathematics and Computer Science San Jose State University San JoseCA United States Department of Computer Science and Software Engineering University of Melbourne ParkvilleVIC Australia Computer Systems Research Laboratory University of Illinois Urbana-Champaign UrbanaIL United States Department of Computer Science Universityof Vermont BurlingtonVT05405 United States

At the 2001 IEEE International Conference on Data Mining in San Jose, California,on November 29 to December 2, 2001, there was a panel discussion on how datamining research meets practical development. One of the motivations for organizing thepanel discussion was to provide useful advice for industrial people to explore their directionsin data mining development. Based on the panel discussion, this paper presentsthe views and arguments from the panel members, the Conference Chair and the ProgramCommittee Co-Chairs. These people as a group have both academic and industrialexperiences in different data mining related areas such as databases, machine learning,and neural networks. We will answer questions such as (1) how far data mining is frompractical development, (2) how data mining research differs from practical development,and (3) what are the most promising areas in data mining for practical development. © 2003, Springer-Verlag London Limited.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

Autonomic optimization of an oil reservoir using decentralized services

Autonomic optimization of an oil reservoir using decentraliz...

引用

International Workshop on Challenges of Large Applications in Distributed Environments

作者： V. Matossian M. Parashar The Applied Software Systems Laboratory Department of Electrical and Computer Engineering Rutgers University Piscataway NJ USA

来源：评论

学校读者我要写书评

暂无评论

Automating checking of models built using a graphically based formal modeling language

Automating checking of models built using a graphically base...

引用

IEEE Annual International computer software and Applications Conference (COMPSAC)

作者： R.J. Walters Declarative Systems and Software Engineering Group Department of Electronics and Computer Science University of Southampton Southampton UK

RDT is a graphical formal modeling language in which the modeler works by constructing diagrams of the processes in their model which they join together to form complete systems. Aside from the benefits which accrue as a side effect of building a formal model of a proposed systems, these diagrammatic models can be useful as a means of communication between the development team and the users. However one of the greatest benefits of a formal model is that it can be subjected to rigorous examination to ensure that it satisfies properties required of the system. This paper describes the transformation used by the RDT toolset to generate Promela code (the input language of the SPIN model-checker) automatically from a model.

关键词： Power system modeling Assembly systems software engineering computer science Buildings Hardware Joining processes Plugs Sockets computer applications

来源：评论

学校读者我要写书评

暂无评论

On the cost-quality tradeoff in topology-aware overlay path probing

On the cost-quality tradeoff in topology-aware overlay path ...

引用

International Conference on Network Protocols

作者： Chiping Tang P.K. McKinley Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI USA

Path probing is essential to maintaining an efficient overlay network topology. However, the cost of a full-scale probing is as high as O(n/sup 2/), which is prohibitive in large-scale overlay networks. Several methods have been proposed to reduce probing overhead, although at a cost in terms of probing completeness. In this paper, an orthogonal solution is proposed that trades probing overhead for estimation accuracy in sparse networks such as the Internet. The proposed solution uses network-level path composition information (for example, as provided by a topology server) to infer path quality without full-scale probing. The inference metrics include latency, loss rate and available bandwidth. This approach is used to design several probing algorithms, which are evaluated through analysis and simulation. The results show that the proposed method can significantly reduce probing overhead while providing hounded quality estimations for all n /spl times/ (n - 1) overlay paths. The solution is well suited to medium-scale overlay networks in the Internet. In other environments, it can be combined with extant probing algorithms to further improve performance.

关键词： Network topology Costs IP networks Algorithm design and analysis Large-scale systems Network servers Web server Delay Bandwidth Inference algorithms

来源：评论

学校读者我要写书评

暂无评论

Architecture and operation of an adaptable communication substrate

Architecture and operation of an adaptable communication sub...

引用

IEEE Workshop on Future Trends of Distributed Computing systems

作者： S.M. Sadjadi P.K. McKinley E.P. Kasten Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI USA

This paper describes the internal architecture and operation of an adaptable communication component called the MetaSocket. MetaSockets are created using Adaptive Java, a reflective extension to Java that enables a component's internal architecture and behavior to be adapted at run time in response to external stimuli. This paper describes how adaptive behavior is implemented in MetaSockets, as well as how MetaSockets interact with other adaptive components, such as decision makers and event mediators. Results of experiments on a mobile computing testbed demonstrate how MetaSockets respond to dynamic wireless channel conditions in order to improve the quality of interactive audio streams delivered to iPAQ handheld computers.

关键词： Java computer architecture Handheld computers Application software Military computing computer languages Middleware Sockets Time factors Streaming media

来源：评论

学校读者我要写书评

暂无评论

Enhancing the fault-tolerance of nonmasking programs

Enhancing the fault-tolerance of nonmasking programs

引用

International Conference on Distributed Computing systems

作者： S.S. Kulkarni A. Ebnenasir Department of Computer Science and Engineering Software Engineering and Network Systems Laboratory Michigan State University East Lansing MI USA

In this paper we focus on automated techniques to enhance the fault-tolerance of a nonmasking fault-tolerant program to masking. A masking program continually satisfies its specification even if faults occur. By contrast, a nonmasking program merely guarantees that after faults stop occurring, the program recovers to states from where it continually satisfies its specification. Until the recovery is complete, however a nonmasking program can violate its (safety) specification. Thus, the problem of enhancing fault-tolerance from nonmasking to masking requires that safety be added and recovery be preserved. We focus on this enhancement problem for high atomicity programs-where each process can read all variables-and for distributed programs-where restrictions are imposed on what processes can read and write. We present a sound and complete algorithm for high atomicity programs and a sound algorithm for distributed programs. We also argue that our algorithms are simpler than previous algorithms, where masking fault-tolerance is added to a fault-intolerant program. Hence, these algorithms can partially reap the benefits of automation when the cost of adding masking fault-tolerance to a fault-intolerant program is high. To illustrate these algorithms, we show how the masking fault-tolerant programs for triple modular redundancy and Byzantine agreement can be obtained by enhancing the fault-tolerance of the corresponding nonmasking versions. We also discuss how the derivation of these programs is simplified when we begin with a nonmasking fault-tolerant program.

关键词： Fault tolerance Safety Fault tolerant systems software engineering Laboratories computer science Automation Costs Redundancy engineering profession

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：