564 research outputs found
Model-Based Adaptation of Software Communicating via FIFO Buffers
Software Adaptation is a non-intrusive solution for composing black-box components or services (peers) whose individual functionality is as required for the new system, but that present interface mismatch, which leads to deadlock or other undesirable behaviour when combined. Adaptation techniques aim at automatically generating new components called adapters. All the interactions among peers pass through the adapter, which acts as an orchestrator and makes the involved peers work correctly together by compensating for mismatch. Most of the existing solutions in this field assume that peers interact synchronously using rendezvous communication. However, many application areas rely on asynchronous communication models where peers interact exchanging messages via buffers. Generating adapters in this context becomes a difficult problem because peers may exhibit cyclic behaviour, and their composition often results in infinite systems. In this paper, we present a method for automatically generating adapters in asynchronous environments where peers interact using FIFO buffers.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech
Handling Data-Based Concurrency in Context-Aware Service Protocols
Dependency analysis is a technique to identify and determine data
dependencies between service protocols. Protocols evolving concurrently in the
service composition need to impose an order in their execution if there exist
data dependencies. In this work, we describe a model to formalise context-aware
service protocols. We also present a composition language to handle dynamically
the concurrent execution of protocols. This language addresses data dependency
issues among several protocols concurrently executed on the same user device,
using mechanisms based on data semantic matching. Our approach aims at
assisting the user in establishing priorities between these dependencies,
avoiding the occurrence of deadlock situations. Nevertheless, this process is
error-prone, since it requires human intervention. Therefore, we also propose
verification techniques to automatically detect possible inconsistencies
specified by the user while building the data dependency set. Our approach is
supported by a prototype tool we have implemented.Comment: In Proceedings FOCLASA 2010, arXiv:1007.499
Heavy quark mass effects in parton-to-kaon hadronization probabilities
We examine the relevance of the heavy quarks masses in the perturbative QCD description of hard interactions where charged kaons are produced in the final state. We extract a set of parton-to-kaon hadronization probabilities from a next to leading order QCD global analysis where a general mass variable flavor number scheme accounting for mass effects is implemented. We compare the results with those obtained in the massless approximation and also with those found in the case of final state pions. At variance with the very significant improvement found for the much more precise pion fragmentation phenomenology, the heavy quark mass dependent scheme improves mildly the overall description of current kaon production data. Nevertheless, we find a noticeable reduction in the charm-to-kaon hadronization probability.Fil: Epele, Manuel. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Física de Buenos Aires. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Física de Buenos Aires; ArgentinaFil: García Canal, Carlos Alberto. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Física de Buenos Aires. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Física de Buenos Aires; ArgentinaFil: Sassot, Rodolfo. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Física de Buenos Aires. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Física de Buenos Aires; Argentin
Nuclear and partonic dynamics in the EMC effect
It has been recently confirmed that the magnitude of the EMC effect measured
in electron deep inelastic scattering is linearly related to the Short Range
Correlation scaling factor obtained from electron inclusive scattering. By
using a -rescaling approach we are able to understand the interplay between
the quark-gluon and hadronic degrees of freedom in the discussion of the EMC
effect.Comment: 5 pages, 6 figures, 2 table. We have incorporated SLAC data and
redone the calculation with the newest ROOT 5.3
Adaptation of Asynchronously Communicating Software
International audienceSoftware adaptation techniques aim at generating new components called adapters, which make a set of services work correctly together by compensating for existing mismatch. Most approaches assume that services interact synchronously using rendez-vous communication. In this paper, we focus on asynchronous communication, where services interact exchanging messages via buffers. We overview a method for automatically generating adapters in such asynchronous environments
HERA has been closed, LHC is being opened: near past and near future of particle physics
A general account of the experimental results of the recently closed DESY-HERA accelerator and a presentation of the physics expected to be revealed by the LHC-CERN accelerator, beginning to deliver data in less than one year, is provided. An analysis of the impact of this information on the theoretical developments is included.Facultad de Ciencias Exacta
Components Interoperability through Mediating Connector Patterns
A key objective for ubiquitous environments is to enable system
interoperability between system's components that are highly heterogeneous. In
particular, the challenge is to embed in the system architecture the necessary
support to cope with behavioral diversity in order to allow components to
coordinate and communicate. The continuously evolving environment further asks
for an automated and on-the-fly approach. In this paper we present the design
building blocks for the dynamic and on-the-fly interoperability between
heterogeneous components. Specifically, we describe an Architectural Pattern
called Mediating Connector, that is the key enabler for communication. In
addition, we present a set of Basic Mediator Patterns, that describe the basic
mismatches which can occur when components try to interact, and their
corresponding solutions.Comment: In Proceedings WCSI 2010, arXiv:1010.233
HERA has been closed, LHC is being opened: near past and near future of particle physics
A general account of the experimental results of the recently closed DESY-HERA accelerator and a presentation of the physics expected to be revealed by the LHC-CERN accelerator, beginning to deliver data in less than one year, is provided. An analysis of the impact of this information on the theoretical developments is included.Facultad de Ciencias Exacta
Situational-Context: A Unified View of Everything Involved at a Particular Situation
As the interest in the Web of Things increases, specially for the general population, the barriers to entry for the use of these technologies should decrease. Current applications can be developed to adapt their behaviour to predefined conditions and users preferences, facilitating their use. In the future,Web of Things software should be able to automatically adjust its behaviour to non-predefined preferences or context of its users. In this vision paper we define the Situational-Context as the combination of the virtual profiles of the entities (things or people) that concur at a particular place and time. The computation of the Situational-Context allow us to predict the expected system behaviour and the required interaction between devices to meet the entities’ goals, achieving a better adjustment of the system to variable contexts.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech
- …