机译:这是关于百里香:关于普及边缘计算环境时刻感知反应存储系统的设计与实现
机译:[高阶逻辑(HOL)-Haskell-Erlang FFI-Erlang Yanni机器学习库]基于电子显微镜异构计算和信息学R&D环境/ S-A的识别洞察力的Cryo-EM图像处理框架的基础机制和捷的技术沟通
机译:普适边缘计算环境中对等数据共享的公平高效的缓存算法和策略
机译:异构环境下普适计算外围共享机制的设计与实现
机译:在具有资源限制的普适计算环境中安全组成异构SOA服务的框架。
机译:普遍存在的环境中Web门户体系结构框架的设计和实现
机译:评估鲁棒机构设计的条件摘要:我们评估了鲁棒机构设计文献中确定的不同条件的强度。我们关注三个条件:事后激励兼容性,强大的单调性和强大的可测量性。事后激励兼容性已被证明对于任何稳健实现的概念都是必要的,而稳健单调性和鲁棒可测量性已被证明分别对于健壮(完全)精确和虚拟实现是必要的。本文表明,虽然违反事后激励兼容性和强健单调性的行为不容易消失,但我们在环境中确定了一个温和的条件,在这些环境中,所有社会选择函数都满足一阶类型的开放和密集子集的鲁棒可测量性。我们得出结论,确切地说,健壮的虚拟实现可以比强大的精确实现更加宽松。