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

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

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

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

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

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

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

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

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

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