1626 search results - page 3 / 326 » Computing the Types of the Relationships between Autonomous ... |
ENTCS
2008
13 years 6 months ago
2008
: Countably based filter spaces have been suggested in the 1970's as a model for recursion theory on higher types. Weak limit spaces with a countable base are known to be the ...
ICAC
2006
IEEE
14 years 12 days ago
2006
IEEE
Large amount of monitoring data can be collected from distributed systems as the observables to analyze system behaviors. However, without reasonable models to characterize systems...
WDAG
2004
Springer
13 years 11 months ago
2004
Springer
We study the power of reliable anonymous distributed systems, where processes do not fail, do not have identifiers, and run identical programmes. We are interested specifically i...
AIED
2009
Springer
14 years 29 days ago
2009
Springer
In this paper we explored the relationship between metacognitive statements and learning gains with students’ typed and spoken interactions with an intelligent tutoring system, c...
CCGRID
2008
IEEE
13 years 8 months ago
2008
IEEE
This paper examines the job exchange between parallel compute sites in a decentralized Grid scenario. Here, the local scheduling system remains untouched and continues normal oper...