咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 3,587 篇 工学
    • 3,086 篇 计算机科学与技术...
    • 2,585 篇 软件工程
    • 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 篇 艺术学

主题

  • 223 篇 software
  • 189 篇 software enginee...
  • 154 篇 computer archite...
  • 143 篇 application soft...
  • 114 篇 computer science
  • 111 篇 computer softwar...
  • 109 篇 hardware
  • 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
  • 56 篇 accuracy
  • 55 篇 monitoring
  • 55 篇 costs
  • 55 篇 testing
  • 54 篇 semantics

机构

  • 20 篇 college of compu...
  • 10 篇 school of softwa...
  • 9 篇 univ york dept c...
  • 9 篇 dublin city univ...
  • 8 篇 state key labora...
  • 7 篇 department of co...
  • 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 篇 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...
  • 5 篇 chitkara univers...

作者

  • 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 篇 harel david
  • 5 篇 yoon mahnsuk

语言

  • 4,764 篇 英文
  • 105 篇 其他
  • 34 篇 中文
  • 2 篇 德文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"
4897 条 记 录,以下是271-280 订阅
排序:
Who Needs the Most Research Effort? Investigating the Importance of Smart Contract Weaknesses  5th
Who Needs the Most Research Effort? Investigating the Impo...
收藏 引用
5th International conference on Blockchain and Trustworthy systems, BlockSys 2023
作者: Chen, Shijian Wang, Yanlin Zheng, Zibin School of Software Engineering Sun Yat-sen University Zhuhai519000 China
Smart contracts have witnessed widespread adoption across various industries since the introduction of Ethereum. Also, smart contracts’ vulnerabilities have gradually attracted academic attention, e.g., Oyente was de... 详细信息
来源: 评论
AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance  28th
AccMILP: An Approach for Accelerating Neural Network Verific...
收藏 引用
28th International conference on engineering of Complex computer systems (ICECCS)
作者: Zheng, Fei Xu, Qingguo Lei, Zhou Miao, Huaikou Shanghai Univ Sch Comp Engn & Sci Shanghai Peoples R China Shanghai Key Lab Comp Software Evaluating & Testi Shanghai Peoples R China
Deep Neural Networks (DNNs) have found successful applications in various non-safety-critical domains. However, given the inherent lack of interpretability in DNNs, ensuring their prediction accuracy through robustnes... 详细信息
来源: 评论
Online Learning Framework for Radio Link Failure Prediction in FANETs  18
Online Learning Framework for Radio Link Failure Prediction ...
收藏 引用
18th conference on computer Science and Intelligence systems, FedCSIS 2023
作者: Danilchenko, Kiril Lazmi, Nir Segal, Michael University of Waterloo Department of Electrical and Computer Engineering WaterlooON Canada School of Electrical and Computer Engineering Ben-Gurion University of the Negev Beer-Sheva Israel
In this paper, we consider the problem of prediction of Radio Link Failures (RLF) in flying ad hoc networks (FANETs). Many environmental factors that influence the quality of radio wave propagation are dynamic, and th... 详细信息
来源: 评论
engineering Smart Contracts with Symboleo: Progress Report 2024  34
Engineering Smart Contracts with Symboleo: Progress Report 2...
收藏 引用
34th Annual International conference on Collaborative Advances in software and Computing, CASCON 2024
作者: Mylopoulos, John Alfuhaid, Sofana Amyot, Daniel Anda, Amal Ahmed Logrippo, Luigi Meloche, Regan Rahimi-Kian, Ashkan Rajpal, Sahil Roveri, Marco Sivakumar, Durga Sousa-Dias, Daniel School of EECS University of Ottawa OttawaONK1N 6N5 Canada King Abdulaziz University Faculty of Computing and Information Technology Jeddah Saudi Arabia Université du Québec en Outaouais Département d'informatique et ingénierie GatineauQCJ8X 3X7 Canada IEMS Solution Ltd. Communitech KitchenerONN2G 1H6 Canada University of Trento Dept. of Information Engineering and Computer Science Trento Italy
Legal contracts have been used for millennia around the world as a foundation for business transactions. Smart con-tracts are cyber-physical systems that deploy Internet-of-things (IoT) and blockchain technologies to ... 详细信息
来源: 评论
Spyware Alert System and Image Steganography for Military Application  5th
Spyware Alert System and Image Steganography for Military Ap...
收藏 引用
5th International conference on Deep Learning, Artificial Intelligence and Robotics, ICDLAIR 2023
作者: Sushma, Nandigama Kiran, Gandikota Prashanth Satya Sai Vinay, Esa Chavva, Subba Reddy Department of IT VR Siddhartha Engineering College Vijayawada India
Cybersecurity is increasingly threatened by the growing prevalence of spyware and other malicious software intended to enter computer systems and modify data. this research paper proposes a ground- breaking amalgamati... 详细信息
来源: 评论
Ensemble Based Detection Model for DDoS Attacks in SDNs Using Advanced Feature Selection  17
Ensemble Based Detection Model for DDoS Attacks in SDNs Usin...
收藏 引用
17th International conference on Signal Processing and Communication systems, ICSPCS 2024
作者: Alashhab, Abdussalam Ahmed Edrah, Aisha Mohd Zahid, Mohd Soperi Siddikur Rahman, Md. Department of Computer and Information Sciences Universiti Teknologi Petronas Seri Iskandar Malaysia Faculty of Information Technology Alasmarya Islamic University Zliten Libya Western University Faculty of Engineering Department of Electrical and Computer Engineering LondonONN6A 5B9 Canada Universiti Teknologi Petronas Department of Electrical and Electronics Engineering Seri Iskandar Malaysia
software-Defined Networking (SDN) enhances flexibility, scalability, and innovation by decoupling the control plane from the data plane, managed through streamlined controller operations. However, Distributed Denial o... 详细信息
来源: 评论
LS-DYNA-Based Car Frontal Fascia Simulation During Collision  14th
LS-DYNA-Based Car Frontal Fascia Simulation During Collision
收藏 引用
14th EAI International conference on Broadband Communications, Networks, and systems, BROADNETS 2024
作者: Prasanna, Jalapudi Laxmi Kumar, Kandukuri Vasantha Dhanraj, Burragalla Madduri, Uday Kumar Department of Mechanical Engineering JNTUH University College of Engineering Jagtial505501 India Department of Mechanical Engineering Vardhaman College of Engineering Hyderabad501218 India
the bumper beam assembly of an automobile is crucial for absorbing impact energy and shielding occupants from front and rear collisions. Crash testing is a type of destructive testing that is typically used to verify ... 详细信息
来源: 评论
Continuous Integration of Neural Networks in Autonomous systems  8th
Continuous Integration of Neural Networks in Autonomous Sy...
收藏 引用
8th International conference on engineering of computer-Based systems, ECBS 2023
作者: Steffen, Bruno Zohren, Jonas Pazarci, Utku Kullmann, Fiona Weißenfels, Hendrik Technische Universität Dortmund Dortmund44149 Germany
the perception of the autonomous driving software of the FS223, a low-level sensor fusion of Lidar and Camera data requires the use of a neural network for image classification. To keep the neural network up to date w... 详细信息
来源: 评论
Multi-modal Graph Attention Network for Video Recommendation  5
Multi-modal Graph Attention Network for Video Recommendation
收藏 引用
5th IEEE International conference on computer and Communication engineering Technology, CCET 2022
作者: Liu, Huizhi Li, Chen Tian, Lihua Xi'an Jiaotong University School of Software Engineering Xi'an China
In view of the problems of cold start and data interaction in recommendation systems, and most current recommendation algorithms ignore the diversity of data types, the combination of multimodal data and knowledge gra... 详细信息
来源: 评论
Residuality theory, random simulation, and attractor networks
Residuality Theory, random simulation, and attractor network...
收藏 引用
13th International conference on Ambient systems, Networks and Technologies, ANT 2022 / 5th International conference on Emerging Data and Industry 4.0, EDI40 2022
作者: O'Reilly, Barry M Black Tulip Technology Department of Engineering and Innovation Open University Milton Keynes United Kingdom
this article reviews earlier articles on the topic of residuality theory and places residuality theory in the context of the complexity sciences, relating the major concepts of residuality theory in terms of Kauffman ... 详细信息
来源: 评论