We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, octagon, linear template or polyhedron domains. While abstract transfer functions are still rather inexpensive and accurate even for interpreting non-linear computations, we are able to also interpret tests (i.e. intersections) efficiently. This fixes a ...

The value of management decisions, the security of our nation, and the very foundations of our business integrity are all dependent on the quality of data and information. However, the quality of the data and information is dependent on how that data or information will be used. This paper proposes a theory of data quality based on the five principles defined by J. M. Juran for product and serv...

The rationale of product platform-based product development has been well recognized for the implementation of mass customization. A product platform refers to the conceptual structure and logical organization of product families from both customer and technical viewpoints. This paper introduces graph grammar formalisms to the representation of product platform. The concepts of multi-pointed hy...

Within the next decade, as digital technologies become increasingly pervasive, we might find ourselves living with almost invisible, intelligent interactive systems an Ambient Intelligence that will form part of our everyday existence and ecology. The main challenge at this moment is to guarantee that the new Ambient Intelligence technologies are appropriate, sustainable and meet people's indiv...