The architecture of a system describes the system's overall organization into components
and connections between those components. With the emergence of mobile computing …

Architectural design patterns (ADPs) are architectural solutions to common architectural
design problems. They are an important concept in software architectures used for the …

The architecture of a system describes the system's overall organization into components
and connections between those components. With the emergence of mobile computing …

This paper presents a global scheme for 3D face reconstruction and face segmentation into
a limited number of analytical patches from stereo images. From a depth map, we generate …

The architecture of a system describes the system's overall organization into components
and connections between those components. With the emergence of mobile computing …

We propose a framework, syntactic theory functors (STFs), for creating syntactic structuring
mechanisms for specification languages. Good support for common reuse patterns is …

In component-based design, temporal logic is a means to specify the temporal behavior of
components. If these components are deployed to a dynamic architecture, they can be …

Reconfigurability, understood as the ability of a system to behave differently in different
modes of operation and commute between them along its lifetime, is a cross-cutting concern …

We propose new denotational (trace-based) and operational semantics for parallel Sagas
with interruption, prove the correspondence between the two and assess their merits wrt …

Software artifacts are ubiquitous in our lives being an essential part of home appliances,
cars, cel phones, and even in more critical activities like aeronautics and health sciences. In …