咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 276 篇 工学
    • 216 篇 计算机科学与技术...
    • 159 篇 软件工程
    • 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 篇 daou roy abi zei...

语言

  • 415 篇 英文
  • 7 篇 其他
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
423 条 记 录,以下是261-270 订阅
排序:
Case study: Simulation of a LAN
Case study: Simulation of a LAN
收藏 引用
Workshop on Software Evolution Through Transformations - Toward Uniform Support Throughout the Software Life-Cycle
作者: Janssens, Dirk Demeyer, Serge Mens, Tom Department of Mathematics and Computer Science Universitaire Instelling Antwerpen Antwerp Belgium Programming Technology Lab Vrije Universiteit Brussel Brussels Belgium
A case study on the simulation of a local area network (LAN) that has been used at Vrije Universiteit Brissel (VUB) and the University of Bern to illustrate evolution of object-oriented programs, is reported. The stud... 详细信息
来源: 评论
Design and implementation of a domain specific language for phylogenetic inference.
收藏 引用
Journal of bioinformatics and computational biology 2003年 第2期1卷 201-230页
作者: Pontelli, Enrico Ranjan, Desh Gupta, Gopal Milligan, Brook Knowledge Representation Logic and Advanced Programming Laboratory Department of Computer Science New Mexico State University Box 30001/CS Las Cruces 88003 NM United States
Domain experts think and reason at a high level of abstraction when they solve problems in their domain of expertise. We present the design and motivation behind a domain specific language, called phi LOG, to enable b... 详细信息
来源: 评论
High-speed migration by anticipative mobility
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2003年 2913卷 500-510页
作者: Stoops, Luk Verelst, Karsten Mens, Tom D'Hondt, Theo Department of Computer Science Programming Technology Laboratory Vrije Universiteit Brussel Belgium
In the advent of ambient intelligence, introducing ubiquitous mobile systems and services in general and mobile code in particular, network latency becomes a critical factor, especially in wireless, low-bandwidth envi... 详细信息
来源: 评论
Kinesthetics eXtreme: an external infrastructure for monitoring distributed legacy systems
Kinesthetics eXtreme: an external infrastructure for monitor...
收藏 引用
International Workshop on Active Middleware Services
作者: G. Kaiser J. Parekh P. Gross G. Valetto Department of Computer Science Programming Systems Laboratory Columbia University USA Telecom Italia Laboratory Italy
Autonomic computing - self-configuring, self-healing, self-optimizing applications, systems and networks - is widely believed to be a promising solution to ever-increasing system complexity and the spiraling costs of ... 详细信息
来源: 评论
Case Study
收藏 引用
Electronic Notes in Theoretical computer science 2003年 第4期72卷 71-73页
作者: Dirk Janssens Serge Demeyer Tom Mens Department of Mathematics and Computer Science Universitaire Instelling Antwerpen Antwerp Belgium Programming Technology Lab Vrije Universiteit Brussel Brussels Belgium
来源: 评论
Supporting mobility in content-based publish/subscribe middleware
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2003年 2672卷 103-122页
作者: Fiege, Ludger Gärtner, Felix C. Kasten, Oliver Zeidler, Andreas Department of Computer Science Databases Distributed System Group D-64283 Darmstadt Germany School of Computer and Communication Sciences Distributed Programming Laboratory CH-1015 Lausanne Switzerland Department of Computer Science Distributed Systems Group CH-8092 Zurich Switzerland
Publish/subscribe (pub/sub) is considered a valuable middleware architecture that proliferates loose coupling and leverages reconfigurability and evolution. Up to now, existing pub/sub middleware was optimized for sta... 详细信息
来源: 评论
A graphical user interface for evolutionary algorithms
收藏 引用
Acta Cybernetica 2003年 第2期16卷 337-365页
作者: Tóth, Zoltán Institute of Informatics University of Szeged Árpád tér 2 H-6720 Szeged Hungary Department of Computer Science 2: Programming Systems Friedrich-Alexander University of Erlangen-Nuremberg Martensstr. 3 D-91058 Erlangen Germany
The purpose of Generic Evolutionary Algorithms programming Library (GEA1) system is to provide researchers with an easy-to-use, widely applicable and extendable programming library which solves real-world optimization...
来源: 评论
A high—speed automatic spectrometer based on a solid—state non—collinear acousto-optic tunable filter
收藏 引用
Chinese Optics Letters 2003年 第2期1卷 85-87页
作者: 朱建华 郑玉臣 Information Optics Institute Sichuan University Chengdu 610064 Department of Physics and Materials Science City University of Hong Kong Hong Kongn automatic visible spectrometer based on a non-collinear acousto-optic tunable filter (AOTF) is constructed for high-speed spectrometry. Its spectral filtering characteristics such as relationships between the radio-frequency (RF) driving frequency and the output central wavelength the output bandwidth and the central wavelength its typical spectral point spread function (PSF) and so on are studied systematically. The preliminary measurement results of AOTF spectrometer show that it is a solid-state high-speed easily controllable by computer-programming rugged and compact spectroscopic device in comparison with a conventional grating spectrometer and has the potential for widespread spectrometric applications.
An automatic visible spectrometer based on a non-collinear acousto-optic tunable filter (AOTF) is constructed for high-speed spectrometry. Its spectral filtering characteristics, such as relationships between the radi... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Specification, implementation, and verification of Domain Specific Languages: A logic programming-based approach
收藏 引用
Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2002年 2407卷 211-239页
作者: Gupta, Gopal Pontelli, Enrico Applied Logic Programming Languages and Systems Lab. Department of Computer Science University of Texas at Dallas Richardson TX 95083 United States Laboratory for Logic Databases and Advanced Programming Department of Computer Science New Mexico State University Las Cruces NM 88003 United States
Domain Specific Languages (DSLs) are high level languages designed for solving problems in a particular domain, and have been suggested as means for developing reliable software systems. We present a (constraint) logi... 详细信息
来源: 评论