7 search results - page 1 / 2 » GridEcon: A Market Place for Computing Resources |
GECON
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. This paper discusses the rationales for a Grid market and, in particu
LREC
2010
13 years 8 months ago
2010
In this paper, we present a brief snapshot of the state of affairs in computational processing of Catalan and the initiatives that are starting to take place in an effort to bring...
CADE
1998
Springer
14 years 2 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 ...
CIKM
1994
Springer
14 years 1 months ago
1994
Springer
The rapid advances in computer and communication technologies, and their merger, is leading to a global information market place. It will consist of federations of very large numb...
ICSE
2001
IEEE-ACM
14 years 2 months ago
2001
IEEE-ACM
Mobility is redefining the hardware and software fabric of distributed systems. Wireless communication allows network hosts to participate in a distributed computation while on t...