Sciweavers

529 search results - page 35 / 106
» Project planning using an interactive, structured modeling e...
Sort
View
CORR
2011
Springer
227views Education» more  CORR 2011»
14 years 4 months ago
Message Structures: a modelling technique for information systems analysis and design
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
Sergio España, Arturo González, Osca...
INTERACT
1997
14 years 11 months ago
Objectives, strategies and resources as design drivers
ABSTRACT This paper builds on an existing model of human-computer interaction that focuses on the information structures employed as distributed information resources by users in d...
Bob Fields, Peter C. Wright, Michael D. Harrison
ENTCS
2008
94views more  ENTCS 2008»
14 years 9 months ago
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
Hendrik Tews, Tjark Weber, Marcus Völp
INTERACT
2003
14 years 11 months ago
How Blind Users' Mental Models Affect Their Perceived Usability of an Unfamiliar Screen Reader
: This study investigates blind users’ mental models of Windows environment and their strategies in coping with new desktops and applications. The relationship between users’ m...
Sri Hastuti Kurniawan, Alistair G. Sutcliffe, Paul...
CHI
2005
ACM
15 years 10 months ago
A study on the manipulation of 2D objects in a projector/camera-based augmented reality environment
Are the object manipulation techniques traditionally used in head?mounted displays (HMDs) applicable to augmented reality based projection systems? This paper examines the differe...
Stephen Voida, Mark Podlaseck, Rick Kjeldsen, Clau...