710 search results - page 141 / 142 » Model Based Reengineering Of User Interfaces |
STORYTELLING
2005
Springer
13 years 11 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
ITCC
2003
IEEE
13 years 11 months ago
2003
IEEE
The goal of this paper is to describe a new approach to a content creation and delivery mechanism for a programming course. This approach is based on the concept of creating a lar...
HT
2003
ACM
13 years 11 months ago
2003
ACM
This paper addresses the problem of organizing material in mixed digital and physical environments. It presents empirical examples of how people use collectional artefacts and org...
HYBRID
2010
Springer
13 years 11 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
OSDI
1996
ACM
13 years 7 months ago
1996
ACM
This paper describes a novel approach to providingmodular and extensible operating system functionality and encapsulated environments based on a synthesis of microkernel and virtu...