• MPT公司

  • 引用208篇文章[sw04732]
  • 自定义约束,例如多面体,收缩,或碰撞避免约束,或创建自定义目标函数。。。
  • 吉咪

  • 参考文献188篇[sw04597]
  • Java模块。它通过合同埃菲尔的方法和基于模型的。。。
  • Ada95型

  • 在129篇文章中引用[sw01753]
  • CII霍尼韦尔公牛公司的Jean Ichbiah合同致美国国防部。。。
  • 踪迹

  • 参考文献108篇[sw07823]
  • 搜索空间收缩在图的规范标号中。计算的个性化精化范式。。。
  • 艾菲尔

  • 参考105篇文章[sw03522]
  • 原则,包括设计合同命令查询分离,统一访问原则,单选。。。
  • CC Pi

  • 在26篇文章中引用[sw15033]
  • 面向服务计算中的问题。服务水平协议合同指定客户要求和服务保证,重点是。。。我们提出了一个简单的模型合同对于QoS和SLA,还允许。。。
  • 葡萄糖

  • 引用36篇[sw07833]
  • 葡萄糖。解算器的名称是收缩关于“胶合条款”的概念,一个特殊的。。。
  • 盖根

  • 引用32篇文章[sw04958]
  • 几何积、外积、左、右收缩,标量积,(修正)Hestenes内积)加上。。。
  • KQML公司

  • 引用32篇文章[SW718号文件]
  • 代理间交互的模型,例如合同网络和谈判。此外,还提供了KQML。。。
  • X射线

  • 引用24篇文章【sw16622】
  • 场论。其中,它可以计算收缩做一个分析,求解张量方程。。。
  • 气隙

  • 参考22篇文章【sw17977】
  • 技术气体网络说明以及合同-基于指定数据(气体流量和压力。。。
  • J承包商

  • 在10篇文章中引用[sw01488]
  • 承包商:介绍设计-合同用反射式字节码插装设计合同... 操作。设计的基本结构合同方法的前置条件和后置条件以及类。。。允许程序员编写合同“作为标准的Java方法遵循一个直观的。。。字节码检测违反合同程序执行期间的规范。承包商。。。
  • CSSV公司

  • 引用了20篇文章[sw13701]
  • 每道工序分开进行。为此目的程序合同是允许的。。。
  • nuXmv公司

  • 引用19篇文章[sw18526]
  • 几个扩展来处理需求分析,合同基于设计,混合动力系统的模型检验。。。
  • 贾斯

  • 参考11篇文章[sw32265]
  • Jass-java和断言。设计依据合同,由迈耶为编程语言埃菲尔。。。带有断言的Java合同允许对Java进行注释的Java扩展。。。动态测试。除了标准设计合同从经典程序验证已知的功能。。。
  • 工作室B

  • 引用16条[sw07086]
  • 不受任何限制,维护版用于维护合同仅限持有人。它是用来发展。。。
  • AIFS公司

  • 在14篇文章中引用[sw00023]
  • 具有仿射的迭代函数系统的吸引子收缩的(\mathbb度量映射空间。。。
  • 平方

  • 在14篇文章中引用[sw12282]
  • 慢单调序列的收敛性,收缩映射如EM算法。。。