3238 search results - page 252 / 648 » Not Enough Points Is Enough |
170
click to vote
CHI
2005
ACM
15 years 8 months ago
2005
ACM
HIPs, or Human Interactive Proofs, are challenges meant to be easily solved by humans, while remaining too hard to be economically solved by computers. HIPs are increasingly used ...
181
click to vote
ERLANG
2008
ACM
15 years 8 months ago
2008
ACM
Currently most Erlang programs contain no or very little type information. This sometimes makes them unreliable, hard to use, and difficult to understand and maintain. In this pap...
218
Voted
MKWI
2008
15 years 8 months ago
2008
: Matchmaking between offers and requests is an essential mechanism in electronic market places. Description Logics have been proposed as a appropriate framework for representing o...
191
click to vote
OSDI
2000
ACM
15 years 8 months ago
2000
ACM
Knit is a new component definition and linking language for systems code. Knit helps make C code more understandable and reusable by third parties, helps eliminate much of the per...
208
click to vote
USENIX
1993
15 years 8 months ago
1993
In teaching operating systems at an undergraduate level, we believe that it is important to provide a project that is realistic enough to show how real operating systems work, yet...