— Solution diversity in evolutionary multi-objective optimization is considered. Although the Pareto front is ubiquitously used for the multi-objective optimization, the method o...
While fault-tolerance is desirable for grid applications because of the distributed and dynamic nature of grid resources, it has seldom been considered in static scheduling. We pr...
This paper presents a simulation study on complex On-Line Transaction Processing systems using TPC-C workload. The impacts on the response time of Inter-Connection Network (ICN) i...
In this paper, we design and analyze a soft handoff algorithm for code-division multiple access (CDMA) systems in a Rayleigh fading environment. For each mobile, this algorithm sel...
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...