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

11th IEEE International Conference on Network Protocols, ICNP 2003

作者： Tang, Chiping McKinley, P.K. Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East LansingMI48824 United States

ISBN: (纸本)0769520243

Path probing is essential to maintaining an efficient overlay network topology. However, the cost of a full-scale probing is as high as O(n2), 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 × (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. © 2003 IEEE.

关键词： Bandwidth

来源：评论

学校读者我要写书评

暂无评论

Towards the reverse engineering of UML sequence diagrams

Towards the reverse engineering of UML sequence diagrams

引用

Working Conference on Reverse engineering

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

来源：评论

学校读者我要写书评

暂无评论

A comprehensive and systematic methodology for client-server class integration testing

A comprehensive and systematic methodology for client-server...

引用

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

来源：评论

学校读者我要写书评

暂无评论

software documentation: how much is enough?

Software documentation: how much is enough?

引用

(CSMR) European Conference on software Maintenance and Reengineering

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

It is a well-known fact that software documentation is, in practice, poor and incomplete. Though specification, design, and test documents-among other things-are required by standards and capability maturity models (e.g., SEI CMM), such documentation does not exist in a complete and consistent form in most organizations. When documents are produced, they tend to follow no defined standard and lack information that is crucial to make them understandable and usable by developers and maintainers. Then a fundamental practical question, which motivated this keynote address, is to better understand what type of documentation is required, what is needed to support its completeness and consistency, and what is the level of precision required for each type of document. These questions cannot be investigated at that level of generality though. Answers are likely to be very context-dependent if they are to be precise. We focus our attention here on object-oriented development and the Unified Modeling Language (UML).

关键词： Documentation software maintenance Unified modeling language Text analysis Design optimization Object oriented modeling software quality Laboratories systems engineering and theory Drives

来源：评论

学校读者我要写书评

暂无评论

AutoMate: Enabling autonomic applications on the grid 5

AutoMate: Enabling autonomic applications on the grid

引用

5th Annual International Workshop on Active Middleware Services, AMS 2003

作者： Agarwal, M. Bhat, V. Liu, H. Matossian, V. Putty, V. Schmidt, C. Zhang, G. Zhen, L. Parashar, M. Khargharia, B. Hariri, S. Applied Software Systems Laboratory Department of Electrical and Computer Engineering Rutgers the State University of New Jersey United States High Performance Distributed Computing Laboratory Department of Electrical and Computer Engineering University of Arizona United States

ISBN: (纸本)0769519830

The increasing complexity, heterogeneity and dynamism of networks, systems, services applications have made our computational/information infrastructure brittle, unmanageable and insecure. This has necessitated the investigation of a new paradigm for design, development and deployment based on strategies used by biological systems to deal with complexity, heterogeneity, and uncertainty, i.e. autonomic computing. This paper introduces the AutoMate project and describes its key components. The overall objective of AutoMate is to investigate key technologies to enable the development of autonomic grid applications that are context aware and are capable of self-configuring, self-composing, self-optimizing and self-adapting. Specifically, it will investigate the definition of autonomic components, the development of autonomic applications as dynamic composition of autonomic components, and the design of key enhancements to existing grid middleware and runtime services to support these applications. © 2003 IEEE.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

A Framework for Adaptive Cluster Computing Using JavaSpaces

引用

Cluster Computing 2003年第3期6卷 201-213页

作者： Batheja, Jyoti Parashar, Manish The Applied Software Systems Laboratory Department of Electrical and Computer Engineering Rutgers The State University of New Jersey Piscataway USA

Heterogeneous networked clusters are being increasingly used as platforms for resource-intensive parallel and distributed applications. The fundamental underlying idea is to provide large amounts of processing capacity over extended periods of time by harnessing the idle and available resources on the network in an opportunistic manner. In this paper we present the design, implementation and evaluation of a framework that uses JavaSpaces to support this type of opportunistic adaptive parallel/distributed computing over networked clusters in a non-intrusive manner. The framework targets applications exhibiting coarse grained parallelism and has three key features: (1) portability across heterogeneous platforms, (2) minimal configuration overheads for participating nodes, and (3) automated system state monitoring (using SNMP) to ensure non-intrusive behavior. Experimental results presented in this paper demonstrate that for applications that can be broken into coarse-grained, relatively independent tasks, the opportunistic adaptive parallel computing framework can provide performance gains. Furthermore, the results indicate that monitoring and reacting to the current system state minimizes the intrusiveness of the framework.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Flexible information discovery in decentralized distributed systems 03

Flexible information discovery in decentralized distributed ...

引用

International Symposium on High Performance Distributed Computing

作者： C. Schmidt M. Parashar The Applied Software Systems Laboratory Department of Electrical and Computer Engineering Rutgers University USA

ISBN: (纸本)9780769519654

The ability to efficiently discover information using partial knowledge (for example keywords, attributes or ranges) is important in large, decentralized, resource sharing distributed environments such as computational grids and peer-to-peer (P2P) storage and retrieval systems. This paper presents a P2P information discovery system that supports flexible queries using partial keywords and wildcards, and range queries. It guarantees that all existing data elements that match a query are found with bounded costs in terms of number of messages and number of peers involved. The key innovation is a dimension reducing indexing scheme that effectively maps the multidimensional information space to physical peers. The design, implementation and experimental evaluation of the system are presented.

关键词： Peer to peer computing Grid computing Distributed computing Resource management Fault tolerant systems Central Processing Unit Costs Technological innovation Indexing Multidimensional systems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：