机译:拜占庭宽容分布式生长集:规格和应用
Grow-only SetsDistributed LedgersBlockchainsAtomic appends;
机译:用于分布式应用程序的规范,仿真和分析的声明性框架
机译:分布式应用程序的规范,仿真和分析的声明性框架
机译:从规范模型到分布式嵌入式应用程序:一种整体的用户指导方法
机译:面向用于有线个性化通信和分布式多媒体应用的欧洲OSI应用层协议接口的SDL规范
机译:DLoVe:一种规范范式,用于为单个或多个用户设计分布式VR应用程序。
机译:考虑分布式发电的改进型量子人工鱼算法在分布式网络中的应用
机译:分布式应用程序的规范,仿真和分析的声明框架
机译:从规范和FunctionalComponents构建分布式ada应用程序