是Abiquo公司推出的一款開(kāi)源的云計(jì)算平臺(tái),能夠以快速、簡(jiǎn)單和可擴(kuò)展的方式創(chuàng)建和管理大型、復(fù)雜的IT基礎(chǔ)設(shè)施(包括虛擬服務(wù)器、網(wǎng)絡(luò)、應(yīng)用程序和存儲(chǔ)設(shè)備等)。abiCloud 支持VirtualBox、VMware、KVM和Xen,可以通過(guò)拖拽一個(gè)虛擬機(jī)來(lái)部署...[繼續(xù)閱讀]

    用于加速xml查詢的進(jìn)程,能夠支持帶分支預(yù)測(cè)的xml路徑查詢。...[繼續(xù)閱讀]

    agentbased social simulation的縮寫(xiě)。...[繼續(xù)閱讀]

    一種并發(fā)的面向?qū)ο蟮慕ＵZ(yǔ)言的工具包,以功能性數(shù)據(jù)類(lèi)型為特色。抽象行為規(guī)約語(yǔ)言工具包包括核心工具、軟件產(chǎn)品線開(kāi)發(fā)和集成開(kāi)發(fā)環(huán)境等。...[繼續(xù)閱讀]

    指一個(gè)數(shù)學(xué)模型以及定義在此數(shù)學(xué)模型上的一組操作。抽象數(shù)據(jù)類(lèi)型需要通過(guò)固有數(shù)據(jù)類(lèi)型(高級(jí)編程語(yǔ)言中已實(shí)現(xiàn)的數(shù)據(jù)類(lèi)型)來(lái)實(shí)現(xiàn),是與表示無(wú)關(guān)的數(shù)據(jù)類(lèi)型。定義抽象數(shù)據(jù)類(lèi)型時(shí),必須給出它的名字及各運(yùn)算的運(yùn)算符名,即函數(shù)名...[繼續(xù)閱讀]

    源代碼的抽象語(yǔ)法結(jié)構(gòu)的樹(shù)狀表現(xiàn)形式,樹(shù)上的每個(gè)節(jié)點(diǎn)都表示源代碼中的一種結(jié)構(gòu),作為程序的一種中間表示形式,在程序分析等諸多領(lǐng)域有廣泛的應(yīng)用。利用抽象語(yǔ)法樹(shù)可以方便地實(shí)現(xiàn)多種源程序處理工具,比如源程序?yàn)g覽器、智能...[繼續(xù)閱讀]

    指用于自動(dòng)化業(yè)務(wù)流程的形式規(guī)約語(yǔ)言,用XML文檔寫(xiě)入BPEL中的流程能在Web服務(wù)之間以標(biāo)準(zhǔn)化的交互方式得到精心組織,這些流程能夠在任何一個(gè)符合BPEL規(guī)約的平臺(tái)或產(chǎn)品上執(zhí)行。BPEL4WS是起初規(guī)范的名字,由BEA、IBM和Microsoft等編寫(xiě)和公...[繼續(xù)閱讀]

    ①程序及程序設(shè)計(jì)中:給定一個(gè)編程或規(guī)定語(yǔ)言,抽象釋義一般由抽象關(guān)系連接的一些語(yǔ)義所構(gòu)成。語(yǔ)義是程序的可能行為的數(shù)學(xué)特征化,描述了非常接近程序的實(shí)際執(zhí)行的最精確的語(yǔ)義被稱為具體語(yǔ)義。②軟件工程中:軟件工程過(guò)程中...[繼續(xù)閱讀]

    指位于操作系統(tǒng)內(nèi)核與硬件電路之間的接口層,隱藏特定平臺(tái)的硬件接口細(xì)節(jié),為操作系統(tǒng)提供虛擬硬件平臺(tái),使其具有硬件無(wú)關(guān)性,可在多種平臺(tái)上進(jìn)行移植。...[繼續(xù)閱讀]

    approximate counting algorithm的縮寫(xiě)。...[繼續(xù)閱讀]