469 search results - page 22 / 94 » Putting curry-howard to work |
ECSCW
2001
13 years 9 months ago
2001
Work processes in team based software development need to be structured to minimise and resolve conflicting or divergent work. Current software development methodologies propose wa...
WWW
2003
ACM
14 years 8 months ago
2003
ACM
The paper presents the work of the Elena project. The contribution of this paper is twofold: The first part of the paper elaborates on the notion of educational services. Educatio...
SIGMOD
2009
ACM
14 years 7 months ago
2009
ACM
There has been much recent work on algorithms for limiting disclosure in data publishing. However, these algorithms have not been put to use in any comprehensive, usable toolkit f...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
We plan to evaluate different kinds of augmented feedback (tactile, video, sound) for learning basic dance choreographies. Therefore we develop a dance training system based on mo...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
In this work, the focus is put on the behavior of a system in case a fault occurs that disables the system from executing its applications. Instead of executing a random subset of...