• 风笛手

  • 引用28篇文章[sw11478]
  • 类型为模型,模型正在检查消息传递程序。抽象和作文根本问题是。。。执行担保证明规则成分 模型检查类型。打开模拟。。。系统与抽象关系成分 模型检查。我们已经实施了这些想法。。。
  • 中央军委

  • 参考33篇文章[sw12422]
  • 工具成分 模型-实时系统检查。在本文中,我们提出。。。工具(CMC)成分 模型-实时系统的检查。CMC基于。。。
  • ABAQUS/标准

  • 引用182篇文章[sw07161]
  • 混合成的飞机机身。在单个模拟中,可以分析模型两者。。。
  • 动态3D

  • 引用104篇文章[sw17036]
  • 模型可以代表广泛的材料行为,包括弹性,塑性,复合材料... 单表面接触。刚性材料提供附加建模灵活性。一种材料模型具有交互功能的驱动程序。。。
  • 托勒密

  • 引用了77篇文章[sw07459]
  • 异构产品建模通过允许不同的模型无论是不定时的还是定时的。。。感觉到原子演员和他们的成分统一对待。特别地。。。使用作文在托勒密,算符被称为导演。不同的导演意识到不同模型...
  • 皮科拉

  • 17条引用[sw06408]
  • 这体现了这一范式。皮科拉模型组件和成分通过并发抽象交流。。。灵活性、可扩展性和健壮性通过建模组件的接口和上下文。。。提供显式支持,将应用程序视为成分并显示分离组件。。。
  • WSAT公司

  • 引用了37篇文章[sw01022]
  • 验证混合成的web服务设计,最先进的模型正在检查技术。。。在应用中提出若干挑战模型检查:(1)众多相互竞争的web服务标准。。。使web服务的形式化规范复杂化作文. (2) 异步消息传递进行了最有趣的验证。。。当前不支持基于的操作模型方格图案。。。
  • 生物PEPA

  • 在102篇文章中引用[sw01361]
  • 为了处理生物的某些特征模型化学计量学和一般。。。被看作是中间的,正式的,成分生物系统的代表,不同种类的分析。。。展示生物的翻译模型我们报告一些分析。。。
  • LTSA-WS

  • 引用13篇文章[sw10585]
  • 工具模型-基于web服务的验证成分和编舞。在本文中。。。a的工具模型-基于验证的方法成分web服务实现。工具。。。从设计规范和实现创建的属性模型从观点来确认预期结果。。。规范工具,正式建模,验证和确认作文进程。。。
  • 雷奥

  • 引用81篇文章[sw06353]
  • 协调语言。Reo为作文基于分布式软件组件和服务。。。实施基于外部渠道的协调模型它定义了设计者如何构建复杂的协调器。。。“粘合代码”语言成分构造连接器来协调实例的协作行为。。。
  • M网络

  • 参考11篇文章[sw09132]
  • 大多数其他高层网络模型;以及作文特别是同步-在过程代数中。。。各种代数性质。而且模型是这样吗作文操作与展开一致。。。
  • 防抱死制动系统

  • 参考第26条[sw21211]
  • 并发面向对象模型这是天生的成分. 我们讨论中心设计问题。。。对于类型良好的ABS,在运行时发生模型. 最后,我们简要讨论了工具支持。。。
  • 玛雅

  • 引用18条[sw14258]
  • 电脑动画,建模、模拟、渲染和合成在一个高度可扩展的生产平台上。玛雅。。。
  • 冰岛

  • 参考12篇文章[sw07821]
  • 在我们的环境中,通过使用混合成的性能模型. 我们证明了这一点的有效性。。。
  • PseAAC公司

  • 引用了30篇文章[sw16469号]
  • 酸(PseAA)作文可以代表一个离散的蛋白质序列模型不会完全失去。。。问题可能需要不同类型的PseAA作文. 这里,我们介绍一个名为。。。
  • 前内酰胺酶

  • 参考12篇文章[sw16470]
  • 伪氨基酸成分. 比较性能表明支持向量机模型训练过1型伪。。。
  • 摩比/华盛顿

  • 引用5篇文章[sw01395]
  • 相位自动机。算法适用成分 模型-检查技术和处理参数的内置。。。参数模型-检查是不可判定的问题。因此,我们必须接受。。。过度接近成分技术使模型-特别适合于证明。。。
  • 大都市

  • 引用2篇文章[sw24044]
  • 成分 建模在大都会。METROPOLIS是一个设计异构嵌入式系统的环境。。。被称为大都会meta的代表-模型. 这个模型形成了软件系统的主干。。。各种分析和合成工具。成分 建模是组装组件的强大方法。。。普罗米修斯在大都会的支持工具成分 建模以及大都会规格和礼物的验证。。。
  • 视觉状态

  • 引用9篇文章[sw07481]
  • 大型状态/事件系统使用成分性和依赖性分析状态/事件模型是一个并发版本。。。使用成分性和依赖性分析显著提高了符号化的效率模型检查。。。