Login / Signup
WST+iMPT: A High-performance Incremental Verification World State Model for Massive Accounts.
Lanju Kong
Yaming Dou
Qingqing Yin
Xinping Min
Qingzhong Li
Published in:
ISPA/BDCloud/SocialCom/SustainCom (2021)
Keyphrases
</>
computational model
formal model
high level
probabilistic model
statistical model
data sets
theoretical analysis
case study
objective function
probability distribution
network model
finite state machines