咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是4051-4060 订阅
排序:
Enforcing ontological rules in UML-based conceptual modeling: Principles and implementation
Enforcing ontological rules in UML-based conceptual modeling...
收藏 引用
10th International Workshop on Exploring Modeling Methods for systems Analysis and Design, EMMSAD 2005 - Held in Conjunction with the 17th conference on Advanced Information systems, CAiSE 2005
作者: Lu, Shan Parsons, Jeffrey Department of Computer Science Memorial University of Newfoundland St. John's NL A1B 3X5 Canada Faculty of Business Administration Memorial University of Newfoundland St. John's NL A1B 3X5 Canada
UML is used for at least two purposes: OO software design, and conceptual modeling. However, UML's origins in software engineering may limit its appropriateness for conceptual modeling. Evermann and Wand [5,6,7] h... 详细信息
来源: 评论
Workload characterization of the h.264/avc decoder
Workload characterization of the h.264/avc decoder
收藏 引用
5th Pacific Rim conference on Multimedia, PCM 2004
作者: Shih, Tse-Tsung Yang, Chia-Lin Tung, Yi-Shin Department of Computer Science and Information Engineering National Taiwan University Taiwan
Multimedia applications have become important workloads for modern computer systems. the latest video coding standard, H.264/AVC, adds new features to improve the coding efficiency and visual quality at the cost of hi... 详细信息
来源: 评论
Recovery method based on Communicating Extended Finite State Machine (CEFSM) for mobile communications
Recovery method based on Communicating Extended Finite State...
收藏 引用
10th IEEE International conference on engineering of Complex computer systems, ICECCS 2005
作者: Beiroumi, Mohammad Zib Iversen, Villy Baek Motorola CGISS Sydvestvej 15 2600 Glostrup Denmark Research Center COM Technical University of Denmark Building 345 V DK-2800 Lyngby Denmark
Fast recovery from software and hardware failures is very essential to communication systems, especially, when it is used for mission-critical applications such as public safety systems. A failure in the network infra... 详细信息
来源: 评论
the emergence of IT degree programs: When did it happen?  05
The emergence of IT degree programs: When did it happen?
收藏 引用
6th ACM SIG-Information Technology Education conference, SIGITE 2005
作者: Subramaniam, Manimegalai M. College of Information Florida State University United States
Information technology (IT) educators are now facing the challenge of designing a program of study for IT that is not constrained by idiosyncrasies of a particular specialty, including those of computer science [5]. I... 详细信息
来源: 评论
third international Workshop on Dynamic Analysis (WODA 2005)
Third international Workshop on Dynamic Analysis (WODA 2005)
收藏 引用
27th International conference on software engineering, ICSE 2005
作者: Andrews, James Pollock, Lori Andrews, Jamie Cook, Jonathan Evans, David Gupta, Neelam Lencevicius, Raimondas Löwe, Weif Rountev, Atanas Zeller, Andreas Computer Science Department University of Western Ontario London Ont. N6A 5B7 Canada Computer and Information Sciences University of Delaware Newark DE 19716 Univ. of Western Ontario Canada Univ. of Delaware United States University of Western Ontario New Mexico State University University of Virginia University of Arizona Nokia Research Center Växjö Universitet Univ. of Delaware Ohio State University Universität des Saarlandes
Dynamic analysis techniques reason over program executions and show promise in aiding the development of robust and reliable large-scale systems. It has become increasingly clear that limitations of static analysis ca... 详细信息
来源: 评论
Dynamic memory management in the Loci framework
Dynamic memory management in the Loci framework
收藏 引用
5th International conference on Computational Science, ICCS 2005
作者: Zhang, Yang Luke, Edward A. Department of Computer Science and Engineering Mississippi State University MS39762 United States
Resource management is a critical concern in high-performance computing software. While management of processing resources to increase performance is the most critical, efficient management of memory resources plays a... 详细信息
来源: 评论
Feature-Guided Architecture Development for Embedded System Families
Feature-Guided Architecture Development for Embedded System ...
收藏 引用
Working IEEE/IFIP conference on software Architecture
作者: T.J. Brown R. Bashroush C. Gillan I. Spence P. Kilpatrick School Of Computer Science Queen''s University Belfast UK
software product-line engineering aims to maximize reuse by exploiting the commonality within families of related systems. Its success depend on capturing the commonality and variability, and using this to evolve a re... 详细信息
来源: 评论
Sparking Research Ideas from the Friction Between Doctrine and Reality
Sparking Research Ideas from the Friction Between Doctrine a...
收藏 引用
Working IEEE/IFIP conference on software Architecture
作者: M. Shaw Carnegie Mellon University USA
Good research ideas often arise from critical observation of inconsistencies between researchers’ assumptions about software development and practical reality. this dissonance creates a kind of friction that can spar... 详细信息
来源: 评论
A weighted-tree simplicity algorithm for similarity matching of partial product descriptions
A weighted-tree simplicity algorithm for similarity matching...
收藏 引用
14th International conference on Intelligent and Adaptive systems and software engineering, IASSE 2005
作者: Yang, Lu Sarker, Biplab K. Bhavsar, Virendrakumar C. Boley, Harold Faculty of Computer Science Fredericton New Brunswick E3B 9W4 Canada Institute for Information Technology e-Business National Research Council Fredericton New Brunswick E3B 5A3 Canada
Our weighted-tree similarity algorithm matches buyers and sellers in e-Business environments. We use arc-labeled, arc-weighted trees to represent the products (or services) sought/offered by buyers/sellers. Partial pr... 详细信息
来源: 评论
Modeling software component criticality using a machine learning approach
Modeling software component criticality using a machine lear...
收藏 引用
13th International conference on AIS 2004
作者: Shin, Miyoung Goel, Amrit L. Bioinformatics Team Future Technology Research Division ETRI Daejeon 305-350 Korea Republic of Dept. of Electrical Engineering and Computer Science Syracuse University Syracuse NY 13244 United States
During software development, early identification of critical components is of much practical significance since it facilitates allocation of adequate resources to these components in a timely fashion and thus enhance... 详细信息
来源: 评论