44 search results - page 5 / 9 » Experiences with a Formal Method for Design and Automatic Ch... |
MKM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
PLDI
2006
ACM
14 years 1 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
ACMDIS
2000
ACM
13 years 11 months ago
2000
ACM
To create successful interactive systems, user interface designers need to cooperate with developers and application domain experts in an interdisciplinary team. These groups, how...
IUI
2006
ACM
14 years 1 months ago
2006
ACM
Sketch interfaces provide more natural interaction than the traditional mouse and palette tool, but can be time consuming to build if they have to be built anew for each new domai...
CHI
2005
ACM
14 years 7 months ago
2005
ACM
Lighting assumes many aesthetic and communicative functions in game environments that affect attention, immersion, visibility, and emotions. Game environments are dynamic and high...