Assessing the Risk of an Adaptation using Prior Compliance Verification

Autonomous systems must respond to large amounts of streaming information. They also must comply with critical properties to maintain behavior guarantees. Compliance is especially important when a system self-adapts to perform a repair, improve performance, or modify decisions. There remain significant challenges assessing the risk of adaptations that are dynamically configured at runtime with respect to critical property compliance. Assuming compliance verification was performed for the originally deployed system, the proof process holds valuable meta-data about the variables and conditions that impact reusing the proof on the adapted system. We express this meta-data as a verification workflow using Colored Petri Nets. As dynamic adaptations are configured, the Petri Nets produce alert tokens suggesting the potential proof reuse impact of an adaptation. Alert tokens hold risk values for use in a utility function to determine the least risky adaptations. We illustrate the modeling and risk assessment using a case study

Staying on Track from Paris: Advancing the Key Elements of the Paris Agreement

The Paris Agreement adopted in December 2015 provides essential building blocks for universal action to address climate change. Now, much work is needed to breathe life into the provisions and commitments of the Agreement in order to realize the globally agreed vision to limit temperature rise, build the ability to adapt to climate impacts, and align financial flows toward zerocarbon and climate-resilient development. The Parties to the United Nations Framework Convention on Climate Change (UNFCCC) must continue to cooperate effectively to unpack and clarify the key tasks and activities outlined in the Agreement in order to provide a well-defined pathway to implementation. This paper takes an in-depth look at the Paris Agreement, highlighting important outcomes and the tasks and activities that now need to be undertaken to elaborate and develop the critical rules and processes under the Agreement. Ensuring that these rules and processes are strong and effective will be essential to promoting ambitious climate action and accelerating it in the coming years

Formal certification and compliance for run-time service environments

With the increased awareness of security and safety of services in on-demand distributed service provisioning (such as the recent adoption of Cloud infrastructures), certification and compliance checking of services is becoming a key element for service engineering. Existing certification techniques tend to support mainly design-time checking of service properties and tend not to support the run-time monitoring and progressive certification in the service execution environment. In this paper we discuss an approach which provides both design-time and runtime behavioural compliance checking for a services architecture, through enabling a progressive event-driven model-checking technique. Providing an integrated approach to certification and compliance is a challenge however using analysis and monitoring techniques we present such an approach for on-going compliance checking

COMMISSION STAFF WORKING PAPER IMPACT ASSESSMENT Common Agricultural Policy towards 2020 ANNEX 8 {COM(2011) 625 final} {COM(2011) 626 final} {COM(2011) 627 final} {COM(2011) 628 final} {COM(2011) 629 final} {COM(2011) 630 final} {COM(2011) 631 final} {SEC(2011) 1154 final}. SEC (2011) 1153 final, 12.10.2011

En los últimos tempos la educación infantil ha adquirido especial relevancia en el marco de las políticas educacionales de los países latinoamericanos y en especial de Chile (CONTRERAS, HERRERA; LEYTON, 2007; DIEZ, 2011; DUSSAILLANT, 2009; TOKMAN, 2010). La investigación centra su atención en la calidad educativa y, en particular, en los procesos autoevaluativos que demuestran los niños de edades tempranas. Desde una perspectiva paradigmática cuantitativa, apoyada de reportes cualitativos, el estudio presenta la capacidad explicativa de las variables metacognición, autorregulación, autoeficacia, lenguaje y autoconcepto, respecto del desarrollo de la autoevaluación y su vinculación con mejores niveles de logros en párvulos de cinco a seis años. Los hallazgos muestran que la autoevaluación es una dimensión que muestra diversos niveles de expresión en el grupo investigado, fuertemente influenciada por las profesionales del área, tal como se aprecia en los discursos infantiles. Además, las variables analizadas presentan diferentes grados de contribución a la explicación de la autoevaluación en el grupo estudiado

Sharpening the Cutting Edge: Corporate Action for a Strong, Low-Carbon Economy

Outlines lessons learned from early efforts to create a low-carbon economy, current and emerging best practices, and next steps, including climate change metrics, greenhouse gas reporting, effective climate policy, and long-term investment choices

Seeing 'REDD'?: Forests, Climate Change Mitigation and the Rights of Indigenous Peoples

Examines proposals for reducing emissions from deforestation and forest degradation (REDD) and their failure to protect indigenous peoples' rights or to address forest governance problems. Calls for talks to include civil society and indigenous peoples

Testing in the incremental design and development of complex products

Testing is an important aspect of design and development which consumes significant time and resource in many companies. However, it has received less research attention than many other activities in product development, and especially, very few publications report empirical studies of engineering testing. Such studies are needed to establish the importance of testing and inform the development of pragmatic support methods. This paper combines insights from literature study with findings from three empirical studies of testing. The case studies concern incrementally developed complex products in the automotive domain. A description of testing practice as observed in these studies is provided, confirming that testing activities are used for multiple purposes depending on the context, and are intertwined with design from start to finish of the development process, not done after it as many models depict. Descriptive process models are developed to indicate some of the key insights, and opportunities for further research are suggested