4744 search results - page 472 / 949 » Connected Computing |
175
click to vote
FOSSACS
2005
Springer
16 years 17 hour ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
155
click to vote
GCC
2005
Springer
16 years 15 hour ago
2005
Springer
The structured peer-to-peer system, which is based on the distributed hash table, offers an administration-free and fault-tolerant application-level overlay network. However, a ra...
165
click to vote
GCC
2005
Springer
16 years 15 hour ago
2005
Springer
Building a topology-aware peer-to-peer overlay network can bring many advantages, such as providing locality-aware connectivity and reducing routing path length. While its benefit...
163
click to vote
ICALP
2005
Springer
16 years 12 hour ago
2005
Springer
In the Euclidean group Traveling Salesman Problem (TSP), we are given a set of points P in the plane and a set of m connected regions, each containing at least one point of P. We w...
141
click to vote
ICCS
2005
Springer
16 years 10 hour ago
2005
Springer
Abstract. Handover is one of the most important factors that may degrade the performance of TCP connections and real-time applications in wireless data networks. We developed a los...