咨询与建议

限定检索结果

文献类型

  • 16,878 篇 会议
  • 421 篇 期刊文献
  • 114 册 图书
  • 1 篇 学位论文

馆藏范围

  • 17,413 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 10,173 篇 工学
    • 8,450 篇 计算机科学与技术...
    • 7,105 篇 软件工程
    • 1,226 篇 电气工程
    • 1,131 篇 控制科学与工程
    • 912 篇 信息与通信工程
    • 642 篇 机械工程
    • 395 篇 生物工程
    • 311 篇 电子科学与技术(可...
    • 308 篇 生物医学工程(可授...
    • 293 篇 土木工程
    • 276 篇 建筑学
    • 260 篇 化学工程与技术
    • 240 篇 材料科学与工程(可...
    • 214 篇 安全科学与工程
    • 202 篇 仪器科学与技术
    • 173 篇 动力工程及工程热...
  • 2,890 篇 管理学
    • 1,922 篇 管理科学与工程(可...
    • 1,215 篇 图书情报与档案管...
    • 993 篇 工商管理
  • 2,337 篇 理学
    • 1,346 篇 数学
    • 423 篇 生物学
    • 412 篇 物理学
    • 328 篇 系统科学
    • 312 篇 统计学(可授理学、...
    • 215 篇 化学
  • 913 篇 教育学
    • 907 篇 教育学
  • 316 篇 医学
    • 260 篇 临床医学
    • 228 篇 基础医学(可授医学...
  • 265 篇 法学
    • 221 篇 社会学
  • 252 篇 经济学
    • 246 篇 应用经济学
  • 82 篇 农学
  • 55 篇 文学
  • 15 篇 军事学
  • 7 篇 艺术学
  • 1 篇 哲学

主题

  • 1,539 篇 software enginee...
  • 1,218 篇 software
  • 1,111 篇 knowledge engine...
  • 877 篇 application soft...
  • 644 篇 knowledge based ...
  • 544 篇 computer science
  • 520 篇 knowledge manage...
  • 430 篇 data mining
  • 410 篇 software systems
  • 398 篇 programming
  • 391 篇 ontologies
  • 365 篇 computer archite...
  • 325 篇 education
  • 268 篇 educational inst...
  • 261 篇 artificial intel...
  • 251 篇 computer aided s...
  • 236 篇 software design
  • 228 篇 semantics
  • 209 篇 software archite...
  • 208 篇 project manageme...

机构

  • 49 篇 state key labora...
  • 45 篇 college of compu...
  • 33 篇 school of inform...
  • 31 篇 school of comput...
  • 29 篇 nanjing univ sta...
  • 29 篇 school of softwa...
  • 28 篇 school of comput...
  • 26 篇 school of softwa...
  • 25 篇 state key labora...
  • 23 篇 college of infor...
  • 23 篇 school of comput...
  • 22 篇 college of compu...
  • 20 篇 school of softwa...
  • 20 篇 university of ch...
  • 20 篇 school of electr...
  • 19 篇 school of softwa...
  • 19 篇 school of softwa...
  • 18 篇 software enginee...
  • 18 篇 school of softwa...
  • 17 篇 national enginee...

作者

  • 24 篇 biffl stefan
  • 22 篇 jin zhi
  • 22 篇 wang qing
  • 17 篇 liu yang
  • 16 篇 liu jie
  • 15 篇 far behrouz h.
  • 15 篇 wang wei
  • 14 篇 washizaki hirono...
  • 14 篇 xu baowen
  • 13 篇 li li
  • 13 篇 wei liu
  • 12 篇 zamani bahman
  • 12 篇 almeida hyggo
  • 11 篇 zhang hongyu
  • 11 篇 lu lu
  • 11 篇 lu jie
  • 11 篇 wotawa franz
  • 10 篇 qing wang
  • 10 篇 shen beijun
  • 10 篇 wu huisi

语言

  • 17,144 篇 英文
  • 165 篇 其他
  • 75 篇 中文
  • 25 篇 西班牙文
  • 7 篇 葡萄牙文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 土耳其文
  • 1 篇 俄文
  • 1 篇 斯洛伐克文
检索条件"任意字段=Knowledge-Based Software Engineering Conference"
17414 条 记 录,以下是4931-4940 订阅
排序:
Medical Expert System to Diagnose the Most Common Psychiatric Diseases  21
Medical Expert System to Diagnose the Most Common Psychiatri...
收藏 引用
7th International conference on engineering and MIS, ICEMIS 2021
作者: Alsagheer, Eman A. Rajab, Hamzah A. Elnajar, Khadiga M.Y. Department of Computer Science Faculty of Information Technology University of Benghazi Benghazi Libya Department of Software Engineering Faculty of Information Technology University of Benghazi Benghazi Libya
Expert Systems are programs that employ artificial intelligence and mimic the performance of human experts in a certain field by gathering and capturing expert information. In this paper, we present a rule-based exper... 详细信息
来源: 评论
Metaprogramming Environment For Industry 4.0  6
Metaprogramming Environment For Industry 4.0
收藏 引用
6th International conference on Enterprise Systems (ES)
作者: Papazoglou, Michael P. Tilburg Univ European Res Inst Serv Sci NL-5000 LE Tilburg Netherlands
Industry 4.0 is blurring the lines between the physical, and digital spheres of global production systems. Industry 4.0 sets the foundations for a completely connected factories that are characterized by the digitizat... 详细信息
来源: 评论
Experiencing Education 5.0 for Civil engineering  5
Experiencing Education 5.0 for Civil Engineering
收藏 引用
5th International conference on Industry 4.0 and Smart Manufacturing (ISM)
作者: Calvetti, Diego Meda, Pedro de Sousa, Hipolito Goncalves, Miguel Chichorro Amorim Faria, Jose Manuel da Costa, Jorge Moreira Univ Porto CONSTRUCT GEQUALTEC Fac Engn P-4200465 Porto Portugal
Nowadays, the construction industry's digital transformation processes are challenging civil engineering education. In general, students and society underestimate the civil engineering field as an outdated and arc... 详细信息
来源: 评论
An Empirical Study of Smart Contract Decompilers  30
An Empirical Study of Smart Contract Decompilers
收藏 引用
30th IEEE International conference on software Analysis, Evolution and Reengineering (SANER)
作者: Liu, Xia Hua, Baojian Wang, Yang Pan, Zhizhong Univ Sci & Technol China Sch Software Engn Hefei Peoples R China
Smart contract decompilers, converting smart contract bytecode into smart contract source code, have been used extensively in many scenarios such as binary code analysis, reverse engineering, and security studies. How... 详细信息
来源: 评论
Ontology module extraction based on semantic query
Ontology module extraction based on semantic query
收藏 引用
2nd Annual conference on Electrical and Control engineering, ICECE 2011
作者: Zhang, Liang Liu, Kun Qin, Xue Tang, Shengqun State Key Lab of Software Engineering Wuhan University Wuhan China School of Management Wuhan Institute of Technology Wuhan China
Ontologies are the knowledge repositories that enable meaningful inter-agent communication in semantic web frameworks. To support the huge number of services that will be developed in the semantic web, ontologies are ... 详细信息
来源: 评论
Service-Oriented knowledge Acquisition Paradigm and knowledge Cloud Platform
收藏 引用
8th International conference on Intelligent Systems and knowledge engineering (ISKE)
作者: Rao, Yuan Lu, Shumin Xi An Jiao Tong Univ Coll Software Engn Xian 710049 Shannxi Peoples R China Xi An Jiao Tong Univ Coll Social Sci Xian 710049 Peoples R China
Cloud computing is an emerging new computing paradigm for delivering some computing services to consumers, which provides scalable and inexpensive service-oriented computing infrastructures with good quality of servic... 详细信息
来源: 评论
AutoLog: A Log Sequence Synthesis Framework for Anomaly Detection  38
AutoLog: A Log Sequence Synthesis Framework for Anomaly Dete...
收藏 引用
38th IEEE/ACM International conference on Automated software engineering (ASE)
作者: Huo, Yintong Li, Yichen Su, Yuxin He, Pinjia Xie, Zifan Lyu, Michael R. Chinese Univ Hong Kong Dept Comp Sci & Engn Hong Kong Peoples R China Sun Yat Sen Univ Sch Software Engn Zhuhai Peoples R China Chinese Univ Hong Kong Sch Data Sci Shenzhen CUHK Shenzhen Shenzhen Peoples R China Huazhong Univ Sci & Technol Wuhan Peoples R China
The rapid progress of modern computing systems has led to a growing interest in informative run-time logs. Various log-based anomaly detection techniques have been proposed to ensure software reliability. However, the... 详细信息
来源: 评论
PC-based interface configuration for flexible, interactive access to simulation software
PC-based interface configuration for flexible, interactive a...
收藏 引用
Proceedings of the Twenty-First Annual Pittsburgh conference
作者: Rozin, Roman Sanderson, Pete Treu, Siegfried Univ of Pittsburgh Pittsburgh United States
A PC-based user interface (N-CHIME) to a simulation language (HSL) is described. The interface adjusts to users with different levels of knowledge and experience, while providing alternative paths toward modeling obje... 详细信息
来源: 评论
Reusing Search Tree for Incremental SAT Solving of Temporal Induction
Reusing Search Tree for Incremental SAT Solving of Temporal ...
收藏 引用
18th International conference on engineering of Complex Computer Systems (ICECCS)
作者: Yin, Liangze He, Fei Zhou, Min Gu, Ming Tsinghua Univ Sch Software Tsinghua Natl Lab Informat Sci & Technol Minist EducKey Lab Informat Syst Secur Beijing 100084 Peoples R China
Temporal induction is a SAT-based model checking technique. We prove that the SAT instances generated by its induction rule can be reduced to the so called Incremental CNFs. A new DPLL procedure is customized for Incr... 详细信息
来源: 评论
A reconfigurable design method of embedded control system based on ontology
A reconfigurable design method of embedded control system ba...
收藏 引用
2010 International conference on E-Product E-Service and E-Entertainment, ICEEE2010
作者: Tang, Binhong Yi, Jianjun Cheng, Ying Gu, Chunhua Dept.of Mechanical Engineering East China University of Science and Technology Shanghai 200237 China School.of Information Engineering East China University of Science and Technology Shanghai 200237 China
The traditional development of hardware and software of embedded system is non-synchronous, low efficiency and the design knowledge can not be reused. To solve these problems, a new developing method, Reconfigurable D... 详细信息
来源: 评论