咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是431-440 订阅
排序:
Programming Support for Data Intensive Distributed Mobile Applications at the Edge  5
Programming Support for Data Intensive Distributed Mobile Ap...
收藏 引用
5th ACM/IEEE International conference on Mobile software engineering and systems (MOBILESoft)
作者: Cruz, Breno Dantas Virginia Tech Software Innovat Lab Blacksburg VA 24060 USA
Mobile, IoT, and wearable devices have been transitioning from passive consumers of remote data to active generators of massive amounts of data. Mobile apps often need to move data, generated on one device, to other n... 详细信息
来源: 评论
An integrated specification framework for embedded systems
An integrated specification framework for embedded systems
收藏 引用
5th IEEE International conference on software engineering and Formal Methods, SEFM 2007
作者: Bujorianu, Marius C. Bujorianu, Manuela L. University of Kent Computing Laboratory Canterbury United Kingdom University of Twente Faculty EWI Enscheds Netherlands
In this paper, we address the complex issue of representation of continuous behaviour of the environment of the embedded controllers. In our approach, we propose two novel ideas. One is to consider the weak solutions ... 详细信息
来源: 评论
Research of outlier mining based on association rules applied in city operation system
Research of outlier mining based on association rules applie...
收藏 引用
International conference on computer Science & Education (ICCSE)
作者: Zhu, Wei Li, Zhongwei Zhou, Xiaomeng Liu, Kehui Beijing Research Center of Urban Systems Engineering Beijing China College of Software NanKai University Tianjin China College of Environmental Science and Technology NanKai University Tianjin China
How to find these symptoms in the mass monitoring data of the City Operational System is crucial and important to prevent the accidents happening. the association rule mining method is used to mine rules of infrequent... 详细信息
来源: 评论
Testing conformance on stochastic stream X-machines
Testing conformance on stochastic stream X-machines
收藏 引用
5th IEEE International conference on software engineering and Formal Methods, SEFM 2007
作者: Merayo, Mercedes G. Núñez, Manuel Dept. Sistemas Informáticos y Computación Universidad Complutense de Madrid E-28040 Madrid Spain
Stream X-machines have been used to specify real systems requiring to represent complex data structures. One of the advantages of using stream X-machines to specify a system is that it is possible to produce a test se... 详细信息
来源: 评论
5th International Workshop on software Verification and Formal Methods for ML-Enables Autonomous systems, FoMLAS 2022 and 15th International Workshop on Numerical software Verification, NSV 2022
5th International Workshop on Software Verification and Form...
收藏 引用
5th International Workshop on software Verification and Formal Methods for ML-Enables Autonomous systems, FoMLAS 2022 and 15th International Workshop on Numerical software Verification, NSV 2022
the proceedings contain 11 papers. the special focus in this conference is on software Verification and Formal Methods for ML-Enables Autonomous systems. the topics include: Neural Network Precision Tuning Using Stoch...
来源: 评论
Compositional verification of secure applet interactions  5th
收藏 引用
5th International conference on Fundamental Approaches to software engineering
作者: Barthe, G Gurov, D Huisman, M INRIA Sophia Antipolis Sophia Antipolis France Swedish Inst Comp Sci S-16428 Kista Sweden
Recent developments in mobile code and embedded systems have led to an increased interest in open platforms, i.e. platforms which enable different applications to interact in a dynamic environment. However, the flexib... 详细信息
来源: 评论
Design of Model Reference Adaptive Control for a 4-DOF Serial Manipulator  5
Design of Model Reference Adaptive Control for a 4-DOF Seria...
收藏 引用
5th IEEE conference on Knowledge Based engineering and Innovation, KBEI 2019
作者: Khamsehei Fadaei, Mohammad Heidar Ghasem Rahmat Alhosseini Ghochan Atigh, Seyed Zalaghi, Alireza Torkani, Zahra Department of Mechanical Engineering Islamic Azad University Saveh Iran Department of Electrical and Computer School Ghiasodin University of Technology Abyek Iran Department of Electrical and Computer Engineering Shariaty Technical College Tehran Iran
this paper discusses Model Reference Adaptive Control design for the 4-DOF Serial Manipulator, at first, a 4-DOF Serial Manipulator mechanical design is introduced in CATIA software, then the model CAD design in CATIA... 详细信息
来源: 评论
Tool Environment for Creating Training Prototypes of Intelligent Decision Support systems  5
Tool Environment for Creating Training Prototypes of Intelli...
收藏 引用
5th International conference on Information Technologies in engineering Education, Inforino 2020
作者: Eremeev, Alexander Ivliev, Sergey Kozhukhov, Alexander NRU MPEI Dept. of Applied Mathematics Moscow Russia
this paper presents the HUGIN tool software system, which is freely distributed. HUGIN is anticipation system for the development of applied intelligent systems (IS) using Bayesian confidence networks to find solution... 详细信息
来源: 评论
Training agents: An architecture for reusability
收藏 引用
5th International Working conference on Intelligent Virtual Agents
作者: Mendez, G de Antonio, A Tech Univ Madrid Comp Sci Sch Madrid 28660 Spain
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. these systems involve very different technologies, ranging from computer g... 详细信息
来源: 评论
Adaptive model learning for continual verification of non-functional properties  14
Adaptive model learning for continual verification of non-fu...
收藏 引用
5th ACM/SPEC International conference on Performance engineering, ICPE 2014
作者: Calinescu, Radu Rafiq, Yasmin Johnson, Kenneth Bakir, Mehmet Emin Department of Computer Science University of York United Kingdom
A growing number of business and safety-critical services are delivered by computer systems designed to reconfigure in response to changes in workloads, requirements and internal state. In recent work, we showed how a... 详细信息
来源: 评论