Generation of a Reversible Semantics for Erlang in Maude | 0 | 0.34 | 2022 |
Causal-Consistent Debugging of Distributed Erlang Programs. | 0 | 0.34 | 2021 |
Causality analysis and fault ascription in component-based systems. | 0 | 0.34 | 2020 |
From Behavioural Contracts to Session Types. | 0 | 0.34 | 2019 |
Counterfactual Causality from First Principles? | 0 | 0.34 | 2017 |
Reversibility in the higher-order π-calculus. | 11 | 0.59 | 2016 |
Fault Ascription in Concurrent Systems | 2 | 0.37 | 2015 |
Components as Location Graphs. | 0 | 0.34 | 2014 |
Concurrent flexible reversibility | 4 | 0.46 | 2013 |
A reversible abstract machine and its space overhead | 13 | 0.66 | 2012 |
Controlled Reversibility and Compensations. | 2 | 0.43 | 2012 |
A component-based middleware platform for reconfigurable service-oriented architectures | 93 | 3.20 | 2012 |
Revisiting glue expressiveness in component-based systems | 4 | 0.40 | 2011 |
Characterizing contextual equivalence in calculi with passivation | 6 | 0.43 | 2011 |
Controlling reversibility in higher-order Pi | 30 | 1.29 | 2011 |
Reversing Higher-Order Pi | 27 | 1.30 | 2010 |
Reconfigurable SCA Applications with the FraSCAti Platform | 55 | 2.07 | 2009 |
Normal Bisimulations in Calculi with Passivation | 12 | 0.55 | 2009 |
Typing Component-Based Communication Systems | 4 | 0.44 | 2009 |
Howe's Method for Calculi with Passivation | 12 | 0.60 | 2009 |
Component-based architecture: the Fractal initiative | 18 | 0.80 | 2009 |
A Self-repair Architecture for Cluster Systems | 2 | 0.39 | 2008 |
Architecting reconfigurable component-based operating systems | 6 | 0.53 | 2008 |
Typing communicating component assemblages | 3 | 0.39 | 2008 |
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset | 26 | 1.16 | 2007 |
Oz/K: a kernel language for component-based open programming | 11 | 0.54 | 2007 |
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project | 13 | 0.89 | 2007 |
Experience with safe dynamic reconfigurations in component-based embedded systems | 22 | 1.11 | 2007 |
Reengineering J2EE Servers for Automated Management in Distributed Environments | 6 | 0.46 | 2007 |
Dream types: a domain specific type system for component-based message-oriented middleware | 6 | 0.59 | 2006 |
Building Reconfigurable Component-Based OS with THINK | 11 | 0.69 | 2006 |
The FRACTAL component model and its support in Java | 306 | 11.22 | 2006 |
Fractal component-based software engineering | 6 | 0.49 | 2006 |
Architecture-Based Autonomous Repair Management: An Application to J2EE Clusters | 18 | 1.06 | 2005 |
PHP and SQL Made Simple | 0 | 0.34 | 2005 |
Component-oriented programming with sharing: containment is not ownership | 5 | 0.42 | 2005 |
DREAM: A Component Framework for Constructing Resource-Aware, Configurable Middleware | 28 | 1.17 | 2005 |
Bringing ease and adaptability to MPSoC software design: a component-based approach | 1 | 0.35 | 2005 |
J2EE packaging, deployment and reconfiguration using a general component model | 7 | 0.76 | 2005 |
An abstract machine for the kell calculus | 6 | 0.46 | 2005 |
A Component-based Approach for MPSoC SW Design: Experience with OS Customization for H.264 Decoding | 4 | 0.52 | 2005 |
Cellules : composants et réflexivité | 0 | 0.34 | 2004 |
The kell calculus: a family of higher-order distributed process calculi | 55 | 2.04 | 2004 |
Support pour la reconfiguration d'implantation dans les applications a composants Java | 2 | 0.51 | 2004 |
DREAM: a component framework for the construction of resource-aware, reconfigurable MOMs | 20 | 1.14 | 2004 |
A component-based approach to distributed system management: a use case with self-manageable J2EE clusters | 4 | 0.82 | 2004 |
The Kell Calculus: Operational Semantics and Type System | 12 | 0.64 | 2003 |
The m-calculus: a higher-order distributed process calculus | 41 | 1.56 | 2003 |
A calculus of Kells | 10 | 0.65 | 2003 |
Distributed Applications and Interoperable Systems, 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings | 2 | 0.72 | 2003 |