4029 search results - page 535 / 806 » Reconfigurable Systems in Education |
215
click to vote
CORR
2011
Springer
15 years 2 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...
295
Voted
TII
2011
15 years 2 months ago
2011
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
258
click to vote
JCDL
2011
ACM
14 years 10 months ago
2011
ACM
Serendipity occurs when one finds an interesting discovery while searching for something else. In digital libraries, recommendation engines are particularly well-suited for seren...
212
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...
182
click to vote
ITICSE
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we describe the use of some cooperative learning methodology sessions in a Project Based Learning course, in order to cover those topics uncovered by the project. C...