1733 search results - page 60 / 347 » On the naturalness of software |
159
click to vote
CE
2004
15 years 6 months ago
2004
: Much recent educational research focuses on teaching and learning within classroom conversations. This raises the question of the role of ICT as a support for such conversations....
144
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Despite extensive testing in the development phase, residual defects can be a great threat to dependability in the operational phase. This paper studies the utility of lowcost, ge...
140
click to vote
IJHPCA
2010
15 years 4 months ago
2010
In this paper, we analyze restrictions of traditional communication performance models affecting the accuracy of analytical prediction of the execution time of collective communic...
211
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
Social network-based systems usually suffer from two major limitations: they tend to rely on a single data source (e.g. email traffic), and the form of network patterns is often p...
236
click to vote
POPL
2001
ACM
16 years 6 months ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...