The drinking philosophers problem
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Dynamic Configuration for Distributed Systems
IEEE Transactions on Software Engineering
A 15 Year Perspective on Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Software interconnection models
ICSE '87 Proceedings of the 9th international conference on Software Engineering
An overview of the SR language and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming at the processor-memory-switch level
ICSE '88 Proceedings of the 10th international conference on Software engineering
Constructing Distributed Systems in Conic
IEEE Transactions on Software Engineering
Graphical Configuration Programming
Computer
Specifying concurrent systems with &Dgr;-grammars
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
ACM Transactions on Programming Languages and Systems (TOPLAS)
Garp: Graph Abstractions for Concurrent Programming
ESOP '88 Proceedings of the 2nd European Symposium on Programming
Programming-in-the large versus programming-in-the-small
Proceedings of the international conference on Reliable software
DYNAMIC MODULE REPLACEMENT IN A DISTRIBUTED PROGRAMMING SYSTEM
DYNAMIC MODULE REPLACEMENT IN A DISTRIBUTED PROGRAMMING SYSTEM
Dynamic change in office automation: modeling and analysis
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
An annotated bibliography of interactive program steering
ACM SIGPLAN Notices
IEEE Transactions on Software Engineering
A Formal Framework for On-line Software Version Change
IEEE Transactions on Software Engineering
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Assessing process-centered software engineering environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using compensating reconfiguration to maintain military distributed simulations
Proceedings of the 29th conference on Winter simulation
On-line change mechanisms: the software architectural level
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
An architecture for constructing self-evolving software systems
ISAW '98 Proceedings of the third international workshop on Software architecture
Architecture-based runtime software evolution
Proceedings of the 20th international conference on Software engineering
Highly reliable upgrading of components
Proceedings of the 21st international conference on Software engineering
Dynamically reconfiguring multimedia components: a model-based approach
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
Algebraic software architecture reconfiguration
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
The role of software architecture in constraining adaptation incomponent-based middleware platforms
IFIP/ACM International Conference on Distributed systems platforms
A graph based architectural (Re)configuration language
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
An infrastructure for the rapid development of XML-based architecture description languages
Proceedings of the 24th International Conference on Software Engineering
Towards architecture-based self-healing systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Self-organising software architectures for distributed systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
A graph transformation approach to software architecture reconfiguration
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Methodical Analysis of Adaptive Load Sharing Algorithms
IEEE Transactions on Parallel and Distributed Systems
Software Process Model Evolution in the SPADE Environment
IEEE Transactions on Software Engineering
The Programmers' Playground: I/O Abstraction for User-Configurable Distributed Applications
IEEE Transactions on Software Engineering
Specifying a Component Model for Building Dynamically Reconfigurable Distributed Systems
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Towards Systematic Synthesis of Reflective Middleware
Reflection '99 Proceedings of the Second International Conference on Meta-Level Architectures and Reflection
Reconfiguration of Software Architecture Styles with Name Mobility
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
On the Integration of Configuration and Meta-level Programming Approaches
Proceedings of the 1st OOPSLA Workshop on Reflection and Software Engineering: Reflection and Software Engineering, Papers from OORaSE 1999
Domain-Driven Reconfiguration in Collaborative Virtual Environments
WET-ICE '97 Proceedings of the 6th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises
A Component Framework for Dynamic Reconfiguration of Distributed Systems
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Architectural Reflection: Realising Software Architectures via Reflective Activities
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
The Cost of Communication Protocols and Coordination Languages in Embedded Systems
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Reconfiguration in the Enterprise JavaBean Component Model
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Using Persistent Objects for Configuration Management in Distributed Systems.
SMW '96 Proceedings of the 2nd IEEE International Workshop on Systems Management (SMW'96)
Tool support for collaborative software prototyping
WET-ICE '95 Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95)
Live Upgrades of CORBA Applications Using Object Replication
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Towards an Algebra of Architectural Connectors: a Case Study on Synchronization for Mobility
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Connectors Synthesis for Deadlock-Free Component-Based Architectures
Proceedings of the 16th IEEE international conference on Automated software engineering
An Open Visual Model for Object-Oriented Operating Systems
IWOOOS '95 Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems
Supporting Rapid Prototyping through Frequent and Reliable Deployment of Evolving Components
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
On the theory of system administration
Science of Computer Programming
Automated Software Engineering
Multimedia streaming services: specification, implementation, and retrieval
MIR '03 Proceedings of the 5th ACM SIGMM international workshop on Multimedia information retrieval
An Open Framework for Dynamic Reconfiguration
Proceedings of the 26th International Conference on Software Engineering
Configurable immunity for evolving human-computer systems
Science of Computer Programming - Methods of software design: Techniques and applications
Automated Dynamic Reconfiguration using AI Planning
Proceedings of the 19th IEEE international conference on Automated software engineering
Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Adaptive event communication in component-based systems
ARM '04 Proceedings of the 3rd workshop on Adaptive and reflective middleware
NeCoMan: middleware for safe distributed service deployment in programmable networks
ARM '04 Proceedings of the 3rd workshop on Adaptive and reflective middleware
The design of a configurable and reconfigurable middleware platform
Distributed Computing
Developing dynamic-reconfigurable communication protocol stacks using Java: Research Articles
Software—Practice & Experience
A planning based approach to failure recovery in distributed systems
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Towards preserving correctness in self-managed software systems
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Engineering distributed software: a structural discipline
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Towards a unified formal model for supporting mechanisms of dynamic component update
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Manipulating managed execution runtimes to support self-healing systems
DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software
Retrofitting networked applications to add autonomic reconfiguration
DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software
From product lines to self-managed systems: an architecture-based runtime reconfiguration framework
DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software
Specifying adaptation semantics
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
NeCoMan: Middleware for Safe Distributed-Service Adaptation in Programmable Networks
IEEE Distributed Systems Online
Towards a taxonomy of software change: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice - Unanticipated Software Evolution
Self-adaptive multithreaded applications: a case for dynamic aspect weaving
ARM '05 Proceedings of the 4th workshop on Reflective and adaptive middleware systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A component-based approach to online software evolution: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice
A design for adaptive web service evolution
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Hotswapping Linux kernel modules
Journal of Systems and Software
Using resemblance to support component reuse and evolution
Proceedings of the 2006 conference on Specification and verification of component-based systems
A design technique for evolving web services
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
Adding dynamic reconfiguration support to JBoss AOP
MAI '07 Proceedings of the 1st workshop on Middleware-application interaction: in conjunction with Euro-Sys 2007
Scheduling and simulation: how to upgrade distributed systems
HOTOS'03 Proceedings of the 9th conference on Hot Topics in Operating Systems - Volume 9
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
Trade-offs in the Configuration of a Network on Chip for Multiple Use-Cases
NOCS '07 Proceedings of the First International Symposium on Networks-on-Chip
Undisrupted quality-of-service during reconfiguration of multiple applications in networks on chip
Proceedings of the conference on Design, automation and test in Europe
Model-Based Software Design and Adaptation
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Digitally Evolving Models for Dynamically Adaptive Systems
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Mixed-Mode Adaptation in Distributed Systems: A Case Study
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Designing Run-Time Fault-Tolerance Using Dynamic Updates
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Supporting Run-Time Evolution In Seescoa
Journal of Integrated Design & Process Science
EURASIP Journal on Applied Signal Processing
A framework for supporting dynamic systems co-evolution
Automated Software Engineering
Plan-directed architectural change for autonomous systems
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
Tranquility: A Low Disruptive Alternative to Quiescence for Ensuring Safe Dynamic Updates
IEEE Transactions on Software Engineering
ACM SIGSOFT Software Engineering Notes
Integrated change and configuration management
IBM Systems Journal
Support for distributed adaptations in aspect-oriented middleware
Proceedings of the 7th international conference on Aspect-oriented software development
From goals to components: a combined approach to self-management
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Runtime adaptation in a service-oriented component model
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Architecting reconfigurable component-based operating systems
Journal of Systems Architecture: the EUROMICRO Journal
Reliable dynamic reconfigurations in the fractal component model
Proceedings of the 6th international workshop on Adaptive and reflective middleware: held at the ACM/IFIP/USENIX International Middleware Conference
Feature-Oriented Analysis and Specification of Dynamic Product Reconfiguration
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Pervasive Services on the Move: Smart Service Diffusion on the OSGi Framework
UIC '08 Proceedings of the 5th international conference on Ubiquitous Intelligence and Computing
An architectural approach to the correct and automatic assembly of evolving component-based systems
Journal of Systems and Software
Towards modelling and analysis of a coordination protocol for dynamic software adaptation
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Dynamic adaptive software components: the MOCAS approach
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Ontology-Based Compatibility Checking for Web Service Configuration Management
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Introspecting continuations in order to update active code
Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades
DynaQoS©-RDF: a best effort for QoS-assurance of dynamic reconfiguration of dataflow systems
Journal of Software Maintenance and Evolution: Research and Practice
Self-adaptive software: Landscape and research challenges
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Dynamic update of Java applications—balancing change flexibility vs programming transparency
Journal of Software Maintenance and Evolution: Research and Practice - Special Issue on the 12th Conference on Software Maintenance and Reengineering (CSMR 2008)
Model-based runtime reconfiguration of component-based systems
Proceedings of the Warm Up Workshop for ACM/IEEE ICSE 2010
On the use of software models during software execution
MISE '09 Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering
Exploring approaches to dynamic adaptation
Proceedings of the 3rd International DiscCoTec Workshop on Middleware-Application Interaction
Towards Self-organization in Automotive Embedded Systems
ATC '09 Proceedings of the 6th International Conference on Autonomic and Trusted Computing
Comprehensive life cycle support for access rules in information systems: the CEOSIS project
Enterprise Information Systems - Towards Model-driven Service-oriented Enterprise Computing - 12th International IEEE EDOC Enterprise Computing Conference (EDOC 2008)
A rigorous architectural approach to adaptive software engineering
Journal of Computer Science and Technology
SM@RT: towards architecture-based runtime management of Internetware systems
Proceedings of the First Asia-Pacific Symposium on Internetware
Methodology evaluation framework for dynamic evolution in composition-based distributed applications
Journal of Systems and Software
Formalizing Adaptation On-the-Fly
Electronic Notes in Theoretical Computer Science (ENTCS)
Cooperative update: a new model for dependable live update
Proceedings of the 2nd International Workshop on Hot Topics in Software Upgrades
Context-driven migration and diffusion of pervasive services on the OSGi framework
International Journal of Autonomous and Adaptive Communications Systems
Correct Execution of Reconfiguration for Stateful Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Context-driven migration and diffusion of pervasive services on the OSGi framework
International Journal of Autonomous and Adaptive Communications Systems
Software adaptation patterns for service-oriented architectures
Proceedings of the 2010 ACM Symposium on Applied Computing
Software architecture and mobility: A roadmap
Journal of Systems and Software
Design patterns for developing dynamically adaptive systems
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Automatically generating adaptive logic to balance non-functional tradeoffs during reconfiguration
Proceedings of the 7th international conference on Autonomic computing
Challenges in making pervasive systems dependable
Future directions in distributed computing
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation
Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic code evolution for Java
Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java
ReCaml: execution state as the cornerstone of reconfigurations
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Model-based management of ubiquitous and autonomic M2M service architecture
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems
Mode-based reconfiguration of critical software component architectures
Proceedings of the Conference on Design, Automation and Test in Europe
Modelling the asynchronous dynamic evolution of architectural types
SOAR'09 Proceedings of the First international conference on Self-organizing architectures
A formal approach to enforcing consistency in self-adaptive systems
ECSA'10 Proceedings of the 4th European conference on Software architecture
On the role of architectural styles in improving the adaptation support of middleware platforms
ECSA'10 Proceedings of the 4th European conference on Software architecture
Safely updating running software: tranquility at the object level
Proceedings of the 7th Workshop on Reflection, AOP and Meta-Data for Software Evolution
Towards dynamic adaptation of probabilistic systems
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Supporting runtime software architecture: A bidirectional-transformation-based approach
Journal of Systems and Software
Architectural issues of adaptive pervasive systems
Graph transformations and model-driven engineering
Predictable dynamic deployment of components in embedded systems
Proceedings of the 33rd International Conference on Software Engineering
Elastic executions from inelastic programs
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Dynamic software update for component-based distributed systems
Proceedings of the 16th international workshop on Component-oriented programming
Dynamic software adaptation for service-oriented product lines
Proceedings of the 15th International Software Product Line Conference, Volume 2
Specifying and verifying the SYNERGY reconfiguration protocol with LOTOS NT and CADP
FM'11 Proceedings of the 17th international conference on Formal methods
Version-consistent dynamic reconfiguration of component-based distributed systems
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
State/event-based LTL model checking under parametric generalized fairness
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Evaluating the impacts of dynamic reconfiguration on the QoS of running systems
Journal of Systems and Software
An Approach of Process Control in Software Product Line
GREENCOM '11 Proceedings of the 2011 IEEE/ACM International Conference on Green Computing and Communications
On the use of code mobility mechanisms in real-time systems
ACM SIGBED Review - Special Issue on the 10th International Workshop on Real-time Networks (RTN 2011)
Dynamic policy management on business performance management architecture
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
A dynamic class construct for asynchronous concurrent objects
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A novel distributed scheduling algorithm for resource sharing under near-heavy load
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
Rolling upgrades for continuous services
ISAS'04 Proceedings of the First international conference on Service Availability
Middleware support for dynamic component updating
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Enabling safe dynamic component-based software adaptation
Architecting Dependable Systems III
A feature-oriented alternative to implementing reliability connector wrappers
Architecting Dependable Systems III
Connecting embedded devices using a component platform for adaptable protocol stacks
Component-Based Software Development for Embedded Systems
Engineering reconfigurable distributed software systems: issues arising for pervasive computing
Rigorous Development of Complex Fault-Tolerant Systems
Modular software upgrades for distributed systems
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
MADCAR: an abstract model for dynamic and automatic (re-)assembling of component-based applications
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Type-Safe runtime class upgrades in creol
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Run-Time and atomic weaving of distributed aspects
Transactions on Aspect-Oriented Software Development II
Distributed adaption of dining philosophers
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Specifying and verifying the correctness of dynamic software updates
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
Utilizing architectural styles to enhance the adaptation support of middleware platforms
Information and Software Technology
Safety implementation of adaptive embedded control components
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems
Verification of a self-configuration protocol for distributed applications in the cloud
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Dealing with changes in service orchestrations
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Context-oriented programming for customizable SaaS applications
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Automating the reconfiguration for self-adaptable software
Proceedings of the 17th international doctoral symposium on Components and Architecture
Local dynamic update for component-based distributed systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Change impact analysis in service-based business processes
Service Oriented Computing and Applications
Formal modeling of evolving self-adaptive systems
Science of Computer Programming
Structural reconfiguration of systems under behavioral adaptation
Science of Computer Programming
Mining the execution history of a software system to infer the best time for its adaptation
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
An active architecture approach to dynamic systems co-evolution
ECSA'07 Proceedings of the First European conference on Software Architecture
Relaxing claims: coping with uncertainty while evaluating assumptions at run time
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
A declarative approach for software compositional reconfiguration
Proceedings of the 11th International Workshop on Adaptive and Reflective Middleware
Model checking LTLR formulas under localized fairness
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Automatically RELAXing a goal model to cope with uncertainty
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
OPEN Platform for Migration of Interactive Services: Architecture and Evaluation
International Journal of Adaptive, Resilient and Autonomic Systems
Unrestricted and safe dynamic code evolution for Java
Science of Computer Programming
Robust reconfigurations of component assemblies
Proceedings of the 2013 International Conference on Software Engineering
Formalizing correctness criteria of dynamic updates derived from specification changes
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
A hybrid approach for resource-based comparison of adaptable Java applications
Science of Computer Programming
An experience report on the verification of autonomic protocols in the cloud
Innovations in Systems and Software Engineering
Managing environment and adaptation risks for the internetware paradigm
Theories of Programming and Formal Methods
Back to the future: fault-tolerant live update with time-traveling state transfer
LISA'13 Proceedings of the 27th international conference on Large Installation System Administration
A reconfigurable real-time SDRAM controller for mixed time-criticality systems
Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis
A systematic literature review of service choreography adaptation
Service Oriented Computing and Applications
A survey of change management in service-based environments
Service Oriented Computing and Applications
Organisational structures in next-generation distributed systems: Towards a technology of agreement
Multiagent and Grid Systems
Hi-index | 0.00 |
A model for dynamic change management which separates structural concerns from component application concerns is presented. This separation of concerns permits the formulation of general structural rules for change at the configuration level without the need to consider application state, and the specification of application component actions without prior knowledge of the actual structural changes which may be introduced. In addition, the changes can be applied in such a way so as to leave the modified system in a consistent state, and cause no disturbance to the unaffected part of the operational system. The model is applied to an example problem, 'evolving philosophers'. The principles of this model have been implemented and tested in the Conic environment for distributed systems.