Tag
This paper proposes an indirect computing model and indirect formal method for optimizing cloud computing, using Chinese information data as an example to transition from data centers to knowledge centers.