In electronic commerce on the Internet, a customer can choose among several competitive suppliers, but because of the nature of the Internet, the reliability and trustworthiness of suppliers may vary signi cantly. The customer's goal is to maximize its utility, by minimizing the expense required to ful ll its request, and maximizing its probability of success by some deadline. To this end, the ...

In this thesis we develop methods for the solution of infinite games and present implementations of corresponding algorithms in the framework of a platform for the experimental study of automata theoretic algorithms. Our focus is on games with winning conditions that express certain liveness properties. A central type of liveness requirement in applications (e.g., in controller synthesis) is th...

This paper considers the relationship between request distribution and replica distribution in data grid when request exhibits arbitrary clustered demands. We first give formal model of replication strategies in data grid system. Second, we investigate what is optimal way at the objective of minimizing average access latency to replicate data when request exhibits arbitrary clustered demands. W...

This paper presents solutions based on request based token control strategy for controlling the allocation of a single shared resource in logically interconnected networks such as single side wrap around mesh and regular mesh. In this strategy, a processor which is in need of the shared resource, sends a request to inform the token of the access request. Token, on receipt of a request, continue...