Questionnaires are a cheap and highly efficient tool for achieving a quantitative measure of a product’s user experience (UX). However, it is not always easy to decide, if a questionnaire result can really show whether a product satisfies this quality aspect. So a benchmark is useful. It allows comparing the results of one product to a large set of other products. In this paper we describe a be...

X iv :0 80 9. 25 51 v1 [ m at h. C O ] 1 5 Se p 20 08 Spanning Trees in Grid Graphs Paul Raff July 25, 2008 Abstract A general method is obtained for finding recurrences involving the number of spanning trees of grid graphs, obtained by taking the graph product of an arbitrary graph and path or cycle. The results in this paper extend the work by Desjarlais and Molina and give concrete methods f...

If X is a locale then its valuation locale VX has for its points the valuations on X. V is the functor part of a strong monad on the category of locales, a localic analogue of the Giry monad. It is commutative, i.e. product valuations exist and a Fubini Theorem holds. An analogue of the Riesz Representation Theorem holds. Concrete representations are given for the tensor product of lattices and...

Service-Oriented Architecture fosters the loose coupling of services aimed at maximizing flexibility, adaptability and configurability. Services of different providers can easily be integrated into a common framework with standardized technology like Web Services. A Software Product Line depicts a systematic software reuse approach by handling various types of flexible software artifacts that f...

Context You specify a software system with the Unified Modeling Language (UML) [3] and use some of UML-compatible software development method such as the Rational Unified Process [4], Catalysis [5] and Fusion [1]. During the software development process, you identify certain specifications concerning the software product. This information could be very general, such as the vision of the product...

In this paper we provide concrete constructions of idempotents to represent typical singular matrices over a given ring as a product of idempotents and apply these factorizations for proving our main results. We generalize works due to Laffey ([12]) and Rao ([3]) to noncommutative setting and fill in the gaps in the original proof of Rao’s main theorems (cf. [3], Theorems 5 and 7 and [4]). We a...

We show that on a closed smooth manifold M equipped with k fiber bundle structures whose vertical distributions span the tangent bundle, every smooth diffeomorphism f of M sufficiently close to the identity can be written as a product f = f1 · · · fk, where fi preserves the ith-fiber. The factors fi can be chosen smoothly in f . We apply this result to show that on a certain class of closed smo...

what is imagination and image? how is a mental picture formed? how does the product of imagination appear as an artistic or literary from? what are the factors that cause man to prefer the world of imagination over reality, making it, his/her choice and becoming an artist or a writer? these were the questions that made jean-paul sartre busy between 1920 to 1940, and after that he was thinking a...

The paper proposes to integrate performance analysis in the early phases of the model-driven development process for Software Product Lines (SPL). We start by adding generic performance annotations to the UML model representing the set of core reusable SPL assets. The annotations are generic and use the MARTE Profile recently adopted by OMG. A first model transformation realized in the Atlas Tr...

This paper addresses two major challenges new product development teams face in making a product people want. The first challenge is to frame the design situation based on a real need of a customer. The second, less obvious, challenge is to get everyone on the team in agreement about what that framing is everyone needs to be on the same page about what it is they're doing. Yet these two challen...