• UniProt公司

  • 在129篇文章中引用[sw21320]
  • 帮助用户跟踪出处序列。我们提供了一个新的网站。。。
  • 麦克马斯

  • 引用72篇文章[sw09463]
  • 各种形式的时间逻辑经过证实的反应系统的基本原理,探员。。。逻辑[7]或知识逻辑经过证实的在很多领域都很有用,包括。。。
  • 斯卡拉

  • 引用85篇文章[sw07180]
  • 充分利用行业的力量-经过证实的JVM技术。读者可以深入研究。。。
  • 塞尔4

  • 引用81篇文章[sw15222]
  • L4的第三代微内核seL4出处,包含8700行C代码。。。
  • HMQV公司

  • 引用了78篇文章[sw02714]
  • 协议是否可以经过证实的在严格的密钥交换安全模型中安全。。。
  • PostgreSQL

  • 引用了70篇文章[sw15935]
  • 多年的积极发展和经过证实的为它赢得了很高声誉的建筑。。。
  • CMQV公司+

  • 在38篇文章中引用[sw06418号]
  • 嗯,另一方面,是的经过证实的在eCK模型中。。。CMQV的变体,称为CMQV+,它是经过证实的在较弱的假设下安全(即计算。。。
  • 波普*

  • 引用了53篇文章[sw07834]
  • 树。此外,PAUP手册有经过证实的作为一个重要的向导,服务。。。
  • 康哥洛

  • 引用48篇文章[sw01801]
  • 语言的一些数学性质是经过证实的例如,提出的语义。。。
  • CVC公司

  • 引用47篇文章[sw09462]
  • 可判定逻辑和逻辑理论经过证实的成为验证中有用的工具。这篇论文。。。
  • 萨姆雷

  • 引用了45篇文章[sw04441]
  • SAMRAI软件库经过证实的在应用程序开发中很有用。SAMRAI被用来。。。
  • 亚马逊EC2

  • 引用了45篇文章[sw29777]
  • 让你在亚马逊上跑步经过证实的计算环境。Amazon EC2减少了所需时间。。。
  • 茂物

  • 引用36篇[sw06858号]
  • 可扩展模型检查框架模型检查具有经过证实的成为一种有效的验证技术。。。
  • 帝亚吉安

  • 引用28篇文章[sw10321]
  • 这些内部超图。这种方法有经过证实的从某种意义上说是强大和普遍的。。。
  • MCF公司

  • 27条引用[sw05167]
  • 解决多基地车辆调度问题经过证实的最佳化。。。
  • 地球物理学

  • 引用25篇文章[sw06216]
  • 几何结构和形式的增长体经过证实的几何定理。我们相信,在。。。
  • SAP2000型

  • 引用24篇文章[sw17041号文件]
  • 通过一个强大的用户界面,SAP2000具有经过证实的成为最具综合性、生产力的。。。
  • 厌恶集

  • 参考22篇文章[sw06062]
  • 问题,实验结果来自一些经过证实的解算器和Fortran子程序提供了一个通用的。。。