13,283 research outputs found
Efficient compensation handling via subjective updates
Programming abstractions for compensation handling and dynamic update are crucial in specifying reliable interacting systems, such as Collective Adaptive Systems (CAS). Compensations and updates both specify how a system reacts in response to exceptional events. Prior work showed that different semantics for compensation handling can be encoded into a calculus of adaptable processes with objective updates, in which a process is reconfigured by its context. This paper goes further by considering subjective updates, in which, intuitively, a process reconfigures itself. A calculus of adaptable processes with subjective update its introduced, and its expressivity is assessed by encoding two semantics for compensation handling. The resulting encodings are more efficient than those using objective updates: they require less computational steps
Assessment Report 2012 Adidas Group, Guatemala AA0000000030
This document is part of a digital collection provided by the Martin P. Catherwood Library, ILR School, Cornell University, pertaining to the effects of globalization on the workplace worldwide. Special emphasis is placed on labor rights, working conditions, labor market changes, and union organizing.FLA_2012_AdidasGroup_AR_Guatemala_AA0000000030.pdf: 71 downloads, before Oct. 1, 2020
Context-aware adaptation in DySCAS
DySCAS is a dynamically self-configuring middleware for automotive control systems. The addition of autonomic, context-aware dynamic configuration to automotive control systems brings a potential for a wide range of benefits in terms of robustness, flexibility, upgrading etc. However, the automotive systems represent a particularly challenging domain for the deployment of autonomics concepts, having a combination of real-time performance constraints, severe resource limitations, safety-critical aspects and cost pressures. For these reasons current systems are statically configured. This paper describes the dynamic run-time configuration aspects of DySCAS and focuses on the extent to which context-aware adaptation has been achieved in DySCAS, and the ways in which the various design and implementation challenges are met
On primitives for compensation handling as adaptable processes
Mechanisms for compensation handling and dynamic update are increasingly relevant in the specification of reliable communicating systems. Compensations and updates are intuitively similar: both specify how the behavior of a concurrent system changes at runtime in response to an exceptional event. However, calculi for concurrency with compensations and updates are technically quite different. We compare calculi for concurrency with compensation handling and dynamic update from the standpoint of their relative expressiveness. We develop two encodings of a process calculus with compensation handling into a calculus of adaptable processes. These encodings differ in the target language considered: the first considers adaptable processes with subjective updates in which, intuitively, a process reconfigures itself; the second considers objective updates in which a process is reconfigured by a process in its context. Our main discovery is that subjective updates are more efficient than objective ones in encoding primitives
Promises, Impositions, and other Directionals
Promises, impositions, proposals, predictions, and suggestions are
categorized as voluntary co-operational methods. The class of voluntary
co-operational methods is included in the class of so-called directionals.
Directionals are mechanisms supporting the mutual coordination of autonomous
agents.
Notations are provided capable of expressing residual fragments of
directionals. An extensive example, involving promises about the suitability of
programs for tasks imposed on the promisee is presented. The example
illustrates the dynamics of promises and more specifically the corresponding
mechanism of trust updating and credibility updating. Trust levels and
credibility levels then determine the way certain promises and impositions are
handled.
The ubiquity of promises and impositions is further demonstrated with two
extensive examples involving human behaviour: an artificial example about an
agent planning a purchase, and a realistic example describing technology
mediated interaction concerning the solution of pay station failure related
problems arising for an agent intending to leave the parking area.Comment: 55 page
Relative Expressiveness of Process Calculi with Dynamic Update and Runtime Adaptation
U tezi su razmatrani problemi programskih konstrukata koji podržavaju upravljanje greškama u centru mehanizama koji otkrivaju greške i vraćaju sistem u konzistentno stanje. Teza formalno povezuje programske apstrakcije za rukovanje kompenzacijama i dinamičkog ažuriranja tokom izvršavanja. Analizira se relativna ekspresivnost pomenutih računa. Razvijeno je dvanaest kodiranja, šest procesnih računa za rukovanje kompenzacijama u dva računa za adaptivne procese.The thesis considers problems of programming constructs that support failure handling at the heart of mechanisms that detect failures and bring the system back to a consistent state. We formally connect programming abstractions for compensation handling and runtime adaptation and analyzes the relative expressiveness of these calculi. More concrete, we develop twelve encodings of six process calculi with compensation handling into two calculi of adaptable processes
NASA/FAA helicopter simulator workshop
A workshop was convened by the FAA and NASA for the purpose of providing a forum at which leading designers, manufacturers, and users of helicopter simulators could initiate and participate in a development process that would facilitate the formulation of qualification standards by the regulatory agency. Formal papers were presented, special topics were discussed in breakout sessions, and a draft FAA advisory circular defining specifications for helicopter simulators was presented and discussed. A working group of volunteers was formed to work with the National Simulator Program Office to develop a final version of the circular. The workshop attracted 90 individuals from a constituency of simulator manufacturers, training organizations, the military, civil regulators, research scientists, and five foreign countries
Transporting audio over wireless ad hoc networks: Experiments & new insights
Current efforts on ad hoc wireless network research are focused more on routing and multicasting protocols. However, there is an increasing need to understand what sort of media could be transported over wireless ad hoc networks other than data. Existing research on multimedia wireless communications often addresses broadband wireless networks with a connection-oriented backbone. In this paper, we address the possibility of transporting audio traffic over wireless ad hoc networks. We examine the impact of wireless multi-hop links on audio data relay and how the audio quality at the receiver is affected. In particular, we examine communication parameters such as latency, jitter, packet loss, and their impact on perceived audio quality. ©2003 IEEE.published_or_final_versio
- …