咨询与建议

限定检索结果

文献类型

  • 525 篇 会议
  • 195 篇 期刊文献
  • 21 册 图书

馆藏范围

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

日期分布

学科分类号

  • 464 篇 工学
    • 374 篇 计算机科学与技术...
    • 305 篇 软件工程
    • 55 篇 信息与通信工程
    • 52 篇 控制科学与工程
    • 27 篇 电气工程
    • 27 篇 土木工程
    • 24 篇 电子科学与技术(可...
    • 23 篇 船舶与海洋工程
    • 22 篇 生物工程
    • 19 篇 机械工程
    • 16 篇 建筑学
    • 15 篇 网络空间安全
    • 14 篇 生物医学工程(可授...
    • 10 篇 材料科学与工程(可...
    • 9 篇 农业工程
  • 222 篇 理学
    • 124 篇 数学
    • 38 篇 系统科学
    • 35 篇 物理学
    • 29 篇 生物学
    • 27 篇 统计学(可授理学、...
    • 21 篇 海洋科学
  • 117 篇 管理学
    • 76 篇 管理科学与工程(可...
    • 44 篇 图书情报与档案管...
    • 41 篇 工商管理
  • 18 篇 经济学
    • 17 篇 应用经济学
  • 15 篇 法学
    • 14 篇 社会学
  • 15 篇 教育学
    • 13 篇 教育学
  • 15 篇 医学
    • 12 篇 临床医学
    • 11 篇 基础医学(可授医学...
  • 12 篇 农学
    • 11 篇 作物学
  • 3 篇 文学
  • 2 篇 哲学
  • 1 篇 军事学

主题

  • 21 篇 application soft...
  • 21 篇 artificial intel...
  • 20 篇 software enginee...
  • 20 篇 semantics
  • 17 篇 programming
  • 17 篇 software
  • 14 篇 testing
  • 14 篇 unified modeling...
  • 13 篇 optimization
  • 12 篇 monitoring
  • 12 篇 data models
  • 11 篇 runtime
  • 11 篇 hardware
  • 10 篇 java
  • 9 篇 computer archite...
  • 9 篇 model checking
  • 9 篇 analytical model...
  • 8 篇 computer science
  • 8 篇 software systems
  • 8 篇 electronic mail

机构

  • 15 篇 institute for pr...
  • 11 篇 department of sy...
  • 10 篇 technical univer...
  • 8 篇 programming syst...
  • 7 篇 chair for progra...
  • 7 篇 department of pr...
  • 6 篇 department of co...
  • 6 篇 programming syst...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of el...
  • 5 篇 department of pr...
  • 5 篇 technical univer...
  • 5 篇 tu braunschweig ...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 institute for so...
  • 5 篇 institute for pr...

作者

  • 48 篇 steffen bernhard
  • 33 篇 margaria tiziana
  • 22 篇 bernhard steffen
  • 18 篇 michael philipps...
  • 17 篇 bauer bernhard
  • 15 篇 philippsen micha...
  • 14 篇 tiziana margaria
  • 13 篇 goltz ursula
  • 13 篇 wu youfeng
  • 13 篇 lochau malte
  • 12 篇 gancheva veska
  • 12 篇 christopher muts...
  • 10 篇 veska gancheva
  • 9 篇 wang cheng
  • 9 篇 lamprecht anna-l...
  • 9 篇 youfeng wu
  • 9 篇 christiansen hen...
  • 9 篇 naujokat stefan
  • 9 篇 niehren joachim
  • 8 篇 mostafa abotaleb

语言

  • 714 篇 英文
  • 18 篇 其他
  • 5 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Systems and Programming"
741 条 记 录,以下是551-560 订阅
排序:
Preface
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) 2004年 2981卷 V-VI页
作者: Müller-Schloer, Christian Ungerer, Theo Bauer, Bernhard University of Hannover Institute of Systems Engineering System and Computer Architecture - SRA Appelstr. 4 Hannover Germany University of Augsburg Institute of Informatics Augsburg Germany University of Augsburg Department of Software Engineering and Programming Languages Augsburg Germany
来源: 评论
The electronic tool integration platform (ETI) and the petri net technology
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年 2472卷 363-382页
作者: Braun, Volker Margaria, Tiziana Steffen, Bernhard Programming Systems University of Dortmund Germany
The paper presents the Electronic Tool Integration platform (ETI), a community platform designed for project-oriented, domainspecific, public or private interactive experimentation with heterogeneous tools. ETI manage... 详细信息
来源: 评论
Algorithms for Information Conversion Based on Controlled Two-Place Operations
收藏 引用
Cybernetics and systems Analysis 2003年 第2期39卷 305-315页
作者: Izotov, B. V. Moldovyan, A. A. Moldovyan, N. A. SPEKTR Specialized Center of Programming Systems St. Petersburg Russia
To increase efficiency of modern information-protection systems, a new approach to design of fast encryption algorithms is proposed based on controlled two-place operations. Models, design, and mathematical features o...
来源: 评论
Scalable QoS approach in a core internet network
Scalable QoS approach in a core internet network
收藏 引用
International Conference on Web Engineering, ICWE 2003
作者: Barenco Abbas, Cláudia J. García Villalba, L. Javier Dept. Electric Engineering University of Brasilia Brazil Dept. Computer Systems and Programming Complutense University of Madrid Spain
A special attention about scalability has to be paid to QoS solutions for Core Internet Networks as they deal with a lot of flows and demand many resources. This paper analyses and proposes integrated solutions from t... 详细信息
来源: 评论
Incremental and iterative monolingual clustering algorithms  8
Incremental and iterative monolingual clustering algorithms
收藏 引用
8th European Conference on Speech Communication and Technology, EUROSPEECH 2003
作者: Barrachina, Sergio Vilar, Juan Miguel Dpt. of Computer Engineering and Science Universidad Jaume i Spain Dpt. of Programming Languages and Computer Systems Universidad Jaume i Spain
To reduce speech recognition error rate we can use better statistical language models. These models can be improved by grouping words into word equivalence classes. Clustering algorithms can be used to automatically d... 详细信息
来源: 评论
Why not RSVP over DTM ?
Why not RSVP over DTM ?
收藏 引用
International Conference on Web Engineering, ICWE 2003
作者: Barenco Abbas, Cláudia J. García Villalba, L. Javier Dept. Electrical Engineering University of Brasilia Brazil Dept. Computer Systems and Programming Complutense University of Madrid Spain
This paper suggests the use of the DTM technology as a solution to the transmission of applications with strict need of bandwidth, instead of the use of the traditional ATM technology. The DTM is a broadband network a... 详细信息
来源: 评论
Configuration of Labeled Trees under Lexicalized Constraints and Principles
收藏 引用
Research on Language and Computation 2003年 第3期1卷 307-336页
作者: Duchier, Denys Programming Systems Lab Universität des Saarlandes Saarbrücken Germany (E-mail
Trees with labeled edges have widespread applicability, for examplefor the representation of dependency syntax trees. Given a fixednumber of nodes and constraints on how edges may be drawn betweenthem, the task of fin...
来源: 评论
Functional testing of object-oriented software  03
Functional testing of object-oriented software
收藏 引用
Proceedings of the 4th international conference conference on Computer systems and technologies: e-Learning
作者: Juliana Georgieva Veska Gancheva Dept. of Programming & Computer Systems App. Technical University of Sofia
The goal of functional testing is to prove that the software performs in conformance with its specification. Functional testing emphasizes the behavioral characteristics of objects by focusing on the interface that is... 详细信息
来源: 评论
Performance potentials of compiler-directed data speculation
Performance potentials of compiler-directed data speculation
收藏 引用
IEEE International Symposium on Performance Analysis of systems and Software
作者: Youfeng Wu Li-Ling Chen R. Ju J. Fang Programming Systems Research Laboratory INTEL Research Laboratory Santa Clara CA USA
Compiler-directed data speculation has been implemented on Itanium systems to allow for a compiler to move a load across a store even when the two operations are potentially aliased This not only breaks data dependenc... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论