咨询与建议

限定检索结果

文献类型

  • 1,829 篇 会议
  • 118 册 图书
  • 18 篇 期刊文献

馆藏范围

  • 1,965 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 811 篇 工学
    • 658 篇 计算机科学与技术...
    • 484 篇 软件工程
    • 179 篇 信息与通信工程
    • 114 篇 材料科学与工程(可...
    • 101 篇 控制科学与工程
    • 69 篇 电气工程
    • 48 篇 电子科学与技术(可...
    • 39 篇 机械工程
    • 23 篇 建筑学
    • 22 篇 生物工程
    • 20 篇 土木工程
    • 19 篇 生物医学工程(可授...
    • 17 篇 网络空间安全
    • 16 篇 安全科学与工程
    • 15 篇 化学工程与技术
    • 12 篇 光学工程
  • 160 篇 理学
    • 92 篇 数学
    • 27 篇 系统科学
    • 26 篇 生物学
    • 23 篇 物理学
    • 22 篇 统计学(可授理学、...
  • 150 篇 管理学
    • 110 篇 管理科学与工程(可...
    • 55 篇 工商管理
    • 49 篇 图书情报与档案管...
  • 25 篇 教育学
    • 25 篇 教育学
  • 17 篇 医学
    • 16 篇 临床医学
    • 13 篇 基础医学(可授医学...
  • 15 篇 法学
    • 12 篇 社会学
  • 12 篇 经济学
    • 12 篇 应用经济学
  • 10 篇 文学
    • 10 篇 新闻传播学
  • 5 篇 军事学
  • 4 篇 农学
  • 1 篇 艺术学

主题

  • 309 篇 application soft...
  • 268 篇 software enginee...
  • 234 篇 computer science
  • 166 篇 software systems
  • 161 篇 computer archite...
  • 138 篇 computer aided s...
  • 116 篇 computer softwar...
  • 106 篇 programming
  • 93 篇 hardware
  • 90 篇 control systems
  • 87 篇 artificial intel...
  • 76 篇 costs
  • 70 篇 software
  • 63 篇 information syst...
  • 59 篇 prototypes
  • 58 篇 real time system...
  • 57 篇 computational mo...
  • 56 篇 systems engineer...
  • 56 篇 testing
  • 55 篇 humans

机构

  • 10 篇 school of comput...
  • 8 篇 department of co...
  • 8 篇 department of el...
  • 7 篇 weizmann inst sc...
  • 6 篇 technion israel ...
  • 6 篇 department of co...
  • 6 篇 department of so...
  • 6 篇 state key labora...
  • 5 篇 the moise and fr...
  • 5 篇 hebrew universit...
  • 5 篇 department of el...
  • 5 篇 ben gurion univ ...
  • 5 篇 computer science...
  • 5 篇 hebrew univ jeru...
  • 5 篇 ibm research hai...
  • 4 篇 tel aviv univers...
  • 4 篇 israel aircraft ...
  • 4 篇 tel aviv univ sc...
  • 4 篇 technion haifa
  • 4 篇 university of ha...

作者

  • 10 篇 kupferman orna
  • 8 篇 exman iaakov
  • 7 篇 maoz shahar
  • 7 篇 harel david
  • 6 篇 vardi moshe y.
  • 6 篇 winokur michael
  • 6 篇 j.z. lavi
  • 6 篇 ringert jan oliv...
  • 6 篇 a. yehudai
  • 6 篇 mordechai guri
  • 6 篇 yingxu wang
  • 6 篇 rumpe bernhard
  • 6 篇 tyszberowicz shm...
  • 5 篇 david harel
  • 5 篇 shahar maoz
  • 5 篇 goldstein moshe
  • 5 篇 rajkumar buyya
  • 5 篇 pnina soffer
  • 5 篇 balaban mira
  • 5 篇 marron assaf

语言

  • 1,955 篇 英文
  • 6 篇 其他
  • 4 篇 中文
检索条件"任意字段=Fourth Israel Conference on Computer Systems and Software Engineering"
1965 条 记 录,以下是111-120 订阅
排序:
ON SYSTEM RELIABILITY AND VERIFICATION
ON SYSTEM RELIABILITY AND VERIFICATION
收藏 引用
1990 IEEE INTERNATIONAL CONF ON computer systems AND software engineering
作者: WILK, A Dept of Appl Math & Comput Sci Weizmann Inst of Sci Rehovot Israel
In response to a paper by J. H. Fetzer (Commun. ACM, vol. 31, pp. 1048-1063, 1988) and the subseuqent decision, a clarification is given of what is meant by program verification and what are its benefits and limitatio... 详细信息
来源: 评论
EXTENDING MODULAR LANGUAGES WITH PERSISTENT DATA
EXTENDING MODULAR LANGUAGES WITH PERSISTENT DATA
收藏 引用
1990 IEEE INTERNATIONAL CONF ON computer systems AND software engineering
作者: ANCONA, M Dipartimento di Matematica Univ de Genova Italy
A method for introducing data persistence in modular languages is presented;the method is based on an extension of the module concept that performs in the framework of an object-oriented paradigm. Application of the m... 详细信息
来源: 评论
EVALUATION OF SIMULATION STRATEGIES FOR computer-NETWORKS ON PARALLEL MIMD computerS
EVALUATION OF SIMULATION STRATEGIES FOR COMPUTER-NETWORKS ON...
收藏 引用
1990 IEEE INTERNATIONAL CONF ON computer systems AND software engineering
作者: DIRKX, E VERBOVEN, F Brussels Free Univ Belgium
A comparison by practical evaluation of several general-purpose distributed simulation algorithms that use different ways of bringing parallelism to the simulation of computer networks is presented. A description is g... 详细信息
来源: 评论
OBJECTEXT--An object oriented hypertext model
OBJECTEXT--An object oriented hypertext model
收藏 引用
5th israel conference on computer systems and software engineering
作者: Rivlin, Gilad Beeri, Catriel
The authors introduce OBJECTEXT, an object-oriented data model for hypertext systems, featuring an extensible set of typed, structured nodes. It is argued that the integration of object-oriented principles can give hy... 详细信息
来源: 评论
Individuality and methodology in large DP projects
Individuality and methodology in large DP projects
收藏 引用
5th israel conference on computer systems and software engineering
作者: Kushner, Dorothy Kleinman Tel Aviv Israel
Aspects of methodology in correction with large DP projects are discussed. It is pointed out that methodology is a mapping of the stages of a project and/or the deliverables produced by each of those stages against ti... 详细信息
来源: 评论
A TEST STRATEGY FOR THE DISTRIBUTED REAL-TIME SYSTEM MARS
A TEST STRATEGY FOR THE DISTRIBUTED REAL-TIME SYSTEM MARS
收藏 引用
1990 IEEE INTERNATIONAL CONF ON computer systems AND software engineering
作者: SCHUTZ, W Tech Univ of Vienna Austria
The testing of real-time systems within the framework of the distributed real-time system MARS (MAintainable Real-time System) is considered. After a brief survey of the available literature and an overview of the bac... 详细信息
来源: 评论
Efficient fault tolerant estimation using the IMM methodology
收藏 引用
IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC systems 2007年 第2期43卷 492-508页
作者: Rapoport, Ilia Oshman, Yaakov Technion Israel Inst Technol Dept Aerosp Engn IL-32000 Haifa Israel
Space systems are characterized by a low-intensity process noise resulting from uncertain forces and moments. In many cases, their scalar measurement channels can be assumed to be independent, with one-dimensional int... 详细信息
来源: 评论
Universal engineering Console and its software for Elbrus-1 and Elbrus-2 Multiprocessor computer systems  4
Universal Engineering Console and its Software for Elbrus-1 ...
收藏 引用
4th International conference on computer Technology in Russia and in the Former Soviet Union (SORUCOM)
作者: Karpov, Leonid Feldman, Vladimir Sheerai, Alexander E. Lomonosov Moscow State Univ Ivannikov Inst Syst Programming Russian Acad Sci Moscow Russia State Univ Moscow Inst Phys & Technol IS Brook Inst Elect Control Machines Moscow Russia MCST Ltd Moscow Russia
this article describes the approach that was used for building service processor of Multiprocessor computer systems (MPCS) Elbrus-1 and Elbrus-2. This service processor has gotten the name Universal engineering Consol... 详细信息
来源: 评论
A Survey on Mobile Multimedia Application Development Frameworks
A Survey on Mobile Multimedia Application Development Framew...
收藏 引用
International conference on Multimedia Computing and systems (ICMCS)
作者: Sansour, Ramzi Nasri Kafri, Nidal Sabha, Muath Naji Al Quds Univ Dept Comp Sci Bethlehem Palestine Palestine Tech Univ Kadoorie Dept Comp Sci Tulkarm Israel Arab Amer Univ Dept Comp Sci Jenin Israel
Although Smart-Phones are becoming major in computer systems nowadays, and as multimedia is the most important applications running on the mobile platforms, there is no clear branch for smart phone software engineerin... 详细信息
来源: 评论
Offline simulation of a managed system for testing a developed management system
Offline simulation of a managed system for testing a develop...
收藏 引用
IEEE International conference on software, Science, Technology and engineering
作者: Eskin, A Frank, A Bar Ilan Univ Dept Comp Sci IL-52100 Ramat Gan Israel
Nowadays, there is a growing need for Management systems to manage various autonomous systems. These Management systems are difficult to test, since their functionality includes exchange of information with various de... 详细信息
来源: 评论