咨询与建议

限定检索结果

文献类型

  • 38 篇 会议
  • 7 篇 期刊文献
  • 3 册 图书

馆藏范围

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

日期分布

学科分类号

  • 15 篇 工学
    • 15 篇 计算机科学与技术...
    • 11 篇 软件工程
    • 4 篇 信息与通信工程
    • 1 篇 电气工程
    • 1 篇 控制科学与工程
    • 1 篇 网络空间安全
  • 6 篇 理学
    • 5 篇 数学
    • 2 篇 系统科学
    • 1 篇 生物学
    • 1 篇 统计学(可授理学、...
  • 2 篇 管理学
    • 2 篇 图书情报与档案管...
    • 1 篇 公共管理
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 医学
    • 1 篇 公共卫生与预防医...

主题

  • 11 篇 software enginee...
  • 7 篇 application soft...
  • 5 篇 semantics
  • 5 篇 software
  • 5 篇 unified modeling...
  • 4 篇 programming
  • 4 篇 java
  • 4 篇 taxonomy
  • 4 篇 testing
  • 3 篇 ontologies
  • 3 篇 bioinformatics
  • 3 篇 generators
  • 3 篇 biological syste...
  • 3 篇 animation
  • 3 篇 collaboration
  • 2 篇 software systems
  • 2 篇 conferences
  • 2 篇 programming prof...
  • 2 篇 libraries
  • 2 篇 model checking

机构

  • 7 篇 chair for progra...
  • 4 篇 chair for progra...
  • 4 篇 chair of program...
  • 3 篇 chair of program...
  • 3 篇 chair of program...
  • 2 篇 chair programmin...
  • 2 篇 chair for progra...
  • 2 篇 chair of program...
  • 2 篇 chair of service...
  • 2 篇 chair for servic...
  • 2 篇 department of co...
  • 1 篇 chair for servic...
  • 1 篇 tu dortmund chai...
  • 1 篇 chair service an...
  • 1 篇 chair of softwar...
  • 1 篇 chair of analyti...
  • 1 篇 metabolomics and...
  • 1 篇 center for persp...
  • 1 篇 chair of softwar...
  • 1 篇 potsdam universi...

作者

  • 17 篇 bernhard steffen
  • 15 篇 steffen bernhard
  • 12 篇 tiziana margaria
  • 5 篇 margaria tiziana
  • 4 篇 t. margaria
  • 4 篇 naujokat stefan
  • 4 篇 bainczyk alexand...
  • 4 篇 b. steffen
  • 3 篇 johannes neubaue...
  • 3 篇 sven jörges
  • 3 篇 zweihoff philip
  • 3 篇 walter f. tichy
  • 3 篇 christian kubcza...
  • 3 篇 stefan naujokat
  • 3 篇 alexander wachte...
  • 3 篇 busch daniel
  • 3 篇 anna-lena lampre...
  • 2 篇 gossen frederik
  • 2 篇 lamprecht anna-l...
  • 2 篇 lybecait michael

语言

  • 47 篇 英文
  • 1 篇 德文
检索条件"机构=Chair Programming Systems"
48 条 记 录,以下是31-40 订阅
排序:
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI
LTL Guided Planning: Revisiting Automatic Tool Composition i...
收藏 引用
Annual IEEE/ NASA Goddard Workshop on Software Engineering
作者: Tiziana Margaria Bernhard Steffen Chair of Service and Software Engineering University of Potsdam Potsdam Germany Chair of Programming Systems University of Dortmund Dortmund Germany
We revisit the automatic tool composition feature of the electronic tool integration platform under the perspective of planning. It turns out that in todays terminology, ETIs temporal logic-based synthesis of tool seq... 详细信息
来源: 评论
A Web-Based Runtime-Reconfigurable Role Management Service
A Web-Based Runtime-Reconfigurable Role Management Service
收藏 引用
International Workshop on Automated Specification and Verification of Web systems, WWV
作者: Martin Karusseit Tiziana Margaria Chair of Programming Systems Universität Dortmund Germany Chair of Service and Software Engineering Universität Postdam Germany
Today Web-based applications are very complex and provide several hundred users with access to sensible data. Adequate access control mechanisms that prevent unauthorized access and gives policy-compliant access to us... 详细信息
来源: 评论
MaTRICS: a management tool for the remote intelligent configuration of (pervasive) systems
MaTRICS: a management tool for the remote intelligent config...
收藏 引用
IEEE/ACS International Conference on Pervasive Services (ICPS)
作者: M. Bajohr T. Margaria Chair of Programming Systems University of Dortmund Germany Service Engineering for Distributed Systems Universität Gottingen Germany
With MaTRICS, we describe an architecture for pervasive management of distributed systems. It allows remotely connected users (e.g., system administrators) to modify the configuration of any service provided by a spec... 详细信息
来源: 评论
Model-based design of distributed collaborative bioinformatics processes in the jABC
Model-based design of distributed collaborative bioinformati...
收藏 引用
IEEE International Conference on Engineering of Complex Computer systems
作者: T. Margaria C. Kubczak M. Njoku B. Steffen Chair Servce and Software Engineering University of Potsdam Potsdam Germany Chair of Programming Systems University of Dortmund Dortmund Germany Chair of Service Engineering for Distributed Systems University of Göttingen Gottingen Germany
Our approach to the model-driven collaborative design of workflows for bioinformatic applications uses the jABC for model driven mediation and choreography to complement a Web service-based elementary service provisio... 详细信息
来源: 评论
Dialog-Based Meaning Derivation Service for Technical Language Domains
Dialog-Based Meaning Derivation Service for Technical Langua...
收藏 引用
International Conference on Semantic Computing
作者: Alexander Wachtel Sophie Schulz Walter F. Tichy Chair for Programming Systems Prof Walter F. Tichy Karlsruhe Institute of Technology Karlsruhe Germany
In our previous work, we present on how new algorithms can be recognized and learned from human descriptions. In this case, end users are able to extend the given system by their own functionality. During the evaluati... 详细信息
来源: 评论
Initial Implementation of Natural Language Turn-Based Dialog System
收藏 引用
Procedia Computer Science 2016年 84卷 49-56页
作者: Alexander Wachtel Sebastian Weigelt Walter F. Tichy Karlsruhe Institute of Technology Chair for Programming Systems Prof. Walter F. Tichy Am Fasanengarten 5 76131 Karlsruhe Germany
Our prototype implements a natural language dialog system for Excel spreadsheets. The work is motivated by a pilot study which shows that novice users have difficulties with the formula language of Excel and need inte... 详细信息
来源: 评论
An Approach to Discovery with miAamics and jABC
An Approach to Discovery with miAamics and jABC
收藏 引用
Web Intelligence and Intelligent Agent Technology Workshops (WI-IAT)
作者: Christian Kubczak Tiziana Margaria Christian Winkler Bernhard Steffen Chair of Software Engineering Universität Dortmund Germany Chair of Service and Software Engineering Universität Postdam Germany Chair of Programming Systems Universität Dortmund Germany
We address the discovery scenario using miAamics, a framework for rule-based evaluation originally developed for efficient and scalable personalization purposes, as a reasoning engine. The discovery service is impleme... 详细信息
来源: 评论
System level testing of virtual switch (re-)configuration over IP
System level testing of virtual switch (re-)configuration ov...
收藏 引用
IEEE European Test Symposium (ETS)
作者: T. Margaria O. Niese B. Steffen A. Erochok METAFrame Technologies GmbH Dortmund Germany Chair of Programming Systems University of Dortmund Germany Siemens AG Witten Germany
We show how our integrated test environment can be used for the validation of evolving Internet services, since it captures the (re-)configuration phase preceding the 'classical' steady state usage. This capab... 详细信息
来源: 评论
Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms
Biological LC/MS Preprocessing and Analysis with jABC, jETI ...
收藏 引用
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( ISoLA)
作者: Christian Kubczak Tiziana Margaria Arno Fritsch Bernhard Steffen Chair of Software Engineering University of Dortmund Germany Chair of Service and Software Engineering University of Potsdam Germany Chair of Mathematical Statistics and Biometric Applications University of Dortmund Germany Chair 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... 详细信息
来源: 评论
The FMICS-jETI Platform: Status and Perspectives
The FMICS-jETI Platform: Status and Perspectives
收藏 引用
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( ISoLA)
作者: Tiziana Margaria Christian Kubczak Bernhard Steffen Stefan Naujokat Chair of Service and Software Engineering Universität Postdam Potsdam Germany Chair of Software Engineering Universität Dortmund Dortmund Germany Chair of Programming Systems Universität Dortmund Dortmund Germany
One of the goals of FMICS, the ERCIM Working Group on Formal Methods for Industrial Critical systems (FMICS) [8], is to transfer and promote the use formal methods technology in industry. The ongoing Verified Software... 详细信息
来源: 评论