2860 search results - page 554 / 572 » The Greenfoot Programming Environment |
CHI
2008
ACM
16 years 5 days ago
2008
ACM
Open source projects are gradually incorporating usability methods into their development practices, but there are still many unmet needs. One particular need for nearly any open ...
CHI
2005
ACM
16 years 5 days ago
2005
ACM
The computer and communication systems that office workers currently use tend to interrupt at inappropriate times or unduly demand attention because they have no way to determine ...
93
Voted
CADE
2001
Springer
16 years 3 days ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
105
click to vote
SIGMOD
2002
ACM
15 years 12 months ago
2002
ACM
The widespread distribution and availability of smallscale sensors, actuators, and embedded processors is transforming the physical world into a computing platform. One such examp...
MOBIHOC
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, we address the problem of energy-conscious cache placement in wireless ad hoc networks. We consider a network comprising a server with an interface to the wired net...