|
已选(0)清除
条数/页： 排序方式： |
| automatically generating patch in binary programs using attribute-based taint analysis 会议论文
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Barcelona, Spain, 40878
作者: Chen Kai; Lian Yifeng; Zhang Yingjun
 Adobe PDF(423Kb) |  收藏 | 浏览/下载：64/0 | 提交时间：2011/03/31
Heuristic MethodsSecurity Of Data |
| characterising probabilistic processes logically 会议论文
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Yogyakarta, Indonesia, 40826
作者: Deng Yuxin; Van Glabbeek Rob
Adobe PDF(285Kb) | 收藏 | 浏览/下载：56/0 | 提交时间：2011/03/31
Artificial Intelligence |
| automatic bug triage using semi-supervised text classification 会议论文
SEKE 2010 - Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering, Redwood City, CA, United states, 44013
作者: Xuan Jifeng; Jiang He; Ren Zhilei; Yan Jun; Luo Zhongxuan
Adobe PDF(556Kb) | 收藏 | 浏览/下载：64/0 | 提交时间：2011/03/31
Knowledge EngineeringLocomotivesMaximum PrincipleOptimizationRailroad CarsSoftware Engineering |
| software defect prediction using fuzzy support vector regression 会议论文
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Shanghai, China, 43988
作者: Yan Zhen; Chen Xinyu; Guo Ping
Adobe PDF(131Kb) | 收藏 | 浏览/下载：55/0 | 提交时间：2011/03/31
Computer Software Selection And EvaluationDefectsForecastingRegression AnalysisVectors |
| soundness verification and analysis of interorganizational logical workflow nets 会议论文
2nd International Workshop on Education Technology and Computer Science, ETCS 2010, Wuhan, Hubei, China, 37321
作者: Liu Wei; Du YuYue; Sun HaiChun; Yan Chun
Adobe PDF(318Kb) | 收藏 | 浏览/下载：54/0 | 提交时间：2011/03/31
Computer ScienceEducation ComputingEngineering Education |
| application of logical petri nets in web service composition 会议论文
2010 IEEE International Conference on Mechatronics and Automation, ICMA 2010, Xian, China, August 4,
作者: Zhu ChangYan; Du YuYue
Adobe PDF(102Kb) | 收藏 | 浏览/下载：64/0 | 提交时间：2011/03/31
Graph TheoryMechatronicsOntologyPetri NetsQuality Of Service |
| chinese cardiovascular disease database (ccdd) and its management tool 会议论文
10th IEEE International Conference on Bioinformatics and Bioengineering 2010, BIBE 2010, Philadelphia, PA, United states, 43982
作者: Jia-Wei Zhang; Li-Ping Wang; Xia Liu; Hong-Hai Zhu; Jun Dong
收藏 | 浏览/下载：73/0 | 提交时间：2011/03/31
BioinformaticsDatabase SystemsDiseasesElectrocardiographyElectrochromic Devices |
| axiomatic semantics of projection temporal logic programs 会议论文
Mathematical Structures in Computer Science, Changsha, PEOPLES R CHINA, MAY 18-22,
作者: Yang Xiaoxiao; Duan Zhenhua; Ma Qian
收藏 | 浏览/下载：113/0 | 提交时间：2011/03/31
Logic ProgrammingSemantics |
| software redundancy design for a human-machine interface in railway vehicles 会议论文
WIT Transactions on the Built Environment, Beijing, China, August 31,
作者: Zheng G.; Chen J.
收藏 | 浏览/下载：58/0 | 提交时间：2011/03/31
Cost Benefit AnalysisFault ToleranceFault Tolerant Computer SystemsLocomotivesMachine ComponentsMachine DesignMan Machine SystemsRailroadsReal Time SystemsRedundancyReliability AnalysisSoftware DesignSoftware ReliabilityTaxonomiesVehicles |
| a calculus for game-based security proofs 会议论文
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Malacca, Malaysia, 40829
作者: Nowak David; Zhang Yu
Adobe PDF(349Kb) | 收藏 | 浏览/下载：66/0 | 提交时间：2011/03/31
CalculationsDifferentiation (Calculus)Polynomial ApproximationPublic Key Cryptography |
