1547 search results - page 111 / 310 » The Isabelle Collections Framework |
ECOOP
2005
Springer
14 years 3 months ago
2005
Springer
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...
ERCIMDL
2005
Springer
14 years 3 months ago
2005
Springer
The Alexandria Digital Library (ADL) project has been working on automating the processes of building ADL collections and gathering the collection statistics on which ADL’s disco...
ERCIMDL
2001
Springer
14 years 2 months ago
2001
Springer
Federated digital libraries are composed of distributed, autonomous, and often heterogeneous information services but provide users with a transparent, integrated view of collected...
KR
2000
Springer
14 years 1 months ago
2000
Springer
We consider the two-fold problem of representing collective beliefs and aggregating these beliefs. We propose a novel representation for collective beliefs that uses modular, tran...
AISC
2008
Springer
14 years 4 days ago
2008
Springer
Grid computing offers a promising approach to solving challenging computational problems in an environment consisting of a large number of easily accessible resources. In this pape...