咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 3,591 篇 工学
    • 3,090 篇 计算机科学与技术...
    • 2,585 篇 软件工程
    • 586 篇 信息与通信工程
    • 435 篇 控制科学与工程
    • 341 篇 电气工程
    • 231 篇 机械工程
    • 199 篇 电子科学与技术(可...
    • 194 篇 生物工程
    • 141 篇 安全科学与工程
    • 137 篇 生物医学工程(可授...
    • 107 篇 建筑学
    • 99 篇 动力工程及工程热...
    • 95 篇 土木工程
    • 82 篇 材料科学与工程(可...
    • 82 篇 交通运输工程
    • 81 篇 仪器科学与技术
  • 990 篇 理学
    • 556 篇 数学
    • 219 篇 生物学
    • 172 篇 系统科学
    • 169 篇 物理学
    • 151 篇 统计学(可授理学、...
    • 76 篇 化学
  • 802 篇 管理学
    • 569 篇 管理科学与工程(可...
    • 302 篇 工商管理
    • 289 篇 图书情报与档案管...
  • 142 篇 医学
    • 119 篇 临床医学
    • 109 篇 基础医学(可授医学...
  • 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...
  • 129 篇 computer communi...
  • 114 篇 computer science
  • 109 篇 hardware
  • 109 篇 computer softwar...
  • 107 篇 software enginee...
  • 102 篇 real-time system...
  • 94 篇 control systems
  • 89 篇 computer aided s...
  • 73 篇 software systems
  • 72 篇 computational mo...
  • 71 篇 software archite...
  • 71 篇 software design
  • 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 篇 英文
  • 107 篇 其他
  • 34 篇 中文
  • 2 篇 德文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"
5224 条 记 录,以下是421-430 订阅
排序:
(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... 详细信息
来源: 评论
Transforming RTPA mathematical models of system behaviors into C++
Transforming RTPA mathematical models of system behaviors in...
收藏 引用
5th IEEE International conference on Cognitive Informatics, ICCI 2006
作者: Tan, Xinming Wang, Yingxu Theoretical and Empirical Software Engineering Research Centre Department of Electrical and Computer Engineering University of Calgary 2500 University Drive NW Calgary AB T2N 1N4 Canada
Real-Time Process Algebra (RTPA) is an expressive mathematical means for describing cognitive behaviors and processes of human beings and software systems. this paper presents the strategies and patterns for transform... 详细信息
来源: 评论
Skyline query on uncertain data based on improved probabilistic constraint space algorithm  5
Skyline query on uncertain data based on improved probabilis...
收藏 引用
2014 5th IEEE International conference on software engineering and Service Science, ICSESS 2014
作者: Liming, Dong Bao, Liu Qing Changhua, Dai Science and Technology on Information Systems Engineering Laboratory National University of Defense Technology Changsha Hunan410073 China
PCS algorithm is a non-indexing method to prune non-skyline objects. Its pruning rate is more than 90% when data dimension is no more than 4, however when data dimension exceeds 4 the pruning rate falls significantly.... 详细信息
来源: 评论
Improving the usability of interactive systems by incorporating design thinking into the engineering process: Raising computer science students' awareness of quality versus quantity in ideation  5
Improving the usability of interactive systems by incorporat...
收藏 引用
5th Experiment at International conference, exp.at 2019
作者: Sandnes, Frode Eika Eika, Evelyn Medola, Fausto Orsi Department of Computer Science Oslo Metropolitan University Oslo Norway Department of Technology Kristiania University College Oslo Norway Department of Design UNESP-Sao Paulo State University Bauru Brazil
Traditional engineering methods are considered unsuitable for the development of usable and engaging interactive systems such as online experimentation and simulation software. For systems involving users, user-centri... 详细信息
来源: 评论
Invited talk engineering self-healing and self-improving systems
Invited talk engineering self-healing and self-improving sys...
收藏 引用
International conference on Secure software Integration and Reliability Improvement Companion
作者: Garlan, David School of Computer Science Carnegie Mellon University Pittsburgh PA United States
the proliferation of computing systems into every facet of our everyday lives raises a number of challenges for software engineering. Among those, we need to be able to build systems that take more control over their ... 详细信息
来源: 评论
Development of a Knowledge Base on the Topics of theoretical Electrical engineering Using software Tools for Analysis and Generation of Collections of WIKI Articles  5
Development of a Knowledge Base on the Topics of Theoretical...
收藏 引用
5th International conference on Information Technologies in engineering Education, Inforino 2020
作者: Alekhin, R.V. Varshavskiy, P.R. Kozhevnikov, A.V. Butyrin, P.A. Shakirzianov, F.N. Karpunina, M.V. National Research University MPEI Moscow Russia
the paper discusses issues related to the development of modern computer training tools. the use of artificial intelligence methods opens up new possibilities in the creation of computer-aided training tools and knowl... 详细信息
来源: 评论
Runtime support for advanced component concepts
Runtime support for advanced component concepts
收藏 引用
5th ACIS International conference on software engineering Reseach, Management and Applications held in Conjuction with 1st International Workshop on Advanced Internet Technology and Applications
作者: Bures, Tomas Hnetynka, Petr Plasil, Frantisek Klesnil, Jan Kmoch, Ondrej Kohan, Tomas Kotrc, Pavel Charles Univ Prague Fac Math & Phys Dept Software Engn Malostranske Namesti 25 CR-11800 Prague 1 Czech Republic Acad Sci Czech Republic Inst Comp Sci CR-18207 Prague Czech Republic Univ Coll Dublin Sch Comp Sci & Informat Dublin 4 Ireland
Component-based development has become a recognized technique for building large scale distributed applications. Although the maturity of this technique, there appears to be quite a significant gap between (a) compone... 详细信息
来源: 评论
computer MODELING OF thE PRORERTIES OF CARBON NANOTUBES AND COMPOSITE MATERIALS
收藏 引用
9th Biennial conference on engineering systems Design and Analysis
作者: Bochkareva, L. V. Sanikovich, D. M. Belarus State Univ Informat & Radioelect Minsk 220013 BELARUS
the paper is devoted to the modeling of thermal conductivity of carbon nanotubes, damping and elasticity of composite materials. In work the researches are carried out on the basis of the method of molecular dynamics ... 详细信息
来源: 评论
Performance Evaluation of Some Machine Learning Algorithms in NASA Defect Prediction Data Sets  5
Performance Evaluation of Some Machine Learning Algorithms i...
收藏 引用
5th International conference on computer Science and engineering (UBMK)
作者: Aydin, Zeynep Behrin Guven Samli, Ruya Maltepe Univ Software Engn Istanbul Turkey Istanbul Univ Cerrahpasa Comp Engn Istanbul Turkey
the main purpose of machine learning is to model the systems making predictions by using some mathematical and operational features on the data with computers [1].Today, there are many studies on machine learning in a... 详细信息
来源: 评论
An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers
An ought-to-do deontic logic for reasoning about fault-toler...
收藏 引用
5th IEEE International conference on software engineering and Formal Methods, SEFM 2007
作者: Castro, Pablo F. Maibaum, T.S.E. McMaster University Department of Computing and Software ON Canada
In the present paper we use a variation of a well-known example (diningphilosophers) to illustrate how deontic logics can be used to specify, and verify, systems with fault-tolerant characteristics. Towards this goal,... 详细信息
来源: 评论