Sciweavers

560 search results - page 1 / 112
» Conceptualising work activity for CAL systems design
Sort
View
JCAL
2002
105views more  JCAL 2002»
13 years 4 months ago
Conceptualising work activity for CAL systems design
As computing technology has increasingly become relevant to people's everyday lives, emphasis is being placed on ensuring Computer Assisted Learning (CAL) tools support users ...
D. Mwanza
CHI
2007
ACM
14 years 5 months ago
Content-aware layout
We describe content-aware layout (CAL), a technique that automatically arranges windows on a user's desktop. Unlike conventional window managers that automatically cascade or...
Edward W. Ishak, Steven Feiner
APCHI
2004
IEEE
13 years 8 months ago
Designing for Flow in a Complex Activity
One component of a user's interaction with computer systems is commonly referred to as `flow'. Flow is an important consideration in interactive system design as it enca...
Jon M. Pearce, Steve Howard
JIIS
2008
104views more  JIIS 2008»
13 years 4 months ago
A framework for checking proofs naturally
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
Masahiko Sato
CAL
2006
13 years 4 months ago
A Page-based Hybrid (Software-Hardware) Dynamic Memory Allocator
Modern programming languages often include complex mechanisms for dynamic memory allocation and garbage collection. These features drive the need for more efficient implementation ...
Wentong Li, Saraju P. Mohanty, Krishna M. Kavi