是Abiquo公司推出的一款开源的云计算平台,能够以快速、简单和可扩展的方式创建和管理大型、复杂的IT基础设施(包括虚拟服务器、网络、应用程序和存储设备等)。abiCloud 支持VirtualBox、VMware、KVM和Xen,可以通过拖拽一个虚拟机来部署...[继续阅读]

    用于加速xml查询的进程,能够支持带分支预测的xml路径查询。...[继续阅读]

    agentbased social simulation的缩写。...[继续阅读]

    一种并发的面向对象的建模语言的工具包,以功能性数据类型为特色。抽象行为规约语言工具包包括核心工具、软件产品线开发和集成开发环境等。...[继续阅读]

    指一个数学模型以及定义在此数学模型上的一组操作。抽象数据类型需要通过固有数据类型(高级编程语言中已实现的数据类型)来实现,是与表示无关的数据类型。定义抽象数据类型时,必须给出它的名字及各运算的运算符名,即函数名...[继续阅读]

    源代码的抽象语法结构的树状表现形式,树上的每个节点都表示源代码中的一种结构,作为程序的一种中间表示形式,在程序分析等诸多领域有广泛的应用。利用抽象语法树可以方便地实现多种源程序处理工具,比如源程序浏览器、智能...[继续阅读]

    指用于自动化业务流程的形式规约语言,用XML文档写入BPEL中的流程能在Web服务之间以标准化的交互方式得到精心组织,这些流程能够在任何一个符合BPEL规约的平台或产品上执行。BPEL4WS是起初规范的名字,由BEA、IBM和Microsoft等编写和公...[继续阅读]

    ①程序及程序设计中:给定一个编程或规定语言,抽象释义一般由抽象关系连接的一些语义所构成。语义是程序的可能行为的数学特征化,描述了非常接近程序的实际执行的最精确的语义被称为具体语义。②软件工程中:软件工程过程中...[继续阅读]

    指位于操作系统内核与硬件电路之间的接口层,隐藏特定平台的硬件接口细节,为操作系统提供虚拟硬件平台,使其具有硬件无关性,可在多种平台上进行移植。...[继续阅读]

    approximate counting algorithm的缩写。...[继续阅读]