![](/icon/objclass/article_icon.gif) |
賽局理論與反應系統 (2009.03.04) 賽局理論自二十世紀發展以來,已在各科領域有了很廣泛的應用,本文針對軟體系統中一種很常見的反應系統,整理了各種賽局在這方面的探討。這些賽局的求解概念對於軟體系統的分析,提供了非常實用的方法 |
![](/icon/objclass/software_icon.gif) |
允許用戶構建複雜的 macro 指令和按鍵/滑鼠錄音,可分配熱鍵,或按計劃運行之工具。-MacroMaker 3.0.0.4 (2009.02.17) 允許用戶構建複雜的 macro 指令和按鍵/滑鼠錄音,可分配熱鍵,或按計劃運行之工具。 |
![](/icon/objclass/software_icon.gif) |
-DL-Learner Build 2008-02-18 (2008.02.19) DL-Learner is a tool for learning concepts in Description Logics (DLs) from user-provided examples. Equivalently, it can be used to learn classes in OWL ontologies from selected objects. |
![](/icon/objclass/software_icon.gif) |
-GreenSQL stable (2008.02.19) GreenSQL is a database firewall engine used to protect Open Source Databases from SQL injection attacks. It works in proxy mode. Application logics is based on evaluating of SQL commands using risk score factors, as well as b |
![](/icon/objclass/software_icon.gif) |
-jCOLIBRI: CBR Framework jCOLIBRI 2.1 (2008.01.24) jCOLIBRI: an object-oriented framework in Java for building Case-Based Reasoning (CBR) systems. Supports Textual-CBR, Knowledge Intensive CBR with Description Logics reasoning through Ontologies, Web interfaces, evaluation of the generated applications |
![](/icon/objclass/software_icon.gif) |
-SIM-DL (SimCat) SIM-DL Server: balou (beta; command line) (2007.10.20) SIM-DL: Semantic Similarity Measurement Server for concepts (and individuals) represented using (expressive) Description Logics (DL). |
![](/icon/objclass/software_icon.gif) |
-SIM-DL (SimCat) sim-dl protege plugin (alpha2) (2007.08.08) SIM-DL: Semantic Similarity Measurement Server for concepts (and individuals) represented using (expressive) Description Logics (DL). |
![](/icon/objclass/software_icon.gif) |
-jCOLIBRI: CBR Framework jCOLIBRI 2 (2007.08.08) jCOLIBRI: an object-oriented framework in Java for building Case-Based Reasoning (CBR) systems. Supports Textual-CBR, Knowledge Intensive CBR with Description Logics reasoning through Ontologies, Web interfaces, evaluation of the generated applications |
![](/icon/objclass/software_icon.gif) |
-GreenSQL 0.1 (2007.06.27) GreenSQL is a database firewall engine used to protect Open Source Databases from SQL injection attacks. It works in proxy mode. Application logics is based on evaluating of SQL commands using risk score factors, as well as b |
![](/icon/objclass/news_icon.gif) |
虹晶提供多樣化高整合度SoC開發驗證平台 (2007.03.15) SoC設計服務暨IP銷售廠商虹晶科技,一直以來不斷致力於ARM926EJ及ARM7EJ CPU核心技術的優化,針對目前市場需求不同所量身訂做,適用於各不同領域的平台解決方案。為了加速SoC開發者之硬體整合設計、軟體開發驗證以及系統應用整合設計 |
![](/icon/objclass/software_icon.gif) |
-ajaxnet4j beta (2006.09.19) ajaxnet4j is a Java implementation of the famous Ajax.NET Professional library. With the help of it, you can concentrate on server-side business logics, and client-side user experiences, and don't have to spend much time on connection between two sides |
![](/icon/objclass/software_icon.gif) |
-JSON-RPC-PAGE 0.1 (2005.07.17) JRP stands for JSON-RPC JSP tag library. It allows JSP authors to implement JSON-RPC service logics in the well-known JSP tag syntax. |
![](/icon/objclass/article_icon.gif) |
軟/硬體的正規(formal)驗證 (2003.03.05) 正規(formal)驗證(verification)技術,也就是用數學的符號,表達出系統設計的規格,從而減少工程師間錯誤溝通的可能性,進而提昇系統設計的品質,但國內工程界對這項新科技卻認知不深,採用的更少 |
![](/icon/objclass/news_icon.gif) |
巨積公佈最新財報 公司虧損已獲改善 (2002.10.25) 據外電報導,半導體業者巨積(LSI Logics)日前公佈最新財報,該公司2002年度第三季(7~9月)營收達4.87億美元,較上一季及2001年度同期各成長11%、23%;淨損達2,800萬美元,每股淨損達0.07美元,優於前季的6,200萬美元、0.17美元 |
![](/icon/16/house.png) |
奇普仕 (2002.06.04) 奇普仕股份有限公司創立於1991年,在電子相關產業急驟變化的環境中,公司為求滿足客戶需求共榮共存的宗旨,除台北總公司外,香港也於 1995 年成立分公司。 公司組織結構於總經理下設經營秘書室、稽核室 |
![](/icon/objclass/news_icon.gif) |
奇普士與錦星策略聯盟 (2001.12.04) 知名的電子通路商-奇普士日前表示,該公司將於錦星科技策略聯盟。此次與錦星科技策略聯盟之主要目的為:擴張產業規模與影響力、與世界知名品牌接軌、取得未來產品擴張之機會、轉投資效益之彰顯以及台灣、香港、大陸資源之整合 |