咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 3,596 篇 工学
    • 3,093 篇 计算机科学与技术...
    • 2,591 篇 软件工程
    • 585 篇 信息与通信工程
    • 436 篇 控制科学与工程
    • 341 篇 电气工程
    • 230 篇 机械工程
    • 199 篇 电子科学与技术(可...
    • 194 篇 生物工程
    • 142 篇 安全科学与工程
    • 137 篇 生物医学工程(可授...
    • 107 篇 建筑学
    • 99 篇 动力工程及工程热...
    • 94 篇 土木工程
    • 83 篇 交通运输工程
    • 82 篇 材料科学与工程(可...
    • 81 篇 仪器科学与技术
  • 993 篇 理学
    • 559 篇 数学
    • 219 篇 生物学
    • 172 篇 系统科学
    • 171 篇 物理学
    • 153 篇 统计学(可授理学、...
    • 76 篇 化学
  • 804 篇 管理学
    • 570 篇 管理科学与工程(可...
    • 303 篇 工商管理
    • 290 篇 图书情报与档案管...
  • 143 篇 医学
    • 120 篇 临床医学
    • 110 篇 基础医学(可授医学...
  • 131 篇 教育学
    • 128 篇 教育学
  • 111 篇 经济学
    • 111 篇 应用经济学
  • 108 篇 法学
    • 79 篇 社会学
  • 41 篇 农学
  • 11 篇 军事学
  • 8 篇 文学
  • 2 篇 艺术学

主题

  • 374 篇 software enginee...
  • 224 篇 software
  • 177 篇 artificial intel...
  • 154 篇 computer archite...
  • 143 篇 information syst...
  • 143 篇 application soft...
  • 131 篇 computer communi...
  • 114 篇 computer science
  • 111 篇 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,059 篇 英文
  • 154 篇 其他
  • 41 篇 中文
  • 2 篇 德文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"
5241 条 记 录,以下是3991-4000 订阅
排序:
Interactive visualisation and testing of Jini services
Interactive visualisation and testing of Jini services
收藏 引用
5th International conference on Quality software (QSIC 2005)
作者: Quig, B Kölling, M Rosenberg, J Steele, P School of Computer Science and Software Engineering Australia Monash University Australia Computing Laboratory University of Kent United Kingdom Deakin University Australia
Dynamic service-oriented architectures aim to provide more flexible and robust systems that are able to handle change over time. However, their dynamic nature however provides extra challenges when understanding, deve... 详细信息
来源: 评论
(1+Ε) Approximation clock rate assignment for periodic real-time tasks on a voltage-scaling processor
(1+Ε) Approximation clock rate assignment for periodic real...
收藏 引用
5th ACM International conference on Embedded software, EMSOFT 2005
作者: Chen, Jian-Jia Kuo, Tei-Wei Shih, Chi-Sheng Department of Computer Science Information Engineering National Taiwan University Taiwan Taiwan Department of Computer Science and Information Engineering Graduate Institute of Networking and Multimedia National Taiwan University Taiwan Taiwan
Energy-efficient scheduling is an effective way to balance the system performance and the energy consumption. We design a polynomial-time (1 + Ε)-approximation algorithm to minimize the energy consumption for periodi... 详细信息
来源: 评论
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... 详细信息
来源: 评论
ANSI/EIA 632 as a standardized WBS for COSYSMO
ANSI/EIA 632 as a standardized WBS for COSYSMO
收藏 引用
AIAA 5th Aviation Technology, Integration, and Operations conference, ATIO and the AIAA 16th Lighter-than-Air systems Technology conference and Balloon systems conference
作者: Valerdi, Ricardo Wheaton, Marilee Massachusetts Institute of Technology Cambridge MA 02139 Aerospace Corporation El Segundo CA 90245 Lean Aerospace Initiative 77 Vassar Street/41-205 Cambridge MA 02139 Computer Systems Division 2350 E. El Segundo Blvd El Segundo CA 90245
this paper provides an update on the systems engineering model (COSYSMO) being developed by the Center for software engineering at the University of Southern California in conjunction with its corporate affiliates and... 详细信息
来源: 评论
5th international workshop on graphical documentation: Determining the barriers to adoption of UML diagrams  05
5th international workshop on graphical documentation: Deter...
收藏 引用
23rd International conference on Design of Communication - Documenting and Designing for Pervasive Information
作者: Tilley, Scott Murphy, Steve Huang, Shihong Department of Computer Sciences Florida Institute of Technology Media Design Studio IBM Toronto Software Laboratory Department of Computer Science Florida Atlantic University IBM Toronto Software Laboratory Department of Computer Science and Engineering Florida Atlantic University
the Unified Modeling Language (UML) is the de facto standard for graphically documenting modern software systems. Unfortunately, learning how to properly construct high-quality UML diagrams so that they are an effecti... 详细信息
来源: 评论
Principles, standards and tools for model engineering
Principles, standards and tools for model engineering
收藏 引用
10th IEEE International conference on engineering of Complex computer systems
作者: Bézivin, J Jouault, F Touzet, D ATLAS Group (LINA and INRIA) France
We take here a broad view of model engineering as encompassing different approaches such as the OMG MDA (TM) proposal [9], the Microsoft software Factories view [5], and many others. We distinguish the three levels of... 详细信息
来源: 评论
Quantitative observation and theoretical construction in software architecture
Quantitative observation and theoretical construction in sof...
收藏 引用
5th Working IEEE/IFIP conference on software Architecture, WICSA 2005
作者: Booch, Grady IBM Rational
Classical science advances via the dance between quantitative observation and theoretical construction. It has been ten years since the first International software Architecture Workshop, and since that time there has... 详细信息
来源: 评论
Reuse-oriented process component representation and retrieval
Reuse-oriented process component representation and retrieva...
收藏 引用
5th International conference on computer and Information Technology
作者: Xu, RZ He, T Chu, DS Xue, YJ Qian, LQ Shandong Univ Finance Sch Comp Engn Jinan 250014 PA Peoples R China
this paper proposes a Reuse-Oriented Process Component Representation framework for the description and classification, of Process Components (PCs). the key features of our approach are the division of process compone... 详细信息
来源: 评论
Flexible manufacturing cell: Development, coordination, integration and control
Flexible manufacturing cell: Development, coordination, inte...
收藏 引用
5th International conference on Control and Automation, ICCA'05
作者: Ferrolho, António Crisóstomo, Manuel Electrical Engineering Department Superior School of Technology Campus Politécnico de Repeses 3504-510 Viseu Portugal Institute of Systems and Robotics University of Coimbra Polo II 3030-290 Coimbra Portugal
this paper describes the development, coordination, integration and control of a Flexible Manufacturing Cell (FMC). FMC has industrial characteristics and was developed to study these types of manufacturing systems. T... 详细信息
来源: 评论
NAVAJO: Advanced software tool for baloon performance simulation
NAVAJO: Advanced software tool for baloon performance simula...
收藏 引用
AIAA 5th Aviation Technology, Integration, and Operations conference, ATIO and the AIAA 16th Lighter-than-Air systems Technology conference and Balloon systems conference
作者: Pankine, Alexey A. Heun, Matthew K. Nguyen, Nam Schlaifer, R. Stephen Global Aerospace Corporation Altadena CA 91001 711 W. Woodbury Rd. Altadena CA 91001
Global Aerospace Corporation has developed an advanced balloon performance and analysis tool, called Navajo. Navajo advances the state of the art for balloon performance models and can assist NASA and commercial ballo... 详细信息
来源: 评论