咨询与建议

限定检索结果

文献类型

  • 70 篇 会议
  • 15 篇 期刊文献
  • 4 册 图书

馆藏范围

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

日期分布

学科分类号

  • 46 篇 工学
    • 41 篇 计算机科学与技术...
    • 30 篇 软件工程
    • 7 篇 控制科学与工程
    • 5 篇 信息与通信工程
    • 4 篇 电气工程
    • 2 篇 机械工程
    • 2 篇 动力工程及工程热...
    • 2 篇 建筑学
    • 1 篇 力学(可授工学、理...
    • 1 篇 仪器科学与技术
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
    • 1 篇 船舶与海洋工程
    • 1 篇 生物工程
    • 1 篇 安全科学与工程
    • 1 篇 网络空间安全
  • 18 篇 理学
    • 9 篇 数学
    • 4 篇 物理学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 1 篇 化学
    • 1 篇 海洋科学
    • 1 篇 生物学
  • 14 篇 管理学
    • 9 篇 图书情报与档案管...
    • 7 篇 管理科学与工程(可...
    • 3 篇 工商管理
    • 1 篇 公共管理
  • 2 篇 法学
    • 2 篇 社会学
    • 1 篇 政治学
  • 1 篇 文学
    • 1 篇 新闻传播学

主题

  • 8 篇 software enginee...
  • 5 篇 computer archite...
  • 5 篇 semantics
  • 4 篇 task analysis
  • 4 篇 predictive model...
  • 4 篇 software
  • 4 篇 intelligent syst...
  • 3 篇 service oriented...
  • 3 篇 ontologies
  • 3 篇 internet
  • 3 篇 analytical model...
  • 3 篇 humans
  • 3 篇 hardware
  • 3 篇 management of co...
  • 3 篇 data models
  • 3 篇 web services
  • 2 篇 computer science
  • 2 篇 information syst...
  • 2 篇 tuning
  • 2 篇 reliability

机构

  • 17 篇 institute for pr...
  • 15 篇 institute for pr...
  • 8 篇 karlsruhe instit...
  • 6 篇 institute for pr...
  • 3 篇 department of st...
  • 3 篇 institute for pr...
  • 2 篇 department of ma...
  • 2 篇 software enginee...
  • 2 篇 software enginee...
  • 2 篇 mayflower gmbh m...
  • 2 篇 department of co...
  • 2 篇 institute of com...
  • 2 篇 institute for pr...
  • 2 篇 program structur...
  • 2 篇 corporate resear...
  • 2 篇 department of co...
  • 1 篇 computer science...
  • 1 篇 institute of pro...
  • 1 篇 institute for in...
  • 1 篇 chair for public...

作者

  • 9 篇 walter f. tichy
  • 7 篇 tichy walter f.
  • 7 篇 böhm klemens
  • 7 篇 klemens böhm
  • 6 篇 weigelt sebastia...
  • 5 篇 ralf reussner
  • 4 篇 tobias hey
  • 4 篇 hütter christian
  • 4 篇 klemens bohm
  • 4 篇 christian hütter
  • 4 篇 sebastian weigel...
  • 3 篇 wilhelm hasselbr...
  • 3 篇 vanessa steurer
  • 3 篇 birgit vogel-heu...
  • 3 篇 szabó zoltán
  • 3 篇 klein michael
  • 3 篇 reussner ralf
  • 3 篇 kalinke florian
  • 2 篇 piotr rygielski
  • 2 篇 christian von de...

语言

  • 88 篇 英文
  • 1 篇 其他
检索条件"机构=Institute for Program Structures and Data Organization Karlsruhe Institute of Technology"
89 条 记 录,以下是21-30 订阅
排序:
Architecture-driven reduction of specification overhead for verifying confidentiality in component-based software systems
Architecture-driven reduction of specification overhead for ...
收藏 引用
2017 MODELS Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations, MODEL-SSE 2017
作者: Yurchenko, Kateryna Behr, Moritz Klare, Heiko Kramer, Max Reussner, Ralf Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Karlsruhe Germany
Code verification techniques can be used to guarantee that some of the information processed in software systems remains confidential. For this, allowed information flows have to be specified for the system under anal... 详细信息
来源: 评论
Context Model Acquisition from Spoken Utterances
Context Model Acquisition from Spoken Utterances
收藏 引用
作者: Weigelt, Sebastian Hey, Tobias Tichy, Walter F. Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Karlsruhe76131 Germany
Current systems with spoken language interfaces do not leverage contextual information. Therefore, they struggle with understanding speakers' intentions. We propose a system that creates a context model from user ... 详细信息
来源: 评论
NLCI – A Natural Language Command Interpreter
NLCI – A Natural Language Command Interpreter
收藏 引用
Software Engineering 2017
作者: Landhäußer, Mathias Weigelt, Sebastian Tichy, Walter F. Karlsruhe Institute of Technology Institute for Program Structures and Data Organization Am Fasanengarten 5 Karlsruhe76131 Germany
来源: 评论
A Collection of Software Engineering Challenges for Big data System Development
A Collection of Software Engineering Challenges for Big Data...
收藏 引用
Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
作者: Oliver Hummel Holger Eichelberger Andreas Giloj Dominik Werle Klaus Schmid Faculty of Computer Science Mannheim University of Applied Sciences Software Systems Engineering University of Hildesheim Institute for Program Structures and Data Organization Karlsruhe Institute of Technology
In recent years, the development of systems for processing and analyzing large amounts of data (so-called Big data) has become an important sub-discipline of software engineering. However, to date there exits no compr... 详细信息
来源: 评论
Online-Autotuning in the Presence of Algorithmic Choice
Online-Autotuning in the Presence of Algorithmic Choice
收藏 引用
IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW)
作者: Philip Pfaffe Martin Tillmann Sigmar Walter Walter F. Tichy Karlsruhe Institute of Technology (KIT) Institute for Program Structures and Data Organization Karlsruhe Germany
In this paper we explore the problem of autotuning the choice of algorithm. For a given task, there may be multiple algorithms available, each of which may contain its own set of tunable parameters and may provide opt... 详细信息
来源: 评论
View-based and model-driven outage management for the smart grid  11
View-based and model-driven outage management for the smart ...
收藏 引用
11th International Workshop on Models at run.time, MRT 2016
作者: Burger, Erik Mittelbach, Victoria Koziolek, Anne Department for Software Design and Quality Karlsruhe Institute of Technology Institute for Program Structures and Data Organization Karlsruhe Germany
The integration of renewable energy resources is challenging the traditional electricity network. To manage this, the smart grid has been defined as a cyber-physical system consisting of a physical component, which is... 详细信息
来源: 评论
Online-Autotuning of Parallel SAH kD-Trees
Online-Autotuning of Parallel SAH kD-Trees
收藏 引用
International Symposium on Parallel and Distributed Processing (IPDPS)
作者: Martin Tillmann Philip Pfaffe Christopher Kaag Walter F. Tichy Institute of Program Structures & Data Organization Karlsruhe Institute of Technology Karlsruhe Germany
We explore the benefits of using online-autotuning to find an optimal configuration for the parallel construction of Surface Area Heuristic (SAH) kD-trees. Using a quickly converging autotuning mechanism, we achieve a... 详细信息
来源: 评论
Towards a common classification of changes for information and automated production systems as precondition for maintenance effort estimation
Towards a common classification of changes for information a...
收藏 引用
IEEE International Conference on Industrial Informatics (INDIN)
作者: Birgit Vogel-Heuser Thomas Simon Jens Folmer Robert Heinrich Kiana Rostami Ralf Reussner Institute of Automation and Information Systems Technical University of Munich Munich Germany Institute for Program Structures and Data Organization Karlsruhe Institute of Technologies Karlsruhe Germany
Both information and automated production systems (aPS) evolve during their lifetime, e.g. due to changes in requirements and infrastructure. In order to estimate maintenance effort in information systems the KAMP met... 详细信息
来源: 评论
Process verification and synthesis - The use case of commissioning processes in the automobile industry  22
Process verification and synthesis - The use case of commiss...
收藏 引用
22nd Doctoral Consortium, CAISE-DC 2015 at the 27th International Conference on Advanced Information Systems Engineering, CAiSE 2015
作者: Mrasek, Richard Institute for Program Structures and Data Organization Karlsruhe76131 Germany
In the automobile industry, commissioning process models describe the end-of-line manufacturing and testing of vehicles. Due to the increase of electronic components in modern vehicles, the process models tend to beco... 详细信息
来源: 评论
Palladio optimization suite: QoS optimization for component-based cloud applications  9
Palladio optimization suite: QoS optimization for component-...
收藏 引用
9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015
作者: Ciavotta, Michele Ardagna, Danilo Koziolek, Anne Politecnico di Milano Dipartimento di Elettronica Informazione e Bioingegneria Italy Karlsruhe Institute of Technology Institute for Program Structures and Data Organization Italy
One important issue in software engineering is to find an effective way to deal with the increasing complexity of software computing system. Modern software applications have evolved in terms of size and scope. Specif... 详细信息
来源: 评论