Learn More
A problem of research on overlay network is lack of testing platform. Recent research has shown that one can use distributed hash tables (DHTs) to build scalable, robust and efficient applications. However, large-scale distributed systems are hard to deploy, nor are DHTs . Open DHT is a publicly accessible DHT service. In contrast to the usual DHT model,(More)
In order to guarantee continuous delivery of video streaming over best-effort (BE) forwarding network, some quality-of-service (QoS) strategies such as RSVP and DiffServ must be used to improve the transmission performance. However, these methods are too difficult to be employed in practical applications since their technical complexity. In this paper, we(More)
We present a typed process calculus for dynamic web data. It features web data in networks, hyperlinks, service calls, scripts, dynamically accessing data and typing. In this paper, a typing system disciplines data handing at the level of channels and processes. We proved subject reduction theorem which says that well-type will be preserved by reduction in(More)
This paper presents an encoding scheme for pair sharing. Pair sharing relations and abstract operations required for a pair sharing analysis are encoded as Boolean functions and operations on Boolean functions. Preliminary experimental results with a prototype implementation are presented.
  • 1