39362 search results - page 7479 / 7873 » Global Computing Systems |
178
click to vote
ICTAC
2004
Springer
16 years 6 days ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
233
click to vote
ISPA
2004
Springer
16 years 6 days ago
2004
Springer
Static DHT topologies influence important features of such DHTs such as scalability, communication load balancing, routing efficiency and fault tolerance. Nevertheless, it is co...
195
click to vote
MIDDLEWARE
2004
Springer
16 years 6 days ago
2004
Springer
The Internet provides a wealth of useful information in a vast number of dynamic information sources, but it is difficult to determine which sources are useful for a given query. ...
167
click to vote
MIDDLEWARE
2004
Springer
16 years 6 days ago
2004
Springer
The need for sharing is well known in a large number of distributed applications. These applications are difficult to develop either for fully wired or mobile wireless networks. ...
209
click to vote
MIDDLEWARE
2004
Springer
16 years 6 days ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...