咨询与建议

限定检索结果

文献类型

  • 86,102 篇 会议
  • 1,723 篇 期刊文献
  • 198 册 图书
  • 4 篇 学位论文
  • 2 篇 科技报告

馆藏范围

  • 88,023 篇 电子文献
  • 8 种 纸本馆藏

日期分布

学科分类号

  • 46,744 篇 工学
    • 38,429 篇 计算机科学与技术...
    • 31,980 篇 软件工程
    • 6,381 篇 控制科学与工程
    • 6,313 篇 信息与通信工程
    • 5,566 篇 电气工程
    • 3,214 篇 机械工程
    • 2,951 篇 电子科学与技术(可...
    • 2,059 篇 生物工程
    • 1,599 篇 生物医学工程(可授...
    • 1,487 篇 安全科学与工程
    • 1,405 篇 动力工程及工程热...
    • 1,371 篇 仪器科学与技术
    • 1,274 篇 建筑学
    • 1,206 篇 土木工程
    • 1,147 篇 材料科学与工程(可...
    • 1,037 篇 光学工程
    • 1,029 篇 交通运输工程
  • 13,166 篇 理学
    • 7,356 篇 数学
    • 2,660 篇 物理学
    • 2,363 篇 系统科学
    • 2,245 篇 生物学
    • 1,766 篇 统计学(可授理学、...
  • 11,155 篇 管理学
    • 7,853 篇 管理科学与工程(可...
    • 4,113 篇 工商管理
    • 4,080 篇 图书情报与档案管...
  • 2,147 篇 教育学
    • 2,121 篇 教育学
  • 1,383 篇 医学
    • 1,181 篇 临床医学
    • 1,036 篇 基础医学(可授医学...
  • 1,378 篇 法学
    • 1,077 篇 社会学
  • 1,313 篇 经济学
    • 1,304 篇 应用经济学
  • 382 篇 农学
  • 257 篇 文学
  • 194 篇 军事学
  • 61 篇 艺术学
  • 2 篇 哲学
  • 2 篇 历史学

主题

  • 8,329 篇 application soft...
  • 5,921 篇 computer archite...
  • 5,689 篇 software enginee...
  • 5,291 篇 software
  • 5,225 篇 computer science
  • 4,425 篇 software systems
  • 4,162 篇 hardware
  • 3,535 篇 computer aided s...
  • 3,262 篇 control systems
  • 2,660 篇 computational mo...
  • 2,235 篇 costs
  • 2,093 篇 programming
  • 1,748 篇 computer softwar...
  • 1,740 篇 real time system...
  • 1,637 篇 testing
  • 1,508 篇 real-time system...
  • 1,458 篇 software design
  • 1,389 篇 protocols
  • 1,358 篇 information syst...
  • 1,319 篇 educational inst...

机构

  • 196 篇 college of compu...
  • 117 篇 school of comput...
  • 61 篇 school of comput...
  • 56 篇 college of compu...
  • 53 篇 school of comput...
  • 49 篇 department of co...
  • 39 篇 school of comput...
  • 38 篇 college of compu...
  • 37 篇 department of el...
  • 36 篇 school of electr...
  • 36 篇 department of el...
  • 34 篇 institute of inf...
  • 33 篇 state key labora...
  • 32 篇 school of comput...
  • 32 篇 department of el...
  • 31 篇 department of co...
  • 31 篇 department of el...
  • 31 篇 school of softwa...
  • 29 篇 department of co...
  • 28 篇 school of comput...

作者

  • 49 篇 anon
  • 36 篇 bosch jan
  • 34 篇 o'connor rory v.
  • 28 篇 li yang
  • 27 篇 shaoying liu
  • 26 篇 dubinsky yael
  • 26 篇 ebrahim babaei
  • 22 篇 zhu huibiao
  • 21 篇 dong jin song
  • 20 篇 katz guy
  • 19 篇 lei wang
  • 19 篇 zhang lei
  • 17 篇 levent yilmaz
  • 17 篇 wenyun zhao
  • 17 篇 shahar maoz
  • 17 篇 vardi moshe y.
  • 16 篇 weiming shen
  • 16 篇 rui wang
  • 16 篇 noraziah a.
  • 16 篇 qian chen

语言

  • 86,539 篇 英文
  • 1,017 篇 其他
  • 437 篇 中文
  • 32 篇 西班牙文
  • 18 篇 葡萄牙文
  • 15 篇 德文
  • 14 篇 土耳其文
  • 13 篇 俄文
  • 9 篇 法文
  • 4 篇 捷克文
  • 4 篇 日文
  • 2 篇 乌克兰文
  • 1 篇 朝鲜文
检索条件"任意字段=Israel Conference on Computer Systems and Software Engineering"
88029 条 记 录,以下是471-480 订阅
排序:
Boosting software Quality: A Machine Learning Technique for Predicting Defects  6
Boosting Software Quality: A Machine Learning Technique for ...
收藏 引用
6th International conference on Mobile Computing and Sustainable Informatics, ICMCSI 2025
作者: Akilan Daniel, E. Alwin Infant, P. Jainish, G.R. Panimalar Engineering College Chennai City Campus Chennai India Department of Computer Science and Engineering Panimalar Engineering College Chennai India Loyola ICAM College of Engineering & Technology Chennai India
In order to increase automation, strengthen decision- making, and improve efficiency while reducing costs and maintaining precision, the development of intelligent machinery is becoming more and more dependent on the ... 详细信息
来源: 评论
Extracting OWL-ontology classes of complex technical systems using text analysis  3
Extracting OWL-ontology classes of complex technical systems...
收藏 引用
3rd International conference on Optics, computer Applications, and Materials Science, CMSD 2023
作者: Dyrnochkin, Alexander Moshkin, Vadim Moshkina, Irina Yarushkina, Nadezhda Ulyanovsk State Technical University 32 Severny Venets str Ulyanovsk432027 Russia
This article presents a description of a software service for analyzing text information for the formation of an OWL ontology. This software service analyzes the state of complex technical systems. The work describes ... 详细信息
来源: 评论
Typed and Confused: Studying the Unexpected Dangers of Gradual Typing  24
Typed and Confused: Studying the Unexpected Dangers of Gradu...
收藏 引用
39th ACM/IEEE International conference on Automated software engineering (ASE)
作者: Troppmann, Dominic Fass, Aurore Staicu, Cristian-Alexandra CISPA Helmholtz Ctr Informat Secur Saarbrucken Germany
In recent years, scripting languages such as JavaScript and Python have gained a lot of traction due to their flexibility, which allows developers to write concise code in a short amount of time. However, this flexibi... 详细信息
来源: 评论
A Review of Usage of Tesseract OCR Engine with Vernacular Indian Languages  5th
A Review of Usage of Tesseract OCR Engine with Vernacular In...
收藏 引用
5th EAI International conference on Cognitive Computing and Cyber Physical systems, IC4S 2024
作者: Joshi, Kartik Arolkar, Harshal Faculty of Computer Applications and Information Technology GLS University Ahmedabad India
Optical Character Recognition, or OCR, is a tool that could apprehend textual content in photographs or scanned documents and convert it into system-readable textual content. To recognize and extract information from ... 详细信息
来源: 评论
Formal Specification and Verification of MQTT Protocol Using CoQ Proof Assistant  6
Formal Specification and Verification of MQTT Protocol Using...
收藏 引用
6th International conference on Advanced Aspects of software engineering, ICAASE 2024
作者: Talamali, Ibtissem Lounas, Razika Mezghiche, Mohamed LIMOSE Laboratory Department of Computer Science University of m'Hamed Bougara Faculty of Science Boumerdes Algeria
Because of its efficiency and lightweight design, the Message Queue Telemetry Transport (MQTT) protocol is widely used in Internet of Things (loT) and messaging systems. However, despite its widespread use, guaranteei... 详细信息
来源: 评论
State-of-the-Art in Cyber-Physical Security for Dynamic Wireless Charging of Electric Vehicles  50
State-of-the-Art in Cyber-Physical Security for Dynamic Wire...
收藏 引用
50th Annual conference of the IEEE Industrial Electronics Society, IECON 2024
作者: Yazdanipour, Samaneh Oruganti, V.S.R. Varaprasad Son, Jeonggi Arani, Mohammadreza F.M. Williamson, Sheldon S. Toronto Metropolitan University Department of Electrical Computer and Biomedical Engineering Toronto Canada Ontario Tech University Department of Electrical Computer and Software Engineering Oshawa Canada
Dynamic Wireless Charging systems for electric vehicles offers a revolutionary approach to EV charging, enabling vehicles to charge while in motion and overcoming the limitations of stationary wireless charging. Despi... 详细信息
来源: 评论
The Anatomy of software Changes and Bugs in Autonomous Operating System  47
The Anatomy of Software Changes and Bugs in Autonomous Opera...
收藏 引用
47th IEEE-computer-Society Annual International conference on computers, software, and Applications (COMPSAC)
作者: Goseva-Popstojanova, Katerina Hood, Denny Schumann, Johann Nkwocha, Noble West Virginia Univ Lane Dept Comp Sci & Elect Etz ineeri Morgantown WV 26506 USA NASA Ames Res Ctr KBR WYLE Moffett Field CA 94035 USA Katherine Johnson NASA IV&V Facil Fairmont WV 26554 USA
Cyberphysical systems with autonomous functions are complex pieces of software, consisting of many components, some of which implement autonomous functionality and some may use AI or machine learning algorithms. Softw... 详细信息
来源: 评论
Towards Selection and Transition Between Behavior-Based Neural Networks for Automated Driving  24
Towards Selection and Transition Between Behavior-Based Neur...
收藏 引用
8th International conference on computer Science and Artificial Intelligence, CSAI 2024
作者: Aslam, Iqra Anpilogov, Igor Rausch, Andreas Institute for Software and System Engineering Clausthal University of Technology Clausthal Zellerfeld Germany
Autonomous driving technology is progressing rapidly, largely due to complex End-To-End systems based on deep neural networks. While these systems are effective, their complexity can make it difficult to understand th... 详细信息
来源: 评论
A Monitoring Methodology and Framework to Partition Embedded systems Requirements  19
A Monitoring Methodology and Framework to Partition Embedded...
收藏 引用
19th International conference on Evaluation of Novel Approaches to software engineering, ENASE 2024
作者: Rezvani, Behnaz Patterson, Cameron Bradley Dept. of Electrical and Computer Engineering Virginia Tech BlacksburgVA24060 United States
The adoption of runtime monitoring has historically been limited to experts, primarily due to the intricate complexities associated with formal notations and the verification process. In response to this limitation, t... 详细信息
来源: 评论
Comparative Analysis of Empirical Research on Agile software Development Approaches  11
Comparative Analysis of Empirical Research on Agile Software...
收藏 引用
11th International conference on Reliability, Infocom Technologies and Optimization, ICRITO 2024
作者: Sarkar, Tiyas Moharana, Bhimasen Rakhra, Manik Cheema, Gagandeep Singh School of Computer Science & Engineering Lovely Professional University Punjab Phagwara India
More complex software solutions are in greater demand in today's software business due to the convergence of evolving technology and ever-changing consumer expectations. Because they offer early software delivery ... 详细信息
来源: 评论