8512 search results - page 171 / 1703 » Computing Theory With Relevance |
150
Voted
CHI
2007
ACM
16 years 5 months ago
2007
ACM
This work draws on studies which explore resistance to the music industry's construal of copying music files as theft. Following a previous ethnography on participants' ...
120
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
Many attempts to bridge the digital divide between lesser-developed countries (LDC) through Information & Communication Technology (ICT) projects have had little success. With...
137
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
In this note we consider the following decision problems. Let be a fixed first-order signature. (i) Given a first-order theory or ground theory T over of Turing degree , a program...
140
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...
125
click to vote
IWFM
2003
15 years 6 months ago
2003
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...