22 search results - page 3 / 5 » Thinking in Java |
NSDI
2010
13 years 9 months ago
2010
Early web content was expressed statically, making it amenable to straightforward prefetching to reduce userperceived network delay. In contrast, today's rich web application...
HT
1999
ACM
14 years 1 days ago
1999
ACM
Since the beginning of the WWW, tools have been developed to augment the functionality of the Web. This paper provides an investigation of hypermedia tools and systems integrating...
WSPI
2004
13 years 9 months ago
2004
Abstract. The traditional overlap between computer science and philosophy centres upon the issue of in what sense a computer may be said to think. A lesser known issue of potential...
CADE
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
MA
1999
Springer
13 years 12 months ago
1999
Springer
Hive is a distributed agents platform, a decentralized system for building applications by networking local system resources. This paper presents the architecture of Hive, concent...