咨询与建议

限定检索结果

文献类型

  • 281 篇 会议
  • 127 篇 期刊文献
  • 16 册 图书

馆藏范围

  • 424 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 277 篇 工学
    • 217 篇 计算机科学与技术...
    • 160 篇 软件工程
    • 35 篇 信息与通信工程
    • 32 篇 控制科学与工程
    • 25 篇 电气工程
    • 17 篇 电子科学与技术(可...
    • 12 篇 机械工程
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 安全科学与工程
    • 7 篇 土木工程
    • 7 篇 网络空间安全
    • 6 篇 材料科学与工程(可...
    • 6 篇 石油与天然气工程
    • 5 篇 动力工程及工程热...
  • 144 篇 理学
    • 98 篇 数学
    • 20 篇 系统科学
    • 17 篇 生物学
    • 13 篇 物理学
    • 13 篇 统计学(可授理学、...
    • 7 篇 化学
  • 55 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 23 篇 工商管理
    • 13 篇 图书情报与档案管...
  • 12 篇 教育学
    • 10 篇 教育学
  • 12 篇 医学
    • 10 篇 临床医学
    • 9 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 10 篇 经济学
    • 10 篇 应用经济学
  • 8 篇 法学
    • 8 篇 社会学
  • 6 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学

主题

  • 24 篇 artificial intel...
  • 22 篇 computer science
  • 12 篇 software enginee...
  • 10 篇 semantics
  • 9 篇 application soft...
  • 9 篇 logic programmin...
  • 8 篇 programming prof...
  • 7 篇 information stor...
  • 6 篇 java
  • 6 篇 monitoring
  • 6 篇 hardware
  • 6 篇 middleware
  • 6 篇 equations
  • 5 篇 information syst...
  • 5 篇 libraries
  • 5 篇 parallel program...
  • 5 篇 laboratories
  • 5 篇 computer languag...
  • 5 篇 specifications
  • 5 篇 security

机构

  • 10 篇 department of sy...
  • 7 篇 department of ap...
  • 6 篇 programming meth...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 mart learning ed...
  • 4 篇 federal research...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 3 篇 german research ...
  • 3 篇 zuse institute b...
  • 3 篇 university of tw...
  • 3 篇 department of co...
  • 3 篇 rwth aachen univ...
  • 3 篇 research group p...
  • 3 篇 university of ka...
  • 3 篇 programming rese...
  • 3 篇 department of ap...
  • 3 篇 department of ap...

作者

  • 10 篇 fritzson peter
  • 8 篇 hayek ali
  • 7 篇 mostafa abotaleb
  • 7 篇 philippsen micha...
  • 6 篇 boercsoek josef
  • 6 篇 abdelhameed ibra...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 maiti manoranjan
  • 5 篇 de meuter wolfga...
  • 5 篇 henning christia...
  • 5 篇 doaa sami khafag...
  • 5 篇 roy abi zeid dao...
  • 5 篇 ali hayek
  • 4 篇 troels andreasen
  • 4 篇 choe km
  • 4 篇 scholz sven-bodo
  • 4 篇 bergstra j.a.
  • 4 篇 skiba alexander
  • 4 篇 steffen bernhard

语言

  • 415 篇 英文
  • 7 篇 其他
  • 1 篇 德文
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
424 条 记 录,以下是21-30 订阅
排序:
Ambient-oriented programming
Ambient-oriented programming
收藏 引用
OOPSLA'05 - 20th Annual ACM Conference on Object-Oriented programming, Systems, Languages, and Applications
作者: Dedecker, Jessie Van Cutsem, Tom Mostinckx, Stijn D'Hondt, Theo De Meuter, Wolfgang Programming Technology Laboratory Department of Computer Science Vrije Universiteit Brussel Belgium
A new field in distributed computing, called Ambient In-telligence, has emerged as a consequence of the increasing availability of wireless devices and the mobile networks they induce. Developing software for such mob... 详细信息
来源: 评论
A Frame-based Production System architecture  1
A Frame-based Production System architecture
收藏 引用
1st Annual National Conference on Artificial Intelligence, AAAI 1980
作者: Smith, David E. Clayton, Jan E. Heuristic Programming Project Department of Computer Science Stanford University United States
We propose a flexible frame-structured representation and agenda-based control mechanism for the construction of production-type systems. Advantages of this architecture include uniformity, control freedom, and extens... 详细信息
来源: 评论
Design patterns and framework for WIMP+ user interfaces design
Design patterns and framework for WIMP+ user interfaces desi...
收藏 引用
Conference on Human Factors in Computing Systems, CHI EA 2000
作者: Wu, Yongmei Programming Languages and Compiler Department of Computer Science Darmstadt University of Technology Germany
The purpose of my HCI research is to use the Design Patterns approach to establish a framework to support designing WIMP User Interfaces. In this paper I will introduce the WIMP+ User Interfaces and the idea to use th... 详细信息
来源: 评论
APPLICATIONS OF ARTIFICIAL-INTELLIGENCE WITHIN EDUCATION
收藏 引用
computerS & MATHEMATICS WITH APPLICATIONS 1985年 第5期11卷 517-526页
作者: JONES, M Logic Programming and Artificial Intelligence Group Department of Computer Science University of Waterloo Waterloo Ontario Canada N2L 3G1
computers have been employed within the field of education for many years, often with disappointing results. However, recent and current research within the field of artificial intelligence (AI) is having a positive i... 详细信息
来源: 评论
Reactive queries in mobile ad hoc networks
Reactive queries in mobile ad hoc networks
收藏 引用
6th International Workshop on Middleware for Pervasive and Ad-Hoc Computing, MPAC 2008 - Held at the ACM/IFIP/USENIX 9th International Middleware Conference, Middleware 2008
作者: Lombide Carreton, Andoni Van Cutsem, Tom De Meuter, Wolfgang Programming Technology Lab Department of Computer Science Vrije Universiteit Brussel Belgium Belgium
Pervasive computing in mobile ad hoc networks requires that applications query their network environment for services and react to a plethora of events fired by other devices in that network responding to such queries... 详细信息
来源: 评论
Annotation support for generic patches
Annotation support for generic patches
收藏 引用
2012 3rd International Workshop on Recommendation Systems for Software Engineering, RSSE 2012
作者: Dotzler, Georg Veldema, Ronald Philippsen, Michael University of Erlangen-Nuremberg Computer Science Department Programming Systems Group Erlangen Germany
In large projects parallelization of existing programs or refactoring of source code is time consuming as well as error-prone and would benefit from tool support. However, existing automatic transformation systems are... 详细信息
来源: 评论
Enabling multiple accelerator acceleration for Java/OpenMP  3
Enabling multiple accelerator acceleration for Java/OpenMP
收藏 引用
3rd USENIX Workshop on Hot Topics in Parallelism, HotPar 2011
作者: Veldema, Ronald Blass, Thorsten Philippsen, Michael University of Erlangen-Nuremberg Computer Science Department Programming Systems Group Erlangen Germany
While using a single GPU is fairly easy, using multiple CPUs and GPUs potentially distributed over multiple machines is hard because data needs to be kept consistent using message exchange and the load needs to be bal... 详细信息
来源: 评论
A general and flexible access-control system for the web  11
A general and flexible access-control system for the web
收藏 引用
11th USENIX Security Symposium
作者: Bauer, Lujo Schneider, Michael A. Felten, Edward W. Secure Internet Programming Laboratory Department of Computer Science Princeton University United States
We describe the design, implementation, and performance of a new system for access control on the web. To achieve greater flexibility in forming access-control policies – in particular, to allow better interoperabili... 详细信息
来源: 评论
Ambient transactors
Ambient transactors
收藏 引用
6th International Workshop on Middleware for Pervasive and Ad-Hoc Computing, MPAC 2008 - Held at the ACM/IFIP/USENIX 9th International Middleware Conference, Middleware 2008
作者: Scholliers, Christophe Van Cutsem, Tom De Meuter, Wolfgang Programming Technology Lab Department of Computer Science Vrije Universiteit Brussel Belgium Belgium
Extensions to the actor model have been proposed to ease the development of mobile ad hoc applications. However, programming in the actor model is still difficult as it does not provide abstractions to synchronously c... 详细信息
来源: 评论
UNNECESSARY INFERENCES IN ASSOCIATIVE-COMMUTATIVE COMPLETION PROCEDURES
收藏 引用
MATHEMATICAL SYSTEMS THEORY 1990年 第3期23卷 175-206页
作者: ZHANG, HT KAPUR, D 1. Department of Computer Science The University of Iowa 52242 Iowa City IA USA 2. Institute of Programming and Logics Department of Computer Science State University of New York at Albany 12222 Albany NY USA
Theoretical results for identifying unnecessary inferences are discussed in the context of the use of a completion-procedure-based approach toward automated reasoning. The notion of a general superposition is introduc... 详细信息
来源: 评论