咨询与建议

限定检索结果

文献类型

  • 4,790 篇 会议
  • 353 册 图书
  • 80 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 5,220 篇 电子文献
  • 4 种 纸本馆藏

日期分布

学科分类号

  • 3,588 篇 工学
    • 3,087 篇 计算机科学与技术...
    • 2,586 篇 软件工程
    • 583 篇 信息与通信工程
    • 434 篇 控制科学与工程
    • 339 篇 电气工程
    • 230 篇 机械工程
    • 199 篇 电子科学与技术(可...
    • 194 篇 生物工程
    • 141 篇 安全科学与工程
    • 137 篇 生物医学工程(可授...
    • 107 篇 建筑学
    • 99 篇 动力工程及工程热...
    • 95 篇 土木工程
    • 82 篇 材料科学与工程(可...
    • 82 篇 交通运输工程
    • 81 篇 仪器科学与技术
  • 990 篇 理学
    • 556 篇 数学
    • 219 篇 生物学
    • 172 篇 系统科学
    • 169 篇 物理学
    • 151 篇 统计学(可授理学、...
    • 76 篇 化学
  • 802 篇 管理学
    • 569 篇 管理科学与工程(可...
    • 302 篇 工商管理
    • 289 篇 图书情报与档案管...
  • 143 篇 医学
    • 120 篇 临床医学
    • 110 篇 基础医学(可授医学...
  • 129 篇 教育学
    • 126 篇 教育学
  • 111 篇 经济学
    • 111 篇 应用经济学
  • 108 篇 法学
    • 79 篇 社会学
  • 41 篇 农学
  • 11 篇 军事学
  • 8 篇 文学
  • 2 篇 艺术学

主题

  • 374 篇 software enginee...
  • 223 篇 software
  • 173 篇 artificial intel...
  • 154 篇 computer archite...
  • 143 篇 information syst...
  • 143 篇 application soft...
  • 130 篇 computer communi...
  • 114 篇 computer science
  • 109 篇 hardware
  • 109 篇 computer softwar...
  • 108 篇 software enginee...
  • 102 篇 real-time system...
  • 94 篇 control systems
  • 89 篇 computer aided s...
  • 73 篇 software systems
  • 72 篇 computational mo...
  • 72 篇 software design
  • 71 篇 software archite...
  • 61 篇 software testing
  • 61 篇 logics and meani...

机构

  • 21 篇 college of compu...
  • 10 篇 school of softwa...
  • 9 篇 univ york dept c...
  • 9 篇 dublin city univ...
  • 8 篇 department of co...
  • 8 篇 state key labora...
  • 7 篇 school of comput...
  • 7 篇 faculty of compu...
  • 6 篇 school of comput...
  • 6 篇 school of comput...
  • 6 篇 shanghai key lab...
  • 6 篇 college of compu...
  • 6 篇 university of ne...
  • 6 篇 faculty of compu...
  • 6 篇 carleton univ de...
  • 6 篇 univ haifa dept ...
  • 6 篇 school of inform...
  • 5 篇 univ chinese aca...
  • 5 篇 hebrew universit...
  • 5 篇 nanjing univ sta...

作者

  • 14 篇 kupferman orna
  • 14 篇 labiche yvan
  • 12 篇 david lo
  • 8 篇 mylopoulos john
  • 8 篇 yilmaz murat
  • 8 篇 reinhartz-berger...
  • 8 篇 sturm arnon
  • 8 篇 xin xia
  • 8 篇 paige richard f.
  • 7 篇 o'connor rory v.
  • 7 篇 vardi moshe y.
  • 7 篇 clarke paul m.
  • 7 篇 biffl stefan
  • 7 篇 briand lionel c.
  • 7 篇 exman iaakov
  • 6 篇 katz guy
  • 6 篇 maoz shahar
  • 6 篇 sulaiman shahida
  • 6 篇 lakhmi c. jain
  • 5 篇 bernady o. apduh...

语言

  • 5,091 篇 英文
  • 105 篇 其他
  • 34 篇 中文
  • 2 篇 德文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"
5224 条 记 录,以下是171-180 订阅
排序:
A Formal Approach for Verifying and Validating Security Objectives in software Architecture  17th
A Formal Approach for Verifying and Validating Security Ob...
收藏 引用
17th International conference on Verification and Evaluation of computer and Communication systems, VECoS 2024
作者: thierry, Loïc Hamid, Brahim Jaskolka, Jason IRIT Université de Toulouse CNRS UT2 118 Route de Narbonne Toulouse Cedex 931062 France Systems and Computer Engineering Carleton University 1125 Colonel By Drive OttawaONK1S 5B6 Canada
the design and analysis of security in distributed computing systems raises numerous questions on the tools available for modeling and verification. Particularly, it is difficult to ensure the correctness when using d... 详细信息
来源: 评论
Simulation Analysis to Estimate Performances of Automated Parking System  23
Simulation Analysis to Estimate Performances of Automated Pa...
收藏 引用
5th International conference on Management Science and Industrial engineering, MSIE 2023
作者: Polsuksiri, Alongkorn Chutima, Parames Department of Industrial Engineering Faculty of Engineering Chulalongkorn University Thailand Academy of Science The Royal Society of Thailand Thailand
Automated parking systems make it possible to alleviate the parking problem, improve effective investment in real estate, and reduce the area devoted to parking. Currently, there are several types of automated parking... 详细信息
来源: 评论
Heuristic approaches for hiding sensitive frequent itemsets in uncertain databases  5
Heuristic approaches for hiding sensitive frequent itemsets ...
收藏 引用
5th International conference on Pattern Analysis and Intelligent systems, PAIS 2023
作者: Lefkir, Mira Nouioua, Farid Fournier-Viger, Phillipe University Mohamed El Bachir El Ibrahimi of Bordj Bou Arreridj BBA Dept. of Computer Science Algeria Shenzhen University College of Computer Science and Software Engineering Shenzhen China
Pattern mining is a core objective within data mining, involving the detection of frequent itemsets (collections of values) within databases. this process serves to extract valuable insights from the data, facilitatin... 详细信息
来源: 评论
Design and Implementation of the Chinese Character Font Recognition System Based on Binary Convolutional Encoding and Decoding Network  5
Design and Implementation of the Chinese Character Font Reco...
收藏 引用
5th IEEE International conference on Power, Intelligent Computing and systems, ICPICS 2023
作者: Zhang, Xiangyang School of Computer and Software Engineering Xihua University Chengdu610039 China
With the in-depth research of computer vision and natural language processing, Chinese character font recognition technology has been widely used. However, due to the large number, complex shape, and changeable style ... 详细信息
来源: 评论
software Testing in Ecuadorian University Education: A Debt to the software Industry  12th
Software Testing in Ecuadorian University Education: A Debt ...
收藏 引用
12th World conference on Information systems and Technologies (WorldCIST)
作者: Ceron, Belen Chicaiza, Alex Lamino, Johana Reyes Ch, Rolando P. Univ Politecn Madrid Campus Montegancedo Madrid Spain Univ Las Fuerzas Armadas ESPE Sangolqui 171103 Ecuador Univ Int La Rioja Madrid Spain
the software industry has evolved exponentially in the last 50 years, andwith it, software testing has become like a badge of software quality. However, during this evolution universities apparently have not kept pace... 详细信息
来源: 评论
Novel Approach for Enhancing Mental Well-Being through Machine Learning Techniques  5
Novel Approach for Enhancing Mental Well-Being Through Machi...
收藏 引用
5th International conference on Advancements in Computing, ICAC 2023
作者: Roshani, O.V.D.E. Ayuwardhana, H.M.K.J.J. Rodrigo, P.H.M.S. Hewageegana, R.U. Fernando, Harinda De Silva, Dilshan I. Sri Lanka Institute of Information Technology Faculty of Computing Department of Computer Science and Software Engineering Malabe Sri Lanka Sri Lanka Institute of Information Technology Faculty of Computing Department of Computer Systems Engineering Malabe Sri Lanka
Frequently, individuals undergo specific episodes of mental health challenges throughout their lifetime. But the COVID pandemic has triggered a surge in mental health disorders arising from isolation, monotonous routi... 详细信息
来源: 评论
A Taxonomy of Self-Admitted Technical Debt in Deep Learning systems  40
A Taxonomy of Self-Admitted Technical Debt in Deep Learning ...
收藏 引用
40th International conference on software Maintenance and Evolution
作者: Pepe, Federica Zampetti, Fiorella Mastropaolo, Antonio Bavota, Gabriele Di Penta, Massimiliano Univ Sannio Benevento Italy William & Mary Williamsburg VA USA Univ Svizzera Italiana Software Inst Lugano Switzerland
the development of Machine Learning (ML)- and, more recently, of Deep Learning (DL)-intensive systems requires suitable choices, e.g., in terms of technology, algorithms, and hyper-parameters. Such choices depend on d... 详细信息
来源: 评论
Database design of load spectrum calculation software for wheeled crane  5
Database design of load spectrum calculation software for wh...
收藏 引用
5th International conference on computer Information Science and Artificial Intelligence, CISAI 2022
作者: Zhu, Changjian Zhang, Xingchen Zhang, Zhengde Wang, Yuguo Chen, Ruwen Wu, Kang School of Automotive and Rail Transit Nanjing Institute of Technology Jiangsu China Xuzhou Heavy Machinery Co. Ltd. Jiangsu China
the software development of wheeled crane load spectrum calculation will involve a series of database design problems, especially the characteristics of many data table types, and large number of fields. Based on the ... 详细信息
来源: 评论
An Empirical Evaluation of Design Smells and Code Smells Over Multiple Versions of software Evolution  5th
An Empirical Evaluation of Design Smells and Code Smells Ove...
收藏 引用
5th International conference on Computing, Communications, and Cyber Security, IC4S 2023
作者: Sharma, Kapil Chhabra, Jitender Kumar Computer Engineering Department National Institute of Technology Kurukshetra India
software code smells serve as indicators of potential flaws in code design. It signifies that the code has not been created while following the design principles. Code smells do not mean the software system is faulty,... 详细信息
来源: 评论
Manufacturing In-House Information Technology Team Analysis Hybrid software Development Model  5th
Manufacturing In-House Information Technology Team Analysis ...
收藏 引用
5th International conference on computer and Communication Technologies, IC3T 2023
作者: Singh, Kamred Udham Kumar, Ankit Kumar, Gaurav Singh, Teekam Choudhury, Tanupriya Kotecha, Ketan School of Computing Graphic Era Hill University Dehradun India Department of Computer Engineering & Applications GLA University UP Mathura India Department of Computer Science and Engineering Graphic Era Deemed to be University Dehradun India Lavale Campus Pune India Pune411045 India CSE Dept. Graphic Era Deemed to be University Uttarakhand Dehradun India
the information technology team working in the manufacturing industry may use this paper to learn about the results of the recently established hybrid software development model with the aid of this paper. the IT team... 详细信息
来源: 评论