1809 search results - page 122 / 362 » Using GDE in Educational Systems |
250
Voted
CASCON
2010
15 years 13 days ago
2010
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
150
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
In this paper we consider the k-set agreement problem in distributed round-based systems where processes communicate by message passing. We capture the synchrony and reliability o...
116
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. This paper introduces the RoboCast communication abstraction. The RoboCast allows a swarm of non oblivious, anonymous robots that are only endowed with visibility sensors...
120
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mecha...
128
Voted
ERCIMDL
2006
Springer
15 years 7 months ago
2006
Springer
Digital libraries have untapped potential for supporting language teaching and learning. Although the Internet at large is widely used for language education, it has critical disad...