• 斯拉斯

  • 11篇参考文献[SW21370]
  • SRAS-A语义的关联公理选择系统。本文介绍了设计、实现和测试…猜想。选择是确定的语义在公理和猜想中,启发式地排序…
  • 勒普斯

  • 37篇参考文献[SW02579]
  • 研究和定义了声明性和可操作性语义逻辑程序序列(或动态…)精确地决定在任何给定的状态下,声明性的和程序性的语义他们的结合…
  • 克莱姆

  • 67篇参考文献[SW09424]
  • 位于进程之间的协议。正式运作语义有助于讨论设计…地点。类型系统用于决定进程想要执行的操作…
  • 宾西姆

  • 1篇参考文献[ SW31767 ]
  • BinSim:基于轨迹语义的二进制调用通过系统调用切片段等价性检查。检测差异…技术推动了近期的工作。测定 语义的相似点尽管表面上有差别…
  • CSP证明器

  • 15篇参考文献[SW11465 ]
  • 系统,也可能涉及无限的非决定论. 由于这个原因,CSP证明器当前关注…作为底层指称的故障模型F语义CSP。语义上CSP证明者都提供…
  • 结节性的

  • 13篇参考文献[SW17614]
  • 半自动交互式工具测定这些文件的结构,然后提取他们的…有趣的区域,然后描述它们语义. 此任务由挖掘组件加速。文档格式已确定的它的数据可以被提取成一个数字…
  • 2篇参考文献[SW12636]
  • 向量和数组提供了一个指称语义对于新的、更高阶、多态的阵列编程…使用静态分析决定数组形状。语义将与…结合在一起…
  • 谦虚

  • 30篇参考文献[ SW01544 ]
  • 描述重要现象如非决定论概率分支和硬实时,以及…具有严格的进程代数风格语义和(iii)还提供现代和灵活的规范…
  • 锚点提示

  • 8篇参考文献[SW09802]
  • 实现锚提示——一种查找算法语义上类似的术语自动。锚提示采取…锚定子图决定哪个班经常出现在类似的职位上?路径。这些类很可能代表语义上类似的概念。我们的实验表明…
  • 三角洲

  • 4篇参考文献[SW1476]
  • 核心过程语义在一篇文章中重写CCS术语重写规则确定的
  • 科洛斯

  • 13篇参考文献[SW07016]
  • 提供完整的公理化语义以特定的格式。此外,CoLoSS是组成…结合非自动机的概率自动机解释决定论和概率的不同方式…
  • CSP

  • 1篇参考文献[SW0868]
  • 基础业务语义结合并发,非决定论不终止。我们定义了一个仪表化的…
  • 隐士

  • 12篇参考文献[SW12418]
  • 给定OWL文件,HermiT可以决定本体是否一致,识别…可用的系统来处理。隐士直接使用语义并通过所有OWL 2一致性测试…
  • 星图

  • 3篇参考文献[SW26907]
  • ScStices使用状态图表示法并提供确定的基于同步模型的并发性…利用顺序构造的MOC。这个语义定义了SCCARS的关键特征…
  • 程序设计

  • 1篇参考文献[SW22095]
  • 当前版本的程序可以决定一些扩展,并决定是否给出…推断,关于稳定性语义
  • CXL引擎

  • 1篇参考文献[SW14961]
  • 结构化查询。它考虑到语义的基于它们的数据元素之间的关系…数据元素的上下文是确定的通过它的父元素。OOXORKS的框架…
  • 比特剪切

  • 1篇参考文献[SW23 928 ]
  • 可分级区分的特征哈希恶意软件语义的分析全新恶意软件的绝对体积…需要自动恶意软件分流技术决定什么恶意软件是相似的,恶意软件…分析和聚类,并自动打开语义的集群内的内部和家庭内部关系…
  • 萨法卡西

  • 5篇参考文献[SW2043]
  • 允许危险呼叫的机制决定如果他们的呼叫者被授权行使…具有过程间优化。我们提出了一个新的语义基于信念的堆栈检查…