19 search results - page 4 / 4 » Tangible Cubes as Programming Objects |
ACMMSP
2006
ACM
13 years 8 months ago
2006
ACM
We introduce a method for providing lightweight daemons, called simplifiers, that attach themselves to program data. If a data item has a simplifier, the simplifier may be run aut...
SIGOPS
2008
13 years 4 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
CRIWG
2004
13 years 6 months ago
2004
Awareness is an essential requirement in collaborative activities. This paper presents Ariane, a generic and reusable awareness infrastructure, independent of a specific applicatio...
SIGMOD
2004
ACM
14 years 4 months ago
2004
ACM
Database system architectures are undergoing revolutionary changes. Most importantly, algorithms and data are being unified by integrating programming languages with the database ...