Failure recovery algorithm for LRT and transaction property analysis von Xiao-yong MEI, Chang-qin HUANG, Xiao-lin ZHENG, De-ren CHEN, Shi-xian LI

Volltext

Failure recovery algorithm for LRT and transaction property analysis von Xiao-yong MEI, Chang-qin HUANG, Xiao-lin ZHENG, De-ren CHEN, Shi-xian LI

Volltext

Determining substitutability of cloud services supported by semantically extended type theory von Xian-qing WANG, Chang-qin HUANG, UOXuan LUO, Rui-hua NIE, Yong TANG, Xiao-yong MEI

Volltext

Determining substitutability of cloud services supported by semantically extended type theory von Xian-qing WANG, Chang-qin HUANG, UOXuan LUO, Rui-hua NIE, Yong TANG, Xiao-yong MEI

Volltext