The Geosciences Network(GEON)project has been developing cyberinfrastructure for data sharing in the Earth Science community based on a serviceoriented *** layered architecture consists of Core,Middleware,and Applicat...
详细信息
The Geosciences Network(GEON)project has been developing cyberinfrastructure for data sharing in the Earth Science community based on a serviceoriented *** layered architecture consists of Core,Middleware,and Applications *** services provide system-level functions(*** authentication),Middleware services provide generic capabilities(*** search),and Application services provide functions that users directly interact with,including applications that are specific to Earth *** GEON‘service stack’includes a standardized set of these services and the corresponding software *** GEON Portal provides Web-based access to these services via a set of *** service-oriented approach has enabled GEON to expand to new partner sites and leverage GEON services for other *** facilitate interoperation in a distributed geoinformatics environment,GEON is focusing on standards for distributed search across federated catalogs.
This paper designs a fabric image registration method after researching texture of fabric. It can find the commonality area of two images quickly and accurately. Generally speaking, it is a good choice to solve the im...
详细信息
ISBN:
(纸本)9780769535708
This paper designs a fabric image registration method after researching texture of fabric. It can find the commonality area of two images quickly and accurately. Generally speaking, it is a good choice to solve the image registration with the relativity of two images in random texture images However, repeated on high-resolution images to do Fourier Transform will decrease real-time of detection system. In order to enhance the real-time performance of fabric inspection system, the paper designs an effective method in the premise of ensuring matching effect The method combines the excellence of frequency domain and space domain using predictable commonality area in the process of template matching, so arithmetic with favorable matching effect is put forward.
The goal of this paper is to illustrate how frameworks and patterns address complexities that arise in the design and implementation of high-performance distributed software systems. These complexities are both inhere...
详细信息
It is extremely difficult to characterize the possible behaviors of a distributedsoftware system through informal reasoning. Developers of distributedsystems require tools that support formal reasoning about propert...
详细信息
It is extremely difficult to characterize the possible behaviors of a distributedsoftware system through informal reasoning. Developers of distributedsystems require tools that support formal reasoning about properties of the behaviors of their systems. These tools should be applicable to designs and other preimplementation descriptions of a system, as well as to completed programs. Furthermore, they should not limit a developer's choice of development *** this paper we present a basis for broadly applicable analysis methods for distributed software systems. The constrained expression formalism can be used with a wide variety of distributed system development notations to give a uniform closed-form representation of a system's behavior. A collection of formal analysis techniques can then be applied with this representation to establish properties of the system. Examples of these formal analysis techniques appear elsewhere. Here we illustrate the broad applicability of the constrained expression formalism by showing how constrained expression representations are obtained from descriptions of systems in three different notations: SDYMOL, CSP, and Petri nets. Features of these three notations span most of the significant alternatives for describing distributed software systems. Our examples thus offer persuasive evidence for the broad applicability of the constrained expression approach.
In this paper we outline an approach to describing and analyzing designs for distributed software systems. A descriptive notation is introduced, and analysis techniques applicable to designs expressed in that notation...
详细信息
In this paper we outline an approach to describing and analyzing designs for distributed software systems. A descriptive notation is introduced, and analysis techniques applicable to designs expressed in that notation are presented. The usefulness of the approach is illustrated by applying it to a realistic distributedsoftware-system design problem involving mutual exclusion in a computer network.
暂无评论