咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是421-430 订阅
排序:
Supporting process development in Bio-jETI by model checking and synthesis
Supporting process development in Bio-jETI by model checking...
收藏 引用
Workshop on Semantic Web Applications and Tools for Life Sciences, SWAT4LS 2008
作者: Lamprecht, Anna-Lena Margaria, Tiziana Steffen, Bernhard Programming Systems Dortmund University of Technology 44227 Dortmund Germany Service and Software Engineering Potsdam University 14482 Potsdam Germany
Bio-jETI is a platform for the intuitive graphical design and execution of bioinformatics workows composed from heterogeneous remote services. In this paper we use a simple phylogenetic analysis process to show how fo... 详细信息
来源: 评论
Guest editor's introduction
收藏 引用
International Journal on Software Tools for Technology Transfer 2009年 第3期11卷 173-174页
作者: Hinchey, Mike Margaria, Tiziana Steffen, Bernhard Lero The Irish Software Engineering Research Centre Limerick Ireland Department of Service and Software Engineering University of Potsdam Potsdam Germany Department of Programming Systems TU Dortmund Dortmund Germany
来源: 评论
Keynote: Continuous Model Driven Engineering
Keynote: Continuous Model Driven Engineering
收藏 引用
IEEE International Conference on Engineering of Complex Computer systems
作者: Bernhard Steffen Programming Systems Technical University Dortmund Germany
Agility is a must, in particular for business applications. Complex systems and processes must be continuously updated in order to meet the ever changing market conditions. Continuous Model Driven Engineering is based... 详细信息
来源: 评论
Semantics-based composition of EMBOSS services with Bio-jETI
Semantics-based composition of EMBOSS services with Bio-jETI
收藏 引用
Workshop on Semantic Web Applications and Tools for Life Sciences, SWAT4LS 2009
作者: Lamprecht, Anna-Lena Naujokat, Stefan Steffen, Bernhard Margaria, Tiziana Technical University Dortmund Department of Programming Systems Dortmund D-44227 Germany University Potsdam Department of Service and Software Engineering Potsdam D-14482 Germany
Bio-jETI is a framework for model-based, graphical design, execution and management of bioinformatics analysis processes. Formal methodology like automatic service composition extends the framework and, in particular,... 详细信息
来源: 评论
Viterbi calculation for a constrained hidden Markov model
Viterbi calculation for a constrained hidden Markov model
收藏 引用
Cinquiemes Journees Francophones de Programmation par Contraintes, JFPC 2009 - 5th French Speaking Conference on Constraint programming, JFPC 2009
作者: Petit, Matthieu Christiansen, Henning Research Group PLIS : Programming Logic and Intelligent Systems Department of Communication Roskilde University P.O Box 260 DK-4000 Roskilde Denmark
A hidden Markov model (HMM) is a statistical model in which the system being modeled is assumed to be a Markov process with hidden states. This model has been widely used in speech recognition and biological sequence ... 详细信息
来源: 评论
Stochastic Definite Clause Grammars
Stochastic Definite Clause Grammars
收藏 引用
International Conference on Recent Advances in Natural Language Processing, RANLP-2009
作者: Have, Christian Theil Research Group PLIS: Programming Logic and Intelligent Systems Department of Communication Business and Information Technologies Roskilde University P.O.Box 260 DK-4000 Roskilde Denmark
This paper introduces Stochastic Definite Clause Grammars, a stochastic variant of the wellknown Definite Clause Grammars. The grammar formalism supports parameter learning from annotated or unannotated corpora and pr... 详细信息
来源: 评论
Logic-statistic models with constraints for biological sequence analysis
Logic-statistic models with constraints for biological seque...
收藏 引用
25th International Conference on Logic programming, ICLP 2009
作者: Theil Have, Christian Research Group PLIS: Programming Logic and Intelligent Systems Department of Communication Business and Information Technologies Roskilde University P.O.Box 260 Roskilde DK-4000 Denmark
This project aims to investigate biologically inspired, logic-statistic models with constraints. The complexity and expressiveness of models with different kinds of constraints will be examined and algorithms to effic... 详细信息
来源: 评论
A Human Capital Strategy for Ship Design Acquisition Workforce Improvement: The US Navy's Center for Innovation in Ship Design
收藏 引用
NAVAL ENGINEERS JOURNAL 2009年 第4期121卷 45-67页
作者: Keane, Robert G., Jr. Fireman, Howard Hough, Jeffrey J. Cooper, Kelly Naval Sea Systems Command (NAVSEA) Deputy Director for Programming (N80B) US Navy's Center for Innovation in Ship Design (CISD) located at the Naval Surface Warfare Center Carderock (NSWC-CD) Office of Naval Research Sea Warfare and Weapons Department Sea Platforms and Weapons Division
Early in the dark days of World War II, President Roosevelt asked the Navy how it would provide the thousands of ships necessary for the numerous amphibious assault landings that were being planned. At a subsequent hi... 详细信息
来源: 评论
Self-management in a control architecture for parallel kinematic robots
Self-management in a control architecture for parallel kinem...
收藏 引用
2008 ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, DETC 2008
作者: Maaß, Jochen Steiner, Jens Amado, Ana Michaela, Huhn Raatz, Annika Hesselbach, Jurgen Institute for Machine Tools and Production Technology Department of Mechanical Engineering TU Braunschweig 38106 Braunschweig Germany Institute for Programming and Reactive Systems Department of Computer Science TU Braunschweig 38106 Braunschweig Germany
Maintainability, extendibility and reusability of components in the design of robot control architectures is a major challenge. Parallel kinematic robots feature a wide variety of structures and applications. They are... 详细信息
来源: 评论
LearnLib: A framework for extrapolating behavioral models
收藏 引用
International Journal on Software Tools for Technology Transfer 2009年 第5期11卷 393-407页
作者: Raffelt, Harald Steffen, Bernhard Berg, Therese Margaria, Tiziana Department of Programming Systems TU Dortmund Otto-Hahn-Str. 14 44227 Dortmund Germany Department of Information Technology Uppsala University 751 05 Uppsala Sweden Department of Services and Software Engineering Universität Potsdam August-Bebel-Str. 89 14482 Potsdam Germany
In this paper, we present the LearnLib, a library of tools for automata learning, which is explicitly designed for the systematic experimental analysis of the profile of available learning algorithms and corresponding... 详细信息
来源: 评论