Sciweavers

2263 search results - page 89 / 453
» Principles of Template Design
Sort
View
212
Voted
EHCI
1998
15 years 4 months ago
Embodied User Interfaces: Towards Invisible User Interfaces
: There have been several recent examples of user interface techniques in which the user uses a computational device by physically manipulating the device. This paper proposes that...
Kenneth P. Fishkin, Thomas P. Moran, Beverly L. Ha...

Lecture Notes
700views
17 years 1 months ago
Foundations of Computer Science
"This course has two objectives. First (and obvious) is to teach programming. Second is to present some fundamental principles of computer science, especially algorithm desi...
Lawrence C Paulson
152
Voted
AMAST
2000
Springer
15 years 7 months ago
The Algebra of Multi-tasking
Modelling multi-tasking behaviour is an important phase of real-time system design. It is shown how task scheduling principles can be captured in a CCS-based process algebra via ex...
Colin J. Fidge
GCSE
2000
Springer
15 years 7 months ago
Mixin-Based Programming in C++
Combinations of C++ features, like inheritance, templates, and class nesting, allow for the expression of powerful component patterns. In particular, research has demonstrated that...
Yannis Smaragdakis, Don S. Batory
197
Voted
POPL
2003
ACM
16 years 3 months ago
A type system for higher-order modules
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
Derek Dreyer, Karl Crary, Robert Harper