咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 3,596 篇 工学
    • 3,093 篇 计算机科学与技术...
    • 2,589 篇 软件工程
    • 586 篇 信息与通信工程
    • 437 篇 控制科学与工程
    • 343 篇 电气工程
    • 230 篇 机械工程
    • 200 篇 电子科学与技术(可...
    • 194 篇 生物工程
    • 142 篇 安全科学与工程
    • 137 篇 生物医学工程(可授...
    • 107 篇 建筑学
    • 100 篇 动力工程及工程热...
    • 94 篇 土木工程
    • 83 篇 交通运输工程
    • 82 篇 仪器科学与技术
    • 82 篇 材料科学与工程(可...
  • 994 篇 理学
    • 559 篇 数学
    • 219 篇 生物学
    • 172 篇 系统科学
    • 170 篇 物理学
    • 152 篇 统计学(可授理学、...
    • 77 篇 化学
  • 803 篇 管理学
    • 569 篇 管理科学与工程(可...
    • 302 篇 工商管理
    • 290 篇 图书情报与档案管...
  • 143 篇 医学
    • 120 篇 临床医学
    • 110 篇 基础医学(可授医学...
  • 129 篇 教育学
    • 126 篇 教育学
  • 111 篇 经济学
    • 111 篇 应用经济学
  • 108 篇 法学
    • 79 篇 社会学
  • 41 篇 农学
  • 11 篇 军事学
  • 8 篇 文学
  • 2 篇 艺术学

主题

  • 374 篇 software enginee...
  • 224 篇 software
  • 175 篇 artificial intel...
  • 154 篇 computer archite...
  • 143 篇 information syst...
  • 143 篇 application soft...
  • 130 篇 computer communi...
  • 114 篇 computer science
  • 110 篇 software enginee...
  • 109 篇 hardware
  • 109 篇 computer softwar...
  • 102 篇 real-time system...
  • 94 篇 control systems
  • 90 篇 computer aided s...
  • 74 篇 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 篇 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
  • 7 篇 sturm arnon
  • 6 篇 katz guy
  • 6 篇 maoz shahar
  • 6 篇 sulaiman shahida
  • 6 篇 lakhmi c. jain
  • 5 篇 bernady o. apduh...

语言

  • 5,054 篇 英文
  • 155 篇 其他
  • 40 篇 中文
  • 2 篇 德文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"
5237 条 记 录,以下是4251-4260 订阅
排序:
An overall system design approach doing object-oriented modeling to code-generation for embedded electronic systems
收藏 引用
6th International conference on Fundamental Approaches to software engineering, FASE 2003 Held as Part of the Joint European conferences on theory and Practice of software, ETAPS 2003
作者: Reichmann, Clemens Kühl, Markus Miiller-Glaser, Klaus D. University of Karlsruhe Engesserstr.5 Karlsruhe76128 Germany Research Center for Information Technology Haid-und-Neu-Str. 10-14 Karlsruhe76128 Germany
In this paper a new approach for an overall system design is presented. It supports object-oriented system modeling for software components in embedded systems in addition to time-discrete and time-continuous modeling... 详细信息
来源: 评论
Modeling organizational architectural styles in UML
收藏 引用
15th International conference on Advanced Information systems engineering, CAiSE 2003
作者: Castro, Jaelson F. B. Silva, Carla T. L. L. Mylopoulos, John Centro de Informática Universidade Federal de Pernambuco Av. Prof. Luiz Freire S/N RecifePE Brazil Dept. of Computer Science University of Toronto 10 King’s College Road TorontoM5S3G4 Canada
Today’s information systems operate within a dynamic, organizational context and consequently require flexible architectures to ensure that they remain operational and useful. the Tropos software development methodol... 详细信息
来源: 评论
Application service provision in healthcare: UK's National Health Service case study
Application service provision in healthcare: UK's National H...
收藏 引用
International conference on e-health Networking, Applications and Services (HealthCom)
作者: M.W. Guah W.L. Currie Department of Information Systems & Computing Brunel University West London UK
We discuss variation and formalization strategies for managing technology: use mediation of Web-enabled applications in an organisational context. the use of information technology to support healthcare in the UK enta... 详细信息
来源: 评论
Support for personal and service mobility in ubiquitous computing environments
Support for personal and service mobility in ubiquitous comp...
收藏 引用
9th International Euro-Par conference on Parallel Processing, Euro-Par 2003
作者: El-Khatib, K. Hadibi, N. School of Information Technology and Engineering University of Ottawa 161 Louis Pasteur St OttawaOntK1N 6N5 Canada National Research Council of Canada Canada
this paper describes an agent-based architecture that extends personal mobility to ubiquitous environment. A software agent, running on a portable device, leverages the existing service discovery protocols to learn ab... 详细信息
来源: 评论
A framework for testing at the edge –an experience report
收藏 引用
4th International conference on Extreme Programming and Agile Processes in software engineering, XP 2003
作者: Ibba, Alwin Ohlemeyer, Carsten Lebensversicherung von 1871 a.G Maximiliansplatz 5 Munich80333 Germany
are developing an application for the insurance business in Java and started to use JUnit for testing our application. But soon after, we discovered several areas which were hard to test. these areas were mainly on th... 详细信息
来源: 评论
Architectural level risk assessment tool based on UML specifications
Architectural level risk assessment tool based on UML specif...
收藏 引用
International conference on software engineering (ICSE)
作者: T. Wang A. Hassan A. Guedem W. Abdelmoez K. Goseva-Popstojanova H. Ammar Lane Department of Computer Science and Electrical Engineering West Virginia University Morgantown WV USA
Recent evidences indicate that most faults in software systems are found in only a few of a system's components [1]. the early identification of these components allows an organization to focus on defect detection... 详细信息
来源: 评论
Real-time joint-transform correlation using optical heterodyning
Real-time joint-transform correlation using optical heterody...
收藏 引用
Pacific Rim conference on Lasers and Electro-Optics (CLEO/Pacific Rim)
作者: T.-C. Poon Optical Image Processing Laboratory Bradley Department of Electrical and Computer Engineering Virginia Polytechnic Institute and State University Blacksburg VA USA
Driven by potential applications in military, biology, robot navigation and other areas, various methods for optical pattern recognition have been proposed and studied over the past decades. the key feature in current... 详细信息
来源: 评论
A tutorial on feature oriented programming and product-lines
A tutorial on feature oriented programming and product-lines
收藏 引用
International conference on software engineering (ICSE)
作者: D. Batory Department of Computer Sciences University of Technology Austin TX USA
Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. the goal is to specify a target program in terms of the features that it offers, and to synthesize an efficient program that ... 详细信息
来源: 评论
Composing specifications of event based applications
收藏 引用
6th International conference on Fundamental Approaches to software engineering, FASE 2003 Held as Part of the Joint European conferences on theory and Practice of software, ETAPS 2003
作者: Fenkam, Pascal Gall, Harald Jazayeri, Mehdi Technical University of Vienna Distributed Systems Group Argentinierstrasse 8/184-1 ViennaA-1040 Austria
the event based architectural style has been recognized as fostering the development of large-scale and complex systems by loosely coupling their components. It is therefore increasingly deployed in various environmen... 详细信息
来源: 评论
Genetically optimized rule-based fuzzy polynomial neural networks: Synthesis of computational intelligence technologies  9th
收藏 引用
9th International conference, RSFDGrC 2003
作者: Oh, Sung-Kwun Peters, James F. Pedrycz, Witold Ahn, Tae-Chon Department of Electrical Engineering Wonkwang University 344-2 Shinyong-Dong Iksan Chon-Buk 570-749 Korea Republic of Department of Electrical Engineering University of Manitoba Winnipeg Man. R3T 5V6 Canada Department of Electrical Engineering University of Alberta Edmonton Alta. T6G 2G6 Canada Systems Research Institute Polish Academy of Sciences Warsaw Poland
In this study, we introduce a concept of Rule-based fuzzy polynomial neural networks (RFPNN), a hybrid modeling architecture combining rule-based fuzzy neural networks(RFNN) and polynomial neural networks(PNN). We dis... 详细信息
来源: 评论