已收录 271483 条政策
分类导航
检索结果
已选条件:
--
2013
<符合条件的数据共：10条>
排序方式
登录后可批量下载(统一登录，激活码登录)
  • Bug-finding and test case generation for java programs by symbolic execution
    颁布单位：[Stellenbosch University] |  颁布时间：2013 |  实施时间：2013 |  学科分类：[["Symbolic, Execution",, "Bug, detection",, "Java",, "Test, case, generation",, "Dissertations, --, Mathematical, sciences",, "Theses, --, Mathematical, sciences",, "Dissertations, --, Computer, science",, "Theses, --, Computer, science",, "ARTEMIS, (Computer, program)",, "Java, (Computer, program, language)"]]
    预览  |  原文链接    [浏览：0 下载：0]
  • Probabilistic tree transducers for grammatical error correction
    颁布单位：[Stellenbosch University] |  颁布时间：2013 |  实施时间：2013 |  学科分类：[["Grammar, correction, --, Data, processing",, "Natural, language, processing",, "Weighted, tree, transducer",, "Text, processing, (Computer, science)",, "Dissertations, --, Mathematical, sciences",, "Theses, --, Mathematical, sciences",, "Dissertations, --, Computer, science",, "Theses, --, Computer, science",, "Computational, linguistics",, "Error-correcting, codes, (Information, theory)",, "English, language, --, Grammar"]]
    预览  |  原文链接    [浏览：0 下载：0]
  • The governance of significant enterprise mobility security risks
    颁布单位：[Stellenbosch University] |  颁布时间：2013 |  实施时间：2013 |  学科分类：[["Dissertations, --, Accountancy",, "Theses, --, Accountancy",, "Dissertations, --, Computer, auditing",, "Theses, --, Computer, auditing",, "Computer, security, --, Management",, "Business, enterprises, --Information, technology, --, Security, measures.",, "Mobile, communication, systems, --, Security, measures",, "Mobile, computing, --, Security, measures"]]
    预览  |  原文链接    [浏览：0 下载：0]
  • NoSQL database considerations and implications for businesses
    颁布单位：[Stellenbosch University] |  颁布时间：2013 |  实施时间：2013 |  学科分类：[["Non-relational, databases",, "Business, enterprises, --, Databases, --, Technological, innovations",, "Business, enterprises, --, Databases, --, Management",, "Non-relational, databases, --, Risk, management",, "Dissertations, --, Accountancy",, "Theses, --, Accountancy",, "Dissertations, --, Computer, auditing",, "Theses, --, Computer, auditing"]]
    预览  |  原文链接    [浏览：3 下载：0]
  • Criteria for the evaluation of private cloud computing
    颁布单位：[Stellenbosch University] |  颁布时间：2013 |  实施时间：2013 |  学科分类：[["Cloud, computing, --, Evaluation",, "Electronic, data, processing, --, Distributed, processing, --, Evaluation",, "Computer, architecture",, "Dissertations, --, Mathematical, sciences",, "Theses, --, Mathematical, sciences",, "Dissertations, --, Computer, science",, "Theses, --, Computer, science"]]
    预览  |  原文链接    [浏览：3 下载：2]
  • Extended probabilistic symbolic execution
    颁布单位：[Stellenbosch University] |  颁布时间：2013 |  实施时间：2013 |  学科分类：[["Dissertations, --, Mathematical, sciences",, "Theses, --, Mathematical, sciences",, "Dissertations, --, Computer, science",, "Theses, --, Computer, science",, "Computer, software",, "Symbolic, execution",, "Computer, programming",, "Probabilities"]]
    预览  |  原文链接    [浏览：3 下载：0]
  • Open-source software and the rationale for copyright protection of computer programs
    颁布单位：[Stellenbosch University] |  颁布时间：2013 |  实施时间：2013 |  学科分类：[["Copyright, law, --, Computer, programs",, "Open-source, software, --, Law, and, legislation",, "Computer, programs, --, Protection",, "Intellectual, property",, "Theses, --, Law",, "Dissertations, --, Law",, "Theses, --, Mercantile, law",, "Dissertations, --, Mercantile, law",, "Mercantile, Law"]]
    预览  |  原文链接    [浏览：0 下载：0]
  • Constructing topic-based Twitter lists
    颁布单位：[Stellenbosch University] |  颁布时间：2013 |  实施时间：2013 |  学科分类：[["Online, social, networks",, "Data, clustering",, "Machine, learning",, "Twitter",, "Dissertations, --, Mathematical, sciences",, "Theses, --, Mathematical, sciences",, "Dissertations, --, Computer, science",, "Theses, --, Computer, science"]]
    预览  |  原文链接    [浏览：0 下载：0]
  • Investigating the non-termination of affine loops
    颁布单位：[Stellenbosch University] |  颁布时间：2013 |  实施时间：2013 |  学科分类：[["Termination",, "Affine, loops",, "Java",, "Computer, software, --, Verification",, "Dissertations, --, Mathematical, sciences",, "Theses, --, Mathematical, sciences",, "Dissertations, --, Computer, science",, "Theses, --, Computer, science"]]
    预览  |  原文链接    [浏览：4 下载：0]
  • Assessing a brain-computer interface by evoking the auditory cortex through binaural beats
    颁布单位：[University of the Free State] |  颁布时间：2013 |  实施时间：2013 |  学科分类：[["Dissertation, (M.Sc., (Computer, Science, and, Informatics))--University, of, the, Free, State,, 2013","Brain-computer, interfaces","Computational, neuroscience","Neural, networks, --, Computer, science"]]
    预览  |  原文链接    [浏览：0 下载：0]