740 search results - page 123 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
114
click to vote
JSAC
2006
15 years 1 months ago
2006
Measuring the performance of an implementation of a set of protocols and analyzing the results is crucial to understanding the performance and limitations of the protocols in a rea...
115
click to vote
SIGMOD
2002
ACM
16 years 1 months ago
2002
ACM
The Grid is an emerging platform to support on-demand "virtual organisations" for coordinated resource sharing and problem solving on a global scale. The application thr...
WWW
2010
ACM
15 years 8 months ago
2010
ACM
As sophisticated enterprise applications move to the Web, some advanced user experiences become difficult to migrate due to prohibitively high computation, memory, and bandwidth r...
110
click to vote
EDM
2010
15 years 2 months ago
2010
Curriculum planning is perhaps one of the most important tasks teachers must perform before instruction. While this task is facilitated by a wealth of existing online tools and res...
136
click to vote
PERCOM
2007
ACM
16 years 27 days ago
2007
ACM
One of the visions of pervasive computing is using mobile computers to interact with networked devices. A question raised by this vision is: Should the userinterfaces of these dev...