The concept of presence, i.e. the sensation of ‘being there’ in a mediated environment, has received substantial attention from the virtual reality community, and is becoming increasingly relevant both to broadcasters and display developers. Although research into presence is still at an early stage of development, there is a consensus that presence has multiple determinants. To identify and te...

We propose a pattern-based software development method comprising analysis (using problem frames) and design (using architectural and design patterns), of which especially evolving systems benefit. Evolution operators guide a pattern-based transformation procedure, including re-engineering tasks for adjusting a given software architecture to meet new system demands. Through application of these...

This study aims to explore visual complexity in streetscape composition using RMS contrast information and Fractal Analysis. The dataset was composed of 74 streetscape images, taken in Algeria and Japan in daytime and nighttime. The evaluation and analysis covered two phases: (1) Subjective quantification of perceived complexity using ranking method. (2) Visual complexity measurement based on R...

Transforming real-world requirements into specifications which are appropriate for subsequent software development is at the heart of Requirements Engineering. Doing it systematically remains an open challenge. In this paper we present a formal approach to systematise the move from requirements to specifications in the context of Jackson’s Problem Frames.

During the last half decade, various theories, concepts, and models have been established to make organizations more environmentally sustainable. The IS community had their share with the Green IS/IT domain. As it turned out most of these concepts took a very functional approach, not making a good fit for business process oriented organizations. To fill this gap the research stream of Green Bus...

In this work, a method for generating external schemas in object oriented databases in the ODMG framework is proposed. External schema generation involves obtaining all the relationships existing between the classes selected to make up an external schema. This generation process is part of an external schema definition system that we are developing, which allows the definition of external schem...

Our aim is to put the partially successful analytic noncovariant approaches to Coulomb gauge QCD on a firm and systematic basis. To this end, we develop a generating functional approach to the equal-time correlation functions. In fact, such a functional is given in terms of the vacuum wave functional, however, in a perturbative expansion of the equal-time correlation functions, the vacuum wave ...

In this paper, we study the instability of the zero solution to a nonlinear differential equation with variable delay. By using the Lyapunov functional approach, some sufficient conditions for instability of the zero solution are obtained. Keywords—Instability, Lyapunov-Krasovskii functional, delay differential equation, fifth order.

In this paper, we overview the recently introduced general framework of Description Logic Based Dynamic Systems, which leverages Levesque’s functional approach to model systems that evolve the extensional part of a description logic knowledge base by means of actions. This framework is parametric w.r.t. the adopted description logic and the progression mechanism. In this setting, we discuss ver...

Many psychologists collect multitrait-multimethod (MTMM) data to assess the convergent and discriminant validity of psychological measures. In order to choose the most appropriate model, the types of methods applied have to be considered. It is shown how the combination of interchangeable and structurally different raters can be analyzed with an extension of the correlated trait-correlated meth...