咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 5,218 篇 电子文献
  • 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,089 篇 英文
  • 105 篇 其他
  • 34 篇 中文
  • 2 篇 德文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"
5222 条 记 录,以下是341-350 订阅
排序:
Specification and Verification of Communication Paradigms for CBSE in Event B  27
Specification and Verification of Communication Paradigms fo...
收藏 引用
27th International conference on engineering of Complex computer systems, ICECCS 2023
作者: thierry, Loic Jaskolka, Jason Hamid, Brahim Bodeveix, Jean-Paul Irit Université de Toulouse CNRS UT2 Toulouse31062 Cedex 9 France Carleton University Systems and Computer Engineering OttawaONK1S 5B6 Canada
the development of distributed computing systems and of their usage in domains such as the Internet of things, Big Data, etc., raises numerous questions on the tools available to model the complexity of such systems. ... 详细信息
来源: 评论
Hazard Analysis Methods for software Safety Requirements engineering  2022
Hazard Analysis Methods for Software Safety Requirements Eng...
收藏 引用
5th International conference on software engineering and Information Management, ICSIM 2022
作者: Nguyen Tran, Vu Vu Tran, Long Nguyen Tran, Viet Ngoc Vu, Dao School of Business and Information Technology Capella University United States Mechanical Engineering Department University of Southern California United States
the rise of software-based system control in safety-critical systems has made software safety a critical part of a system safety program. the risk of catastrophic software system failure increases with the growth of s... 详细信息
来源: 评论
A Blockchain-Based On-Chain and Off-Chain Dual-Trusted Carbon Emission Trading System with Reputation Mechanism  5th
A Blockchain-Based On-Chain and Off-Chain Dual-Trusted Carb...
收藏 引用
5th International conference on Blockchain and Trustworthy systems, BlockSys 2023
作者: Wang, Chenxu Sang, Xinxin School of Software Engineering Xi’an Jiaotong University Xi’an China
Traditional centralized carbon emission trading systems suffer from data falsification, which is not conducive to the goal of carbon reduction. this paper proposes a blockchain-based on-chain and off-chain dual-truste... 详细信息
来源: 评论
Feature Reduction-based Intrusion Detection (FRID) in Satellite-Terrestrial Integrated Networks  5
Feature Reduction-based Intrusion Detection (FRID) in Satell...
收藏 引用
5th International conference on High Performance Big Data and Intelligent systems, HDIS 2023
作者: Yao, Lin Tian, Ziyuan Deng, Jing Wu, Guowei Li, Li DUT-RU International School of Information Science & Engineering Dalian University of Technology Dalian China School of Software Dalian University of Technology Dalian China The Department of Computer Science UNC Greensboro UNC NC Greensboro27412 United States Department of Computer and Information Science University of Macau China
Satellite-Terrestrial Integrated Networks (STINs) integrate satellite networks, the Internet, and mobile wireless networks and are able to provide powerful services to users. In STIN, satellite gateways play an import... 详细信息
来源: 评论
ICSAI 2023 - 9th International conference on systems and Informatics
ICSAI 2023 - 9th International Conference on Systems and Inf...
收藏 引用
9th International conference on systems and Informatics, ICSAI 2023
the proceedings contain 66 papers. the topics discussed include: an improved Gaussian-mapping algorithm for edge detection based on FPGA;traffic sign recognition based on improved YOLOv5s;privacy-preserving arbitrary ...
来源: 评论
Stepwise Development of Paraconsistent Processes  17th
Stepwise Development of Paraconsistent Processes
收藏 引用
17th International conference on theoretical Aspects of software engineering (TASE)
作者: Cunha, Juliana Madeira, Alexandre Barbosa, Luis Soares Aveiro Univ Dept Math CIDMA Aveiro Portugal Minho Univ INESC TEC Braga Portugal Minho Univ Dept Informat Braga Portugal
the development of more flexible and robust models for reasoning about systems in environments with potentially conflicting information is becoming more and more relevant in different contexts. In this direction, we r... 详细信息
来源: 评论
Load Balancing in SDN-IoT Network  8th
Load Balancing in SDN-IoT Network
收藏 引用
8th International conference on Inventive Communication and Computational Technologies, ICICCT 2024
作者: Sarohe, Sanehi Harit, Sandeep Kumar, Manish Department of Computer Science and Engineering Punjab Engineering College Chandigarh India
the Internet of things (IoT) extends the reach of the Internet by allowing intelligent devices to discover and connect with the actual surroundings, as well as interact with other physical entities. software Defined N... 详细信息
来源: 评论
CtxFuzz: Discovering Heap-Based Memory Vulnerabilities through Context Heap Operation Sequence Guided Fuzzing  18th
CtxFuzz: Discovering Heap-Based Memory Vulnerabilities Throu...
收藏 引用
18th International conference on theoretical Aspects of software engineering (TASE)
作者: Jiang, Jiacheng Wen, Cheng Qin, Shengchao Shenzhen Univ Coll Comp Sci & Software Engn Shenzhen Peoples R China Xidian Univ Guangzhou Inst Technol Xian Peoples R China
Heap-based memory vulnerabilities are significant contributors to software security and reliability. the presence of these vulnerabilities is influenced by factors such as code coverage, the frequency of heap operatio... 详细信息
来源: 评论
Contract Based Embedded software Design  1
收藏 引用
17th International conference on theoretical Aspects of software engineering (TASE)
作者: Lidstrom, Christian Gurov, Dilian KTH Royal Inst Technol Stockholm Sweden
In embedded systems development, contract based design is a design paradigm where a system is divided hierarchically into components and developed in a top-down manner, using contracts as a means to divide responsibil... 详细信息
来源: 评论
A New Method for Imbalanced Data Reduction Using Data Based Under Sampling  5th
A New Method for Imbalanced Data Reduction Using Data Based ...
收藏 引用
5th International conference on Soft Computing and Signal Processing, ICSCSP 2022
作者: Manjula, B. Layaq, Shaheen Department of Computer Science Kakatiya University Telangana Warangal India
the machine learning classification techniques becomes inaccurate due to presence of imbalance. there are many balancing methods available among them data-based under sampling methods are mostly used. We have also con... 详细信息
来源: 评论