Ensemble; Distributed system; Component; Role; Dynamic logic; Interaction scenario; Bisimulation equivalence;
机译:基于角色的协作和电子货运:回顾上个十年的发展基于角色的协作(RBC)是一种新兴的计算方法,它以角色为主要角色
机译:顺利进行:中国的汽车动力学发展仍在发展。专家小组评估当前的挑战和未来可能的发展
机译:动态授权的基于角色的网格应用访问控制
机译:基于角色的动态演变合奏的发展
机译:基于角色的身份量表:涉及股票期权和基于技能的薪酬应用程序的开发和现场测试。
机译:抗生素的发展和药效学的不断发展的作用—尽其所能?
机译:在早期发展期间动态地发展细胞尺寸使斑马鱼胚胎的正常腐蚀性运动
机译:DRBaC:动态联盟环境的分布式基于角色的访问控制