The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
Process-driven service-oriented architectures (SOA) need to cope with constant changing requirements of various compliance requirements, such as quality of service (QoS) constraint...
Ernst Oberortner, Uwe Zdun, Schahram Dustdar, Agni...
In this paper we propose an approach to support dynamic or runtime variability in systems that must adapt dynamically to changing runtime context. The approach is founded on refle...
Nelly Bencomo, Gordon S. Blair, Carlos A. Flores-C...
We present a new model of interactive audio for entertainment and communication. A new device called the DJammer and its associated technologies are described. The DJammer introdu...