Sign in

WST+iMPT: A High-performance Incremental Verification World State Model for Massive Accounts.

Lanju KongYaming DouQingqing YinXinping MinQingzhong 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