QoS-Aware Multi-Armed Bandits

Motivated by runtime verification of QoS requirements in self-adaptive and self-organizing systems that are able to reconfigure their structure and behavior in response to runtime data, we propose a QoS-aware variant of Thompson sampling for multi-armed bandits. It is applicable in settings where QoS satisfaction of an arm has to be ensured with high confidence efficiently, rather than finding the optimal arm while minimizing regret. Preliminary experimental results encourage further research in the field of QoS-aware decision making.Comment: Accepted at IEEE Workshop on Quality Assurance for Self-adaptive Self-organising Systems, FAS* 201

SOME ISSUES CONCERNING THE ELEMENTS OF CONTROL FUNCTION OF MANAGEMENT

In the field literature and the specific practice, the use of terms, such as – control,verification, evaluation, audit, on one side, and on the other side, the definitions for control functionof management, respectively, control-evaluation function – remain highly ambiguous. Consideringthese observations, the authors point out several useful aspects meant to clarify this issue. In orderto highlight the complexity and the integrality of the management function, the analysis of theelements composing a control system is undertaken. Constantly, the parts are reported to the whole;therefore, those concerning the evaluation and the verification are reported to the system providingthe exercise of the control function. Willing to eliminate ambiguity, for each of the conceptsinvolved, certain substances are proposed, as being considered better confined and oriented.management, control, verification, evaluation, audit

A Conceptual Framework for Adapation

This paper presents a white-box conceptual framework for adaptation that promotes a neat separation of the adaptation logic from the application logic through a clear identification of control data and their role in the adaptation logic. The framework provides an original perspective from which we survey archetypal approaches to (self-)adaptation ranging from programming languages and paradigms, to computational models, to engineering solutions

Progress in Implementing Capacity-Building Provisions under the Labor Chapter of the Dominican Republic-Central America-United States Free Trade Agreement

The report provides relevant background on the CAFTA-DR. It describes the efforts of the CAFTA-DR countries to identify areas for improvement of labor standards, make additional reforms to their labor laws, and develop strategies for continued capacity-building and improvement

A Conceptual Framework for Adapation

This paper presents a white-box conceptual framework for adaptation that promotes a neat separation of the adaptation logic from the application logic through a clear identification of control data and their role in the adaptation logic. The framework provides an original perspective from which we survey archetypal approaches to (self-)adaptation ranging from programming languages and paradigms, to computational models, to engineering solutions

A Conceptual Framework for Adapation

We present a white-box conceptual framework for adaptation. We called it CODA, for COntrol Data Adaptation, since it is based on the notion of control data. CODA promotes a neat separation between application and adaptation logic through a clear identification of the set of data that is relevant for the latter. The framework provides an original perspective from which we survey a representative set of approaches to adaptation ranging from programming languages and paradigms, to computational models and architectural solutions

On Formal Methods for Collective Adaptive System Engineering. {Scalable Approximated, Spatial} Analysis Techniques. Extended Abstract

In this extended abstract a view on the role of Formal Methods in System Engineering is briefly presented. Then two examples of useful analysis techniques based on solid mathematical theories are discussed as well as the software tools which have been built for supporting such techniques. The first technique is Scalable Approximated Population DTMC Model-checking. The second one is Spatial Model-checking for Closure Spaces. Both techniques have been developed in the context of the EU funded project QUANTICOL.Comment: In Proceedings FORECAST 2016, arXiv:1607.0200