3319 search results - page 477 / 664 » Type Theoretical Databases |
124
Voted
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Dependence graphs and memoization can be used to efficiently update the output of a program as the input changes dynamically. Recent work has studied techniques for combining the...
122
click to vote
WIKIS
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we ask to what extent collective cognition can be supported and sustained in classroom practices. One major challenge for learning in technology-rich, collaborative ...
145
click to vote
ACSC
2005
IEEE
15 years 10 months ago
2005
IEEE
There is now widespread acceptance of Web services and service-oriented architectures. But despite the agreement on key Web services standards there remain many challenges. Progra...
114
click to vote
ACSC
2005
IEEE
15 years 10 months ago
2005
IEEE
The iHealth Explorer tool, developed by CSIRO and DoHA, delivers web services type data mining and analytic facilities over a web interface, providing desktop access to sophistica...
128
click to vote
ACSC
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a simple approach for implementing flexible locking strategies in a system of components, which may themselves be composite objects. The approach is flexible in that a ...