Future satellite navigation systems (like Galileo) intend to provide safety-of-life services, or at least a form of integrity information. Integrity is characterized by the Probability of Hazardously Misleading Information, which is the probability that a user might exceed a certain error level (either fixed are variable). This definition, however, is incomplete, as it does not specify what is ...

A decade ago cosmological simulations of increasingly higher resolution were used to demonstrate that virialized regions of Cold Dark Matter (CDM) halos are filled with a multitude of dense, gravitationally-bound clumps. These dark matter subhalos are central regions of halos that survived strong gravitational tidal forces and dynamical friction during the hierarchical sequence of merging and a...

  In this paper, authors tackle three very important questions that need to be answered if a theory of design is to be constructed. The first is what designers do, Which we attempt to illustrate with the help of case studies and theories of design practice. The second question is what guides designers. Here, authors try to present some of the proposed normative positions about design, to show t...

In this paper, we describe the theoretical framing, design, and user study of a whole body interactive environment called Springboard. Springboard supports users to explore the concept of balance in the abstract domain of social justice through embodied interaction. We present the foundational theory of embodied conceptual metaphor, focusing on the twin-pan balance schema, which can be enacted ...

The development of service-oriented applications has reached a point where more specifications are needed to enable holistic transparent service-management. A three-schema-architecture for design of servicebase-management-systems according to the ANSI/SPARC-model for database design is proposed in this paper. The conceptual schema of the proposed architecture decribes the servicebase, what prov...