Sciweavers

2078 search results - page 334 / 416
» Using Aspects to Make Adaptive Object-Models Adaptable
Sort
View
WISE
2000
Springer
15 years 6 months ago
Modular Development of Multimedia Courseware
The use of multimedia in courseware and web-based learning is a current topic. This is influenced by the wide availability and the permanently improving technical possibilities. T...
Khaldoun Ateyeh, Jutta A. Mülle, Peter C. Loc...
ACMDIS
2000
ACM
15 years 6 months ago
Lingua Francas for Design: Sacred Places and Pattern Languages
A central challenge in interaction design has to do with its diversity. Designers, engineers, managers, marketers, researchers and users all have important contributions to make t...
Thomas Erickson
ACMDIS
2000
ACM
15 years 6 months ago
From Usability Lab to "Design Collaboratorium": Reframing Usability Practice
This paper presents an exploratory process in which three industrial usability groups, in cooperation with HCI researchers, worked to reframe their own work practice. The usabilit...
Jacob Buur, Susanne Bødker
SIGGRAPH
2000
ACM
15 years 6 months ago
Displaced subdivision surfaces
In this paper we introduce a new surface representation, the displaced subdivision surface. It represents a detailed surface model as a scalar-valued displacement over a smooth do...
Aaron W. F. Lee, Henry P. Moreton, Hugues Hoppe
IPPS
1999
IEEE
15 years 6 months ago
Mechanical Verification of a Garbage Collector
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
Klaus Havelund