With shrinking noise margins and increasing numbers of on-chip noise sources, power grid design has become a critical performance determinant. This paper presents an overview of r...
This paper presents a module system designed for largescale programming in Scheme. The module system separates speci cations of objects from their implementations, permitting the ...
We report on an examination of work practice in a knowledge-based, document-intensive organisation and describe the role of paper in that work. We show how such an examination can...
Customer reviews and recommendations for products are provided by almost all e-business platforms, supporting consumers when shopping on the web. Mobile and ubiquitous computing p...
Felix von Reischach, Florian Michahelles, Albrecht...
We present a conceptual framework for validating reusable behavioral models. The setting for this work is a modern product development environment in which design is performed by ...