2623 search results - page 166 / 525 » tools 2010 |
179
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
213
click to vote
JUCS
2010
15 years 4 months ago
2010
: Nowadays, personalized education is a very hot topic in technology enhanced learning (TEL) research. To support students during their learning process, the first step consists in...
156
click to vote
AMW
2010
15 years 7 months ago
2010
Abstract. Inference control can guarantee confidentiality but is costly to implement. Access control can be implemented efficiently but cannot guarantee confidentiality. Hence, it ...
165
click to vote
CRIWG
2010
15 years 7 months ago
2010
It is already known that some collaborative assessment processes can provide students not only the possibility to show how well they have understood knowledge content, but also the...
176
click to vote
CRIWG
2010
15 years 7 months ago
2010
Abstract. Workspace awareness support is mandatory for group support systems. In this paper, we present a novel approach to asynchronous awareness by means of traceability support....