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

An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE

引用

Reliable Computing 2001年第6期7卷 449-465页

作者： Nedialkov, Nedialko S. Jackson, Kenneth R. Pryce, John D. Department of Computing and Software McMaster University Hamilton Ont. L8S 4L7 Canada Department of Computer Science University of Toronto Toronto Ont. M5S 3G4 Canada Computer Information Systems Engineering Department Cranfield University RMCS Shrivenham Swindon SN6 8LA United Kingdom

Validated methods for initial value problems for ordinary differential equations produce bounds that are guaranteed to contain the true solution of a problem. When computing such bounds, these methods verify that a unique solution to the problem exists in the interval of integration and compute a priori bounds for the solution in this interval. A major difficulty in this verification phase is how to take as large a stepsize as possible, subject to some tolerance requirement. We propose a high-order enclosure method for proving existence and uniqueness of the solution and computing a priori bounds.

关键词： Initial value problems

来源：评论

学校读者我要写书评

暂无评论

CORBA based approach to the development of an advanced architecture in TINA service management system

CORBA based approach to the development of an advanced archi...

引用

International Workshop on Database and Expert systems Applications

作者： HeaSook Park O-Hoon Choi Doo-Kwon Baik Software Systems Laboratory Department of Computer Science & Engineering Korea University Seoul South Korea

ISBN: (纸本)0769512305

In order to satisfy, the complex and various demands of the customers, telecommunication networks must provide their services rapidly and flexibly, with the support of efficient service and network management systems. To fulfill these requirements, TINA has appeared as a concept for the advanced telecommunication system using information technology such as distributed processing, object oriented modeling. We mention some problems of developing applications in the TINA service management layer. To solve the problems, we propose the advanced architecture called OMS (object management system), which consists of three managers (data manager, data access manager and metadata registry manager). OMS separates the application layer and the middleware such as ODBC and JDBC. And the application layer and OMS are connected by distributed object middleware based on CORBA. Also in order to manage efficiently managed objects stored in different repositories, we have implemented metadata registry by using the metadata concept.

关键词： distributed computing computer architecture computer network management Object oriented modeling Middleware Application software Telecommunication network management distributed processing Environmental management Hardware

来源：评论

学校读者我要写书评

暂无评论

Adaptive cluster computing using JavaSpaces

Adaptive cluster computing using JavaSpaces

引用

Annual IEEE Symposium on Foundations of computer Science

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

We present the design, implementation and evaluation of a framework that uses JavaSpaces [1] 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 nonintrusive 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.

关键词： Java Parallel processing Concurrent computing distributed computing Application software software systems Resource management Laboratories engineering profession computerized monitoring

来源：评论

学校读者我要写书评

暂无评论

Middleware support for global access to integrated computational collaboratories

Middleware support for global access to integrated computati...

引用

International Symposium on High Performance distributed Computing

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

The growth of the Internet and the advent of the computational "Grid" have made it possible to develop and deploy advanced computational collaboratories. These systems build on high-end computational resources and communication technologies underlying the Grid, and provide seamless and collaborative access to particular resources, services or applications. Integrating these "focused" collaboratories presents significant challenges. Key among these is the design and development of robust middleware support that addresses scalability, service discovery, security and access control, and interaction and collaboration management for consistent access. The authors first investigate the architecture of such a middleware that enables global (Web-based) access to collaboratories. They then present the design and implementation of a middleware substrate that enables a peer-to-peer integration of and global (collaborative) access to geographically distributed instances of the DISCOVER computational collaboratory for interaction and steering.

关键词： Middleware Grid computing International collaboration Peer to peer computing Internet Communications technology Robust control Scalability Communication system security Access control

来源：评论

学校读者我要写书评

暂无评论

Inconsistency tolerance across enterprise solutions

Inconsistency tolerance across enterprise solutions

引用

IEEE Workshop on Future Trends of distributed Computing systems

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

As every information system becomes connected to every other information system, they form the so-called "information utility". This is the domain in which contemporary distributed systems have to operate. New applications have to be evolved on this platform of existing systems that may hold inconsistent information. Consequently, solutions need to be able work in a world of only partially correct information. In this paper, we discuss means whereby architects, designers and engineers may, in this context of information inconsistency, develop new business solutions and reason about their validity. In particular we describe the properties of inter-enterprise system architectures for applications working with partially replicated and partially consistent information. These must be able to operate under reversible assumptions and to undo operations as a consequence of reversing assumptions. We have developed exemplary architectures that exhibit these properties, used them to investigate the concept of inconsistency-tolerant components and begun to devise methods of building inter-enterprise applications from such components. This approach, we conjecture, makes reasoning about the validity of proposed inter-enterprise scale solutions more straightforward and thus increases the speed with which new solutions can be deployed. We are evaluating these ideas now, by building, along with our industrial collaborators, realistic enterprise-scale demonstrations in the domains of Finance and Defence.

关键词： distributed computing Internet software engineering computer science Information systems Design engineering Identity-based encryption Read only memory computer industry Finance

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of a CORBA commodity grid kit 2nd

引用

2nd International Workshop on Grid Computing, GRID 2001

作者： Vema, Snigdha Parashart, Manish Gawor, Jarek von Laszewski, Gregor The Applied Software Systems Laboratory Department of Electrical and Computer Engineering Rutgers University 94 Brett Road PiscatawayNJ08854-8058 United States Mathematics and Computer Science Division Argonne National Laboratory 9700 S. Cass Ave ArgonneIl60440 United States

ISBN: (纸本)3540429492

This paper reports on an ongoing research project aimed at designing and deploying a COMA Commodity Grid (COG) Kit. The overall goal of this project is to explore how commodity distributed computing technologies and state-of-the-art software engineering practices can be used for the development of advanced Grid applications. As part of this activity, we are investigating how CORBA can be integrated with the existing Grid infrastructure. In this paper, we present the design of a CORBA Commodity Grid Kit that provides a software development framework for building a CORBA "Grid domain." We then present our experiences in developing a prototype CORBA COG Kit that supports the development and deployment of CORBA applications on the Grid by providing them access to the Grid services provided by the Globus toolkit. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Common object request broker architecture (CORBA)

来源：评论

学校读者我要写书评

暂无评论

Highlights on the evolutionary engineering approach: the EE-method

Highlights on the evolutionary engineering approach: the EE-...

引用

ACS/IEEE International Conference on computer systems and Applications

作者： A. Lehireche A. Rahmoun A. Gafour Evolutionary Engineering and Distributed Information Systems Laboratory EEDIS Computer Science Department University Djillali Liabes of Sidi Bel-Abbès Algeria

ISBN: (纸本)0769511651

Recent significant advances in artificial intelligence have led to the emergence of new concepts of soft computing genetic programming, evolutionary engineering, hybrid intelligent systems, and artificial life. EE design relies on evolutionary algorithms to construct or evolve complex systems. This paper is intended to highlight the concept of evolutionary engineering, the motivations behind the use of EE in building complex systems, and a step by step methodology for designing such systems. Finally, we emphasize on a typical example of "Brain Building design project using EE: the CAM Brain Machine.

关键词： Artificial intelligence Genetic programming Genetic engineering systems engineering and theory Hybrid intelligent systems Algorithm design and analysis Evolutionary computation Design engineering Buildings Design methodology

来源：评论

学校读者我要写书评

暂无评论

Reliable backup routing in fault tolerant real-time networks

Reliable backup routing in fault tolerant real-time networks

引用

IEEE International Conference on Networks

作者： V. Rajeev C.R. Muthukrishnan Hughes Software Systems Limited Gurgaon India Department of Computer Science and Engineering Indian Institute of Technology Chennai India

ISBN: (纸本)0769511864

Broadband integrated services digital networks (B-ISDN) are aimed to transport both real-time traffic and non real-time traffic. Many of these applications require quality of service (QoS) guarantees. In the literature, not much work is found to provide QoS guarantees based on fault tolerance. Reliability of network links is considered as one of the parameters when providing QoS guarantees to applications. Considering reliability of network links as a parameter for QoS guarantees gives the applications more flexibility in choosing the network resources. A new terminology for dispersity routing is presented which will be useful in providing QoS guarantees based on reliability. Dispersity routing transmits the traffic along multiple paths. Also, a reliable backup resource allocation method is presented that can be used in the context of dispersity routing for fault tolerant real-time networks. An assumption is made that higher capacity is assigned to the links which are more reliable. This will help in availability of resources for a longer period of time. Also, reliability of links is considered to compute multiple paths along with shortest path metric.

关键词： Routing Intelligent networks Fault tolerance Quality of service Telecommunication traffic Reliability engineering Real time systems Availability Costs computer network reliability

来源：评论

学校读者我要写书评

暂无评论

Defect content estimation for two reviewers

Defect content estimation for two reviewers

引用

International Symposium on software Reliability engineering (ISSRE)

作者： C. Wohlin H. Petersson M. Host P. Runeson Department of Software Engineering and Computer Science Blekinge Institute of Technology Ronneby Sweden Department of Communication Systems Lund University Lund Sweden

ISBN: (纸本)0769513069

Estimation of the defect content is important to enable quality control throughout the software development process. Capture-recapture methods and curve fitting methods have been suggested as tools to estimate the defect content after a review. The methods are highly reliant on the quality of the data. If the number of reviewers is fairly small, it becomes difficult or even impossible to get reliable estimates. This paper presents a comprehensive study of estimates based on two reviewers, using real data from reviews. Three experience-based defect content estimation methods are evaluated vs. methods that use data only from the current review. Some models are possible to distinguish from each other in terms of statistical significance. In order to gain an even better understanding, the best models are compared subjectively. It is concluded that the experience-based methods provide some good opportunities to estimate the defect content after a review.

关键词： software engineering software development management Quality control software quality

来源：评论

学校读者我要写书评

暂无评论

Implementing B2B contracts using BizTalk

Implementing B2B contracts using BizTalk

引用

Annual Hawaii International Conference on System Sciences (HICSS)

作者： C. Herring Z. Milosevic Department of Computer Science and Electrical Engineering University of Queensland Brisbane QLD Australia CRC for Enterprise Distributed Systems Technology University of Queensland Brisbane QLD Australia

ISBN: (纸本)0769509819

We describe our work in implementing business-to-business (B2B) contracts using Microsoft's BizTalk. BizTalk is a Microsoft product for the development of XML based document messaging systems specifically for e-commerce. We have developed a B2B enterprise model that supports a wide range of economic transactions associated with intangible goods and services. This model guides implementation of our business contract architecture software. The model identifies specific roles such as a repository for contract schemas and instances, auditor, monitor and enforcer. A contract scenario is used to illustrate the architecture and concepts described. We go into detail on the BizTalk implementation of contracts and show how a contract can be used as the basis for policies and plans that govern the behavior of the parties involved in the contract.

关键词： Contracts Monitoring Uncertainty computer architecture Humans computer science Cyclic redundancy check Internet Automation Banking

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：