咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是611-620 订阅
排序:
Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation  24
Mozi: Discovering DBMS Bugs via Configuration-Based Equivale...
收藏 引用
44th ACM/IEEE International conference on software engineering, ICSE 2024
作者: Liang, Jie Wu, Zhiyong Fu, Jingzhou Wang, Mingzhe Sun, Chengnian Jiang, Yu Kliss BNRist School of Software Tsinghua University Beijing China Cheriton School of Computer Science University of Waterloo Waterloo Canada
Testing database management systems (DBMSs) is a complex task. Traditional approaches, such as metamorphic testing, need a precise comprehension of the SQL specification to create diverse inputs with equivalent semant... 详细信息
来源: 评论
Modeling of Improved Solar Energy Installation for Efficient Power systems  14
Modeling of Improved Solar Energy Installation for Efficient...
收藏 引用
14th International conference on Advanced computer Information Technologies, ACIT 2024
作者: Satsyk, Viktor Reshetylo, Oleksandr Markina, Lyudmila Khrystynets, Nataliia Bahniuk, Nataliia Melnychuk, Yuliia Lutsk National Technical University Automation and Computer-Integrated Technologies Department Lutsk Ukraine Lutsk National Technical University Department of Automation and Computer-Integrated Technologies Lutsk Ukraine Lutsk National Technical University Computer Engineering and Cyber Security Department Lutsk Ukraine Lutsk National Technical University Department of Computer Engineering and Cyber Security Lutsk Ukraine Lutsk National Technical University Department of Digital Educational Technologies Lutsk Ukraine
in the article we develop modeling and creating a prototype of improved solar power plant for economical power supply systems for consumers which require simple autonomous inexpensive practical energy solutions. On th... 详细信息
来源: 评论
Continuous engineering for Trustworthy Learning-Enabled Autonomous systems  1st
Continuous Engineering for Trustworthy Learning-Enabled Aut...
收藏 引用
1st International conference on Bridging the Gap between AI and Reality, AISoLA 2023
作者: Bensalem, Saddek Katsaros, Panagiotis Ničković, Dejan Liao, Brian Hsuan-Cheng Nolasco, Ricardo Ruiz Ahmed, Mohamed Abd El Salam Beyene, Tewodros A. Cano, Filip Delacourt, Antoine Esen, Hasan Forrai, Alexandru He, Weicheng Huang, Xiaowei Kekatos, Nikolaos Könighofer, Bettina Paulitsch, Michael Peled, Doron Ponchant, Matthieu Sorokin, Lev Tong, Son Wu, Changshun University Grenoble Alpes VERIMAG Grenoble France School of Informatics Aristotle University of Thessaloniki Thessaloniki Greece AIT Austrian Institute of Technology Vienna Austria DENSO AUTOMOTIVE Deutschland GmbH Eching Germany RGB Medical Devices Madrid Spain Siemens EDA Cairo Egypt fortiss GmbH Munich Germany Graz University of Technology Graz Austria Siemens Industry Software SAS Grenoble France Siemens Digital Industries Software Eindhoven Netherlands University of Liverpool Liverpool United Kingdom Intel Labs Munich Germany Bar Ilan University Ramat Gan Israel Siemens Industry Software NV Leuven Belgium
Learning-enabled autonomous systems (LEAS) use machine learning (ML) components for essential functions of autonomous operation, such as perception and control. LEAS are often safety-critical. The development and inte... 详细信息
来源: 评论
Method for background replacement of certification photos
Method for background replacement of certification photos
收藏 引用
2024 International conference on Optics, Electronics, and Communication engineering, OECE 2024
作者: Chen, Xu Zhang, Jihong Du, Yufei Sha, Zihuan Qiu, Rongfei Xu, Zezhong School of Computer Science and Information Engineering Changzhou Institute of Technology Jiangsu Changzhou213032 China
In order to overcome defects resulted from replacing the photo background color, an improved method is proposed for background replacement. The α-values in the alpha matte are transformed to enhance the details in th... 详细信息
来源: 评论
A dynamic Trust Management Model for Healthcare Supply Chain Based on Blockchain Technology  3
A dynamic Trust Management Model for Healthcare Supply Chain...
收藏 引用
3rd International conference on Cloud Computing, Big Data Application and software engineering, CBASE 2024
作者: Ma, Xihong Wang, Yongli Liu, Dongmei School of Computer Network and Space Security Nanjing University of Science and Technology Nanjing China School of Computer Science and Engineering Nanjing University of Science and Technology Nanjing China
With the increasing requirements for supply chain security, traceability and efficiency in the healthcare industry, existing centralized or decentralized management systems show obvious limitations in dynamic environm... 详细信息
来源: 评论
Research on the Comprehensive Design Method of Process Engine Based on Primitive BPS  6
Research on the Comprehensive Design Method of Process Engin...
收藏 引用
6th International conference on software engineering and computer Science, CSECS 2023
作者: Hao, Zuyi Gao, Lihua Shang, Jingtao China North Vehicle Research Institute Network Information Department Beijing China
This article discusses how to reorganize information management systems with workflow technology as the core, so that the control logic and specific functions of their business processes are relatively independent, an... 详细信息
来源: 评论
A Conceptual Model for Data Warehousing  19
A Conceptual Model for Data Warehousing
收藏 引用
19th International conference on Evaluation of Novel Approaches to software engineering, ENASE 2024
作者: Prakash, Deepika Prakash, Naveen Institute of Engineering and Technology Department of Computer Engineering JK Lakshmipat University Jaipur302026 India ICLC 21/3 S Bhagat Singh Marg New Delhi110001 India
We show that current approaches for data warehouse conceptual modelling are inadequate for capturing the range of analysis capabilities of the enterprise. In addressing this, our conceptual model retains the basic dis... 详细信息
来源: 评论
Eliciting Explainability Requirements for Safety-Critical systems: A Nuclear Case Study  31st
Eliciting Explainability Requirements for Safety-Critical S...
收藏 引用
31st International Working conference on Requirements engineering: Foundation for software Quality, REFSQ 2025
作者: Taylor, Hazel M Luckcuck, Matt Farrell, Marie Jay, Caroline Cangelosi, Angelo Dennis, Louise A. Department of Computer Science University of Manchester Manchester United Kingdom School of Computer Science University of Nottingham Nottingham United Kingdom
[Context & Motivation] Explainable autonomous systems are increasingly essential for engendering trust, especially when they are deployed in safety-critical scenarios. [Question/Problem] Despite the robust reliabi... 详细信息
来源: 评论
An Overview Analysis of Authentication Mechanism in Microservices-Based software Architecture: A Discussion Paper  8
An Overview Analysis of Authentication Mechanism in Microser...
收藏 引用
8th IEEE International conference on software engineering and computer systems, ICSECS 2023
作者: Jack, Chang Hoong Teck, See Kwee Ming, Lim Tong Hong, Ding Ying Tunku Abdul Rahman University of Management and Technology Department of Software Engineering and Technology Kuala Lumpur Malaysia Tunku Abdul Rahman University of Management and Technology Department of Information System and Security Kuala Lumpur Malaysia Tunku Abdul Rahman University of Management and Technology Department of Centre for Business Incubation and Entrepreneurial Venture Kuala Lumpur Malaysia
Microservices-based software architecture promotes scalability and flexibility by breaking down a software application into smaller modules and making it more independent and loosely coupled services compared to monol... 详细信息
来源: 评论
software systems Using Variability Approaches  5
Software Systems Using Variability Approaches
收藏 引用
5th International conference on Inventive Research in Computing Applications, ICIRCA 2023
作者: Arya, Ashima Gupta, Prince Singhal, Swasti Goel, Akash Kiet Group of Institutions Department of Computer Science and Information Technology Uttar Pradesh Ghaziabad201206 India Kiet Group of Institutions Delhi-NCR Departmrnt of Computer Science Uttar Pradesh Ghaziabad201206 India
A system's ability to adjust and adapt to different events and surroundings is known as variability. Variability is required to increase the product's flexibility and potential for reuse. Researchers have so f... 详细信息
来源: 评论