Component-based programming is about how to create application programs from
prefabricated components with new software that provides both glue between the …

The Service Component Architecture (SCA) provides a platform-independent component
model for service-oriented development. A service component with different communication …

Software deployment is a complex process, and industrial-strength frameworks such as.
NET, Java, and CORBA all provide explicit support for component deployment. However …

Programming in an open environment remains challenging because it requires combining
modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an …

This paper presents Classages, a novel interaction-centric object-oriented language.
Classes and objects in Classages are fully encapsulated, with explicit interfaces for all …

Component-oriented programming yields a tension between higher-order features
(deployment, reconfiguration, passivation), encapsulation, and component sharing. We …

Dynamic rebinding is the ability of changing the definitions of names at execution time.
While dynamic rebinding is clearly useful in practice, and increasingly needed in modern …

In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-
based security framework with a simple and declarative security architecture. The main …

Building on our previous work, we present a simple module calculus where execution steps
of a module component can be interleaved with reconfiguration steps (that is, reductions at …

We present a simple module calculus where selection and execution of a component is
possible on open modules, that is, modules that still need to import some external …