740 search results - page 94 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
CHI
2009
ACM
16 years 2 months ago
2009
ACM
Despite increased knowledge about how Information and Communications Technologies (ICTs) are used to support religious and spiritual practices, designers know little about how to ...
ICSE
1998
IEEE-ACM
15 years 5 months ago
1998
IEEE-ACM
The development of complex distributed systems demands for the creation of suitable architectural styles (or paradigms) and related run-time infrastructures. An emerging style tha...
102
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
Click fraud is jeopardizing the industry of Internet advertising. Internet advertising is crucial for the thriving of the entire Internet, since it allows producers to advertise t...
CHI
2007
ACM
16 years 1 months ago
2007
ACM
We describe Storytelling Alice, a programming environment that introduces middle school girls to computer programming as a means to the end of creating 3D animated stories. Storyt...
CHI
2007
ACM
15 years 5 months ago
2007
ACM
Intrusion detection (ID) is one of network security engineers' most important tasks. Textual (command-line) and visual interfaces are two common modalities used to support en...