A Formal Model of a Multi-step Coordination Protocol for Self-adaptive Software Using Coloured Petri Nets

No abstract is available for this paper.

• Publication year

  2009

• Venue

  International Journal of Cooperative Information Systems

• Publication date

  2009-02-01

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Must Conditional Cash Transfer Programs be Conditioned to be Effective? The Impact of Conditioning Transfers on School Enrollment in Mexico

  2011cited by this paper
• Bolsa Família 2003-2010: avanços e desafios

  2010cited by this paper
• Focalização e Cobertura do Programa Bolsa Família: qual o significado dos 11 milhões de famílias?

  2009cited by this paper
• O Programa Bolsa Família: desenho institucional, impactos e possibilidades futuras

  2009cited by this paper
• Utilizando o relacionamento de bases de dados para avaliação de políticas públicas: uma aplicação para o Programa Bolsa Família

  2008cited by this paper
• A importância das cotas para a focalização do Programa Bolsa Família

  2008cited by this paper
• Avaliação de Impacto do Programa Bolsa Família

  2007cited by this paper
• Self-Managed Systems: an Architectural Challenge

  2007cited by this paper
• Determinantes imediatos da queda da desigualdade de renda brasileira

  2007cited by this paper
• POLUS: A POwerful Live Updating System

  2007cited by this paper
• Gestão e avaliação de políticas sociais no Brasil

  2007cited by this paper
• Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

  2007influential reference
• Programas de transferência de renda no Brasil: impactos sobre a desigualdade

  2006cited by this paper
• Live updating operating systems using virtualization

  2006cited by this paper
• 1. Le capital social. Notes provisoires

  2006cited by this paper
• Transferências de renda e a redução da desigualdade no Brasil e cinco regiões entre 1997 e 2004

  2006cited by this paper
• Uma análise das principais causas da queda recente na desigualdade de renda brasileira

  2006cited by this paper
• Self Adaptive Software Problems and Projects

  2006cited by this paper
• Concurrency Tradeoffs in Dynamic Adaptation

  2006cited by this paper
• Evaluating the Impact of Conditional Cash Transfer Programs

  2005cited by this paper
• The Current State of Software Component Adaptation

  2005cited by this paper
• PROGRESA and Its Impacts on the Welfare of Rural Households in Mexico

  2005cited by this paper
• Long-term impacts of the oportunidades conditional cash transfer program on rural youth in Mexico

  2005cited by this paper
• A survey of self-management in dynamic software architecture specifications

  2004cited by this paper
• A modular approach enforcing safe reconfiguration of producer-consumer applications

  2004cited by this paper
• Adding Safeness to Dynamic Adaptation Techniques

  2004cited by this paper
• Enabling autonomic behavior in systems software with hot swapping

  2003cited by this paper
• Dynamic Reconfiguration

  2003cited by this paper
• Desafios para a política social brasileira

  2003cited by this paper
• Towards a conceptual model for context-aware adaptive services

  2003cited by this paper
• Dynamic, adaptive and reconfigurable systems overview and prospective vision

  2003cited by this paper
• A technique for dynamic updating of Java software

  2002cited by this paper
• Self-Adaptive Software

  2001cited by this paper
• Conditional Cash Transfers and Their Impact on Child Work and Schooling: Evidence from the PROGRESA Program in Mexico

  2001cited by this paper
• Constructing adaptive software in distributed systems

  2001cited by this paper
• Dependence management in component-based distributed systems

  2000cited by this paper
• Does Child Labor Displace Schooling? Evidence on Behavioral Responses to an Enrollment Subsidy. Policy Research Working Papers No. 2116.

  1999cited by this paper
• Consistency preserving dynamic reconfiguration of distributed systems

  1999cited by this paper
• SOFA/DCUP: architecture for component trading and dynamic updating

  1998cited by this paper
• Model Checking Coloured Petri Nets - Exploiting Strongly Connected Components

  1997cited by this paper
• Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets

  1996cited by this paper
• On-line maintenance with on-the-fly software replacement

  1996cited by this paper
• An Introduction to the Practical Use of Coloured Petri Nets

  1996cited by this paper
• Specifying Distributed Software Architectures

  1995cited by this paper
• On‐line software version change using state transfer between processes

  1993cited by this paper
• An Introduction to the Theoretical Aspects of Coloured Petri Nets

  1993influential reference
• The Evolving Philosophers Problem: Dynamic Change Management

  1990cited by this paper
• Social Capital in the Creation of Human Capital

  1988cited by this paper
• DYMOS: a dynamic modification system

  1983cited by this paper
• Ieee Transactions on Software Engineering Carisma: Context-aware Reflective Middleware System for Mobile Applications

  year unknowncited by this paper

• Dependency-Graph Enabled Formal Analysis for 5G AKA Protocols: Assumption Propagation and Verification

  2024cites this paper
• Designing Cyber-Physical Systems for Runtime Self-Adaptation: Knowing More about What We Miss ...

  2022cites this paper
• How to minimize the consumption of resources and processing cost in WSAN ?

  2017cites this paper
• Formal model of earthquake disaster mitigation and management system

  2017cites this paper
• Towards modeling and runtime verification of self-organizing systems

  2016cites this paper
• Revisiter les grilles de PCs avec des technologies du Web et le Cloud computing. (Re-examaning the Desktop Grids with Web Technologies and Cloud Computing)

  2015cites this paper
• Title Improving the effectiveness of testing pervasive software viacontext diversity

  2014cites this paper
• Improving the Effectiveness of Testing Pervasive Software via Context Diversity

  2014cites this paper
• A publication-subscription interaction schema for desktop grid computing

  2013cites this paper
• Policy-based managers coordination for self-adaptive software approach

  2013cites this paper
• Design, Verification and Prototyping the Next Generation of Desktop Grid Middleware

  2012cites this paper
• A Petri-Net Model for the Publish-Subscribe Paradigm and Its Application for the Verification of the BonjourGrid Middleware

  2011cites this paper
• PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems

  2010cites this paper