1780 search results - page 82 / 356 » Polymorphic Contention Management |
ICFP
2005
ACM
14 years 10 months ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
AMKM
2003
Springer
14 years 3 months ago
2003
Springer
: Knowledge Management is most necessary and valuable in a collaborative and distributed environment. A problem with commercial knowledge management tools is that they do not unde...
ENTCS
2006
13 years 10 months ago
2006
One of the most important aspects of a Web document is its up-to-dateness or recency. Up-to-dateness is particularly relevant to Web documents because they usually contain content...
ICALT
2005
IEEE
14 years 3 months ago
2005
IEEE
Concept Maps constitute one of the tools mostly used in learning management due to the possibility that they offer to contextualize learning, share knowledge and for learning to le...
PGLDB
2003
13 years 11 months ago
2003
LON-CAPA is a distributed open-source Learning Content Management and Assessment System that provides instructors with a common, scalable platform to assist in several aspects of ...