|
Selected(0)Clear
Items/Page: Sort: |
| 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
Authors: Chen Kai; Lian Yifeng; Zhang Yingjun
 Adobe PDF(423Kb) |  Favorite | View/Download：63/0 | Submit date：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
Authors: Deng Yuxin; Van Glabbeek Rob
Adobe PDF(285Kb) | Favorite | View/Download：55/0 | Submit date：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
Authors: Xuan Jifeng; Jiang He; Ren Zhilei; Yan Jun; Luo Zhongxuan
Adobe PDF(556Kb) | Favorite | View/Download：61/0 | Submit date：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
Authors: Yan Zhen; Chen Xinyu; Guo Ping
Adobe PDF(131Kb) | Favorite | View/Download：53/0 | Submit date：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
Authors: Liu Wei; Du YuYue; Sun HaiChun; Yan Chun
Adobe PDF(318Kb) | Favorite | View/Download：53/0 | Submit date：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,
Authors: Zhu ChangYan; Du YuYue
Adobe PDF(102Kb) | Favorite | View/Download：61/0 | Submit date：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
Authors: Jia-Wei Zhang; Li-Ping Wang; Xia Liu; Hong-Hai Zhu; Jun Dong
Favorite | View/Download：68/0 | Submit date：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,
Authors: Yang Xiaoxiao; Duan Zhenhua; Ma Qian
Favorite | View/Download：110/0 | Submit date：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,
Authors: Zheng G.; Chen J.
Favorite | View/Download：57/0 | Submit date：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
Authors: Nowak David; Zhang Yu
Adobe PDF(349Kb) | Favorite | View/Download：63/0 | Submit date：2011/03/31
CalculationsDifferentiation (Calculus)Polynomial ApproximationPublic Key Cryptography |
