Matchmaking for covariant hierarchies

We describe a model of matchmaking suitable for the implementation of services, rather than their for their discovery and composition. In the model, processing requirements are modelled by client requests and computational resources are software processors that compete for request processing as the covariant implementations of an open service interface. Matchmaking then relies on type analysis to rank processors against requests in support of a wide range of dispatch strategies. We relate the model to the autonomicity of service provision and briefly report on its deployment within a production-level infrastructure for scientic computing

Safer typing of complex API usage through Java generics

When several incompatible implementations of a single API are in use in a Java program, the danger exists that instances from different implementations may inadvertently be mixed, leading to errors. In this paper we show how to use generics to prevent such mixing. The core idea of the approach is to add a type parameter to the interfaces of the API, and tie the classes that make up an implementation to a unique choice of type parameter. In this way methods of the API can only be invoked with arguments that belong to the same implementation. We show that the presence of a type parameter in the interfaces does not violate the principle of interface-based programming: clients can still completely abstract over the choice of implementation. In addition, we demonstrate how code can be reused between different implementations, how implementations can be defined as extensions of other implementations, and how different implementations may be mixed in a controlled and safe manner. To explore the feasibility of the approach, gauge its usability, and identify any issues that may crop up in practical usage, we have refactored a fairly large existing API-based application suite, and we report on the experience gained in the process

Functional adaptivity for digital library services in e-infrastructures: the gCube approach

We consider the problem of e-Infrastructures that wish to reconcile the generality of their services with the bespoke requirements of diverse user communities. We motivate the requirement of functional adaptivity in the context of gCube, a service-based system that integrates Grid and Digital Library technologies to deploy, operate, and monitor Virtual Research Environments defined over infrastructural resources. We argue that adaptivity requires mapping service interfaces onto multiple implementations, truly alternative interpretations of the same functionality. We then analyse two design solutions in which the alternative implementations are, respectively, full-fledged services and local components of a single service. We associate the latter with lower development costs and increased binding flexibility, and outline a strategy to deploy them dynamically as the payload of service plugins. The result is an infrastructure in which services exhibit multiple behaviours, know how to select the most appropriate behaviour, and can seamlessly learn new behaviours

Introduction to radar scattering application in remote sensing and diagnostics: Review

The manuscript reviews the current literature on scattering applications of RADAR (Radio Detecting And Ranging) in remote sensing and diagnostics. This paper gives prime features for a variety of RADAR applications ranging from forest and climate monitoring to weather forecast, sea status, planetary information, and mapping of natural disasters such as the ones caused by earthquakes. Both the fundamental parameters involved in scattering mechanisms of RADAR applications and the factors affecting RADAR performances are also discusse

Vector Meson Exchanges and CP Asymmetry in K±→π±π0K^{\pm}\rightarrow\pi^{\pm}\pi^0

Using a current algebra framework, we discuss the contribution of vector meson exchanges to the CP violating asymmetry in the decay $K^{\pm}\rightarrow\pi^{\pm}\pi^0$, resulting from the interference of the $K\rightarrow\pi\pi$ amplitude with the radiative correction $K\rightarrow\pi\pi\gamma$.Comment: 9 pages (plain-TEX), IC/93/186, UTS-DFT-93-18, (two figures not included

Hybrid applications over XML - integrating the declarative and navigational approaches

We discuss the design of a quasi-statically typed language for XML in which data may be associated with different structures and different algebras in different scopes, whilst preserving identity. In declarative scopes, data are trees and may be queried with the full flexibility associated with XML query algebras. In procedural scopes, data have more conventional structures, such as records and sets, and can be manipulated with the constructs normally found in mainstream languages. For its original form of structural polymorphism, the language offers integrated support for the development of hybrid applications over XML, where data change form to re flct programming expectations and enable their enforcement

Programa de gerenciamento de resíduos da Embrapa Florestas.

bitstream/CNPF-2009-09/41246/1/Doc_119.pd