7580 search results - page 1354 / 1516 » Prometheus design tool |
147
click to vote
GRID
2006
Springer
15 years 5 months ago
2006
Springer
Although grid computing offers great potential for executing large-scale bioinformatics applications, practical deployment is constrained by legacy interfaces. Most widely deployed...
160
click to vote
CE
2007
15 years 5 months ago
2007
This study investigated the effects of visualization of participation during computer-supported collaborative learning (CSCL). It is hypothesized that visualization of participat...
140
click to vote
GRID
2006
Springer
15 years 5 months ago
2006
Springer
Manual management of public key credentials can be a significant and often off-putting obstacle to Grid use, particularly for casual users. We describe the Portal-based User Regis...
120
Voted
CE
2007
15 years 5 months ago
2007
The paper reports a small-scale, long-term pilot project designed to foster strategic and reasoning abilities in young primary school pupils by engaging them in a number of comput...
152
click to vote
IPL
2008
15 years 5 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...