Software engineering; Computer program verification; Information security; Algorithms; Mobile; Access; Distributed programming; Mobile computer programs;
机译:与机器无关的逻辑程序的AND和OR并行执行。二。编译执行
机译:分布式系统中的容错和安全移动代理执行建模
机译:与机器无关的逻辑程序的AND和OR并行执行。一,绑定环境
机译:安全执行移动程序
机译:武器系统程序财务执行的一种近似动态编程方法。
机译:移动传感器网络的安全且经济高效的分布式聚合
机译:分布式会话程序的安全执行