53390 search results - page 10357 / 10678 » Computer Systems Analysis |
206
click to vote
CIKM
2004
Springer
16 years 19 days ago
2004
Springer
Hierarchical peer to peer networks with multiple directory services are an important architecture for large-scale file sharing due to their effectiveness and efficiency. Recent ...
195
click to vote
ICTAC
2004
Springer
16 years 19 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...
211
click to vote
MFCS
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
213
click to vote
MIDDLEWARE
2004
Springer
16 years 18 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. ...
186
click to vote
MIDDLEWARE
2004
Springer
16 years 18 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. ...