4839 search results - page 690 / 968 » Providing SCORM with adaptivity |
172
click to vote
COREGRID
2007
Springer
16 years 26 days ago
2007
Springer
We investigate the problem of atomic commit in transactional database systems built on top of Distributed Hash Tables. Therefore we present a framework for DHTs to provide strong d...
165
click to vote
DAGM
2007
Springer
16 years 26 days ago
2007
Springer
Magnetic resonance spectral images provide information on metabolic processes and can thus be used for in vivo tumor diagnosis. However, each single spectrum has to be checked manu...
154
click to vote
ECTEL
2007
Springer
16 years 26 days ago
2007
Springer
Indicators help actors to organise, orientate and navigate through complex environments by providing contextual information relevant for the performance of learning tasks. In this ...
174
click to vote
ERCIMDL
2007
Springer
16 years 26 days ago
2007
Springer
Using keyword search to find relevant objects in digital libraries often results in way too large result sets. Based on the metadata associated with such objects, the faceted sear...
188
click to vote
ESOP
2007
Springer
16 years 25 days ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...