3873642
On staleness and the delivery of web pages
A popular technique to improve the scalability of a web based system is caching at proxy servers. Caching has the drawback that a cached page becomes stale when the page is updated at the web server. In some cases, staleness may not be completely avoided because the server may not wish to expend the processing and communication resources required to transmit all the updates immediately. In general, if updates are transmitted less frequently, the staleness will tend to increase, but the amount of resources consumed will be reduced. The tradeoff between resource consumption and staleness is investigated. A measure of staleness is defined and optimization problems are formulated. The solutions to these problems allow one to come up with an optimal strategy for transmitting page updates. Numerical examples showing the resource consumption/staleness tradeoff are presented.
21841074
Delay Analysis of Broadcast Routing in Packet-Switching Networks
Broadcast addressing is the capability to send a packet from a source node to all other nodes in the network. Store-and-forward, packet-switching networks are not inherently designed to carry broadcast packets, and broadcasting has to be implemented by some sort of routing algorithm. In this paper, the source based forwarding algorithm is considered. With this algorithm, a spanning tree is defined for each node, and broadcast packets are sent along the branches of these trees. Approximation methods are presented to obtain a lower bound and estimates of the mean broadcast time. The accuracy of these methods is evaluated by comparison with simulation.
969658
Performance Analysis of Secure Web Server Based on SSL
In recent years, protocols have been developed to ensure secure communications over the Internet, e.g., the secure sockets layer (SSL) and secure electronic transaction (SET). Deployment of these protocols incurs additional resource requirements at the client and server. This may have a negative impact on system performance. In this paper, we consider a scenario where users request information pages stored on a web server, and some of the requests require secure communication. An analytic model is developed to study the performance of a web server based on SSL. In our model, the details of the client-server interactions found in a typical SSL session are represented explicitly. Input parameters to this model are obtained by measuring an existing SSL implementation. Numerical examples on the performance characteristics of SSL are presented.
3837698
On Staleness and the Delivery of Web Pages
A popular technique to improve the scalability of a web based system is caching at proxy servers. Caching has the drawback that a cached page becomes stale when the page is updated at the web server. In some cases, staleness may not be completely avoided because the server may not wish to expend the processing and communication resources required to transmit all the updates immediately. In general, if updates are transmitted less frequently, the staleness will tend to increase, but the amount of resources consumed will be reduced. The tradeoff between resource consumption and staleness is investigated. A measure of staleness is defined and optimization problems are formulated. The solutions to these problems allow one to come up with an optimal strategy for transmitting page updates. Numerical examples showing the resource consumption/staleness tradeoff are presented.
1015013
Watermarking of SAT using combinatorial isolation lemmas
Watermarking of hardware and software designs is an effective mechanism for intellectual property protection (IPP). Two important criteria for watermarking schemes are credibility and fairness. In this paper, we present the unique solution-based watermarking technique which provides, in a sense, the ultimate answer to both credibility and fairness requirements. Leveraging on a combinatorial theorem of Valiant and Vazirani, we demonstrate how ultimate credibility and complete fairness can almost always be achieved with high probability during the watermarking of the solution of the satisfiability (SAT) problem. The effectiveness of the technique is demonstrated on both specially created examples where the number of solutions is known, as well as on common CAD and operation research SAT instances.
14591533
Leveraging broadband access for true on-demand delivery of Internet videos
We consider in this paper how the increasingly popular broadband access can be leveraged for scalable and cost-effective video service. Although much work has been done for such service, the existing techniques either are not designed for on-demand video delivery, or do not take into account the vastly improved client receiving capability. In this paper, we address this problem and develop three novel video delivery techniques with two ultimate goals: minimizing service latency and maximize data sharing. With the new techniques, a client can be served as soon as server resource becomes available and meanwhile, all its receiving bandwidth can be used for data receiving. In particular, in the proposed dynamic scheduling algorithm, the efficiency of data sharing is further improved by also exploring server bandwidth for early delivery of video segments. This innovation is contradicted to the intuition that each video segment should be delivered as late as possible in order to maximize data sharing. We evaluate the performance of our new techniques using simulation and our study convincingly shows that with the new schemes, zero service latency can indeed be achieved with very minimal system resource.
1221107
A probabilistic constructive approach to optimization problems
We propose a new optimization paradigm for solving intractable combinatorial problems. The technique, named Probabilistic Constructive (PC), combines the advantages of both constructive and probabilistic algorithms. The constructive aspect provides relatively short runtime and makes the technique amenable for the inclusion of insights through heuristic rules. The probabilistic nature facilitates a flexible trade-off between runtime and the quality of solution. In addition to presenting the generic technique, we apply it to the Maximal Independent Set problem. Extensive experimentation indicates that the new approach provides very attractive trade-offs between the quality of the solution and runtime, often outperforming the best previously published approaches.
29262099
Transaction models for design environments
Abstract Design data bases used in the design of engineering artifacts have characteristics quite different from conventional data bases. While conventional data bases have, at any given time, a single correct value for each of object, design data bases, due to the presence of design alternates or versions, have available several correct versions of design objects. However, during a design process, when several design objects are involved, the different versions of each object chosen for the design has to be controlled such that they are compatible or version consistent. This article formalizes the notion of version consistency and proposes two transaction models for design processes, where the notion of version consistency itself is used as a basis for scheduling design transactions. A mechanism for enforcing version control is also presented.
17046491
Lightweight agents for intrusion detection
We have designed and implemented an intrusion detection system (IDS) prototype based on mobile agents. Our agents travel between monitored systems in a network of distributed systems, obtain information from data cleaning agents, classify and correlate information, and report the information to a user interface and database via mediators.Agent systems with lightweight agent support allow runtime addition of new capabilities to agents. We describe the design of our Multi-agent IDS and show how lightweight agent capabilities allowed us to add communication and collaboration capabilities to the mobile agents in our IDS.