随着互联网技术以及各种数据库应用的快速发展，数据存储以及数据传输过程中所涉及的数据复杂程度已远超过传统的数据，许多现代的应用......

RDC(Report Designer Component)是由Seagate Software公司提供的一种基于组件的报表工具,目前国内外应用比较广泛,可就应用于Visu......

提出一种基于GCL语言生成程序测试用例的形式化方法．程序的语义为测试用例的生成提供了基本框架，而由Hoare等人提供的规则保证了用例......

将约束引入到可能性XML时,因分布节点值的不确定性,XML文档无法检验对涉及分布节点的约束的合法性。在一些场景中,要返回给用户符......

A novel method based on ant colony optimization (ACO), algorithm for solving the ill-conditioned linear systems of equat......