![](/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) 知名的电子通路商-奇普士日前表示,该公司将于锦星科技策略联盟。此次与锦星科技策略联盟之主要目的为:扩张产业规模与影响力、与世界知名品牌接轨、取得未来产品扩张之机会、转投资效益之彰显以及台湾、香港、大陆资源之整合 |