咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是491-500 订阅
排序:
Continuous engineering of embedded systems  1
收藏 引用
5th IFIP TC 10 Working Conference on Distributed and Parallel Embedded systems, DIPES 2006
作者: Steffen, Bernhard Margaria, Tiziana Chair of Programming Systems Universität Dortmund Germany Chair of Service and Software Engineering Universität Potsdam Germany
We investigate the late phases of the embedded systems’ life cycles, in particular the treatment of change requests, the integration of legacy components, and the problem of emerging platforms. We propose to tackle t... 详细信息
来源: 评论
Model based quality assurance and self-nanagement within a software architecture for parallel kinematic machines
Model based quality assurance and self-nanagement within a s...
收藏 引用
2006 IEEE International Conference on Mechatronics, ICM
作者: Steiner, Jens Huhn, Michaela Mücke, Tilo Institute for Programming and Reactive Systems Technical University of Braunschweig Mühlenpfordtstraße 23 D-38106 Braunschweig Germany
This paper presents a model-based engineering approach used for the development of a software architecture tailored for the special requirements of parallel kinematic machines. Several quality assurance measures that ... 详细信息
来源: 评论
Multi-dimensional dependency grammar as multigraph description
Multi-dimensional dependency grammar as multigraph descripti...
收藏 引用
FLAIRS 2006 - 19th International Florida Artificial Intelligence Research Society Conference
作者: Debusmann, Ralph Smolka, Gert Programming Systems Lab Universität des Saarlandes Postfach 15 11 50 66041 Saarbrücken Germany
Extensible Dependency Grammar (XDG) is new, modular grammar formalism for natural language. An XDG analysis is a multi-dimensional dependency graph, where each dimension represents a different aspect of natural langua... 详细信息
来源: 评论
Software transactional memory
Software transactional memory
收藏 引用
IEEE Hot Chips Symposium (HCS)
作者: Bratin Saha Programming Systems Lab Intel Corporation
This article consists of a collection of slides from the author's conference presentation on software transactional memory (STM). Some of the specific topics discussed include: how to translate a language construc... 详细信息
来源: 评论
Transactional memory introduction
Transactional memory introduction
收藏 引用
IEEE Hot Chips Symposium (HCS)
作者: Ali-Reza Adl-Tabatabai Programming Systems Lab Intel Corporation
Presents a collection of slides covering the following topics: Transactional Memory language construct; synchronised HashMap; transactional HashMap; Java; failure recovery; and parallel programming.
来源: 评论
FormulaBuilder: A tool for graph-based modelling and generation of formulae
FormulaBuilder: A tool for graph-based modelling and generat...
收藏 引用
28th International Conference on Software Engineering 2006, ICSE '06
作者: Jörges, Sven Margaria, Tiziana Steffen, Bernhard Department of Programming Systems Otto-Hahn-Str. 14 44227 Dortmund Germany Department of Service and Software Engineering August-Bebel-Str. 89 14482 Potsdam
In this paper we present the FormulaBuilder, a flexible tool for graph-based modelling and generation of formulae. The FormulaBuilder allows easy and intuitive creation of formulae by using basic components called For... 详细信息
来源: 评论
Unification and Evaluation of Graph Drawing Algorithms for Different Application Domains
Unification and Evaluation of Graph Drawing Algorithms for D...
收藏 引用
International Conference on Information Visualisation (IV)
作者: B. Florentz T. Muecke Institute for Programming and Reactive Systems Technical University of Braunschweig Brunswick Germany
Today formalisms with graphical representations are used to model structure, behavior, and other views on software and systems. The UML is just one example for modeling languages with graphical representation of its m... 详细信息
来源: 评论
Model based quality assurance and self-management within a software architecture for parallel kinematic machines
Model based quality assurance and self-management within a s...
收藏 引用
International Conference on Mechatronics (ICM)
作者: Jens Steiner Michaela Huhn Tilo Mucke Institute for Programming and Reactive Systems Technical University of Braunschweig Brunswick Germany
This paper presents a model-based engineering approach used for the development of a software architecture tailored for the special requirements of parallel kinematic machines. Several quality assurance measures that ... 详细信息
来源: 评论
Biological LC/MS preprocessing and analysis with jABC, jETI and xcms
Biological LC/MS preprocessing and analysis with jABC, jETI ...
收藏 引用
2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006
作者: Kubczak, Christian Margaria, Tiziana Fritsch, Arno Steffen, Bernhard Department of Software Engineering University of Dortmund Germany Department of Service and Software Engineering University of Potsdam Germany Department of Mathematical Statistics and Biometric Applications University of Dortmund Germany Department of Programming Systems University of Dortmund Germany
LC/MS is a successful analysis technique for the statistical analysis used in several branches of biology. It requires an intense screening and combination of the raw data, which is usually done with programs and libr...
来源: 评论
A general architecture for the authoring and the operationalization of e-learning applications with educational modelling languages  8
A general architecture for the authoring and the operational...
收藏 引用
8th International Symposium on Information and Communication Technologies Applied to Education, SIIE 2006
作者: Martínez-Ortiz, Iván Moreno-Ger, Pablo Sierra, Jose Luis Fernández-Manjón, Baltasar Centro de Estudios Superiores Felipe II Aranjuez Madrid Spain Department of Computer Systems and Programming Universidad Complutense de Madrid Fac. de Informática Madrid28040 Spain
The modelling of the educational processes and their operational support is a key aspect in the construction of more effective e-learning applications. Instructional models are usually described by means of an educati... 详细信息
来源: 评论