海量資源，盡在掌握
是Abiquo公司推出的一款開源的云計(jì)算平臺,能夠以快速、簡單和可擴(kuò)展的方式創(chuàng)建和管理大型、復(fù)雜的IT基礎(chǔ)設(shè)施(包括虛擬服務(wù)器、網(wǎng)絡(luò)、應(yīng)用程序和存儲設(shè)備等)。abiCloud 支持VirtualBox、VMware、KVM和Xen,可以通過拖拽一個(gè)虛擬機(jī)來部署...[繼續(xù)閱讀]
用于加速xml查詢的進(jìn)程,能夠支持帶分支預(yù)測的xml路徑查詢。...[繼續(xù)閱讀]
agentbased social simulation的縮寫。...[繼續(xù)閱讀]
一種并發(fā)的面向?qū)ο蟮慕ＵZ言的工具包,以功能性數(shù)據(jù)類型為特色。抽象行為規(guī)約語言工具包包括核心工具、軟件產(chǎn)品線開發(fā)和集成開發(fā)環(huán)境等。...[繼續(xù)閱讀]
指一個(gè)數(shù)學(xué)模型以及定義在此數(shù)學(xué)模型上的一組操作。抽象數(shù)據(jù)類型需要通過固有數(shù)據(jù)類型(高級編程語言中已實(shí)現(xiàn)的數(shù)據(jù)類型)來實(shí)現(xiàn),是與表示無關(guān)的數(shù)據(jù)類型。定義抽象數(shù)據(jù)類型時(shí),必須給出它的名字及各運(yùn)算的運(yùn)算符名,即函數(shù)名...[繼續(xù)閱讀]
源代碼的抽象語法結(jié)構(gòu)的樹狀表現(xiàn)形式,樹上的每個(gè)節(jié)點(diǎn)都表示源代碼中的一種結(jié)構(gòu),作為程序的一種中間表示形式,在程序分析等諸多領(lǐng)域有廣泛的應(yīng)用。利用抽象語法樹可以方便地實(shí)現(xiàn)多種源程序處理工具,比如源程序?yàn)g覽器、智能...[繼續(xù)閱讀]
指用于自動化業(yè)務(wù)流程的形式規(guī)約語言,用XML文檔寫入BPEL中的流程能在Web服務(wù)之間以標(biāo)準(zhǔn)化的交互方式得到精心組織,這些流程能夠在任何一個(gè)符合BPEL規(guī)約的平臺或產(chǎn)品上執(zhí)行。BPEL4WS是起初規(guī)范的名字,由BEA、IBM和Microsoft等編寫和公...[繼續(xù)閱讀]
①程序及程序設(shè)計(jì)中:給定一個(gè)編程或規(guī)定語言,抽象釋義一般由抽象關(guān)系連接的一些語義所構(gòu)成。語義是程序的可能行為的數(shù)學(xué)特征化,描述了非常接近程序的實(shí)際執(zhí)行的最精確的語義被稱為具體語義。②軟件工程中:軟件工程過程中...[繼續(xù)閱讀]
指位于操作系統(tǒng)內(nèi)核與硬件電路之間的接口層,隱藏特定平臺的硬件接口細(xì)節(jié),為操作系統(tǒng)提供虛擬硬件平臺,使其具有硬件無關(guān)性,可在多種平臺上進(jìn)行移植。...[繼續(xù)閱讀]
approximate counting algorithm的縮寫。...[繼續(xù)閱讀]
APP