咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 88 篇 电子文献
  • 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

机构

  • 16 篇 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...

语言

  • 87 篇 英文
  • 1 篇 其他
检索条件"机构=Institute for Program Structures and Data Organization Karlsruhe Institute of Technology"
88 条 记 录,以下是61-70 订阅
排序:
Automated Feature Model-Based Generation of Refinement Transformations
Automated Feature Model-Based Generation of Refinement Trans...
收藏 引用
Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
作者: Lucia Kapova Thomas Goldschmidt Institute for Program Structures and Data Organization Universität Karlsruhe Karlsruhe Germany FZI Research Centre for Information Technology Karlsruhe Germany
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transformations are used. In many cases these r... 详细信息
来源: 评论
Semantic Technologies in System Maintenance (STSM 2008)
Semantic Technologies in System Maintenance (STSM 2008)
收藏 引用
IEEE Workshop on program Comprehension
作者: Juergen Rilling René Witte Dragan Gaševic Jeff Z. Pan Department of Computer Science and Software Engineering Concordia University Montréal Québec Canada University of Karlsruhe Institute for Program Structures and Data Organization (IPD) Karlsruhe Germany Department of Computing Science Aberdeen The University of Aberdeen Scotland UK
This paper gives a brief overview of the international workshop on semantic technologies in system maintenance. It describes a number of semantic technologies (e.g., ontologies, text mining, and knowledge integration ... 详细信息
来源: 评论
DIANE: An integrated approach to automated service discovery, matchmaking and composition  07
DIANE: An integrated approach to automated service discovery...
收藏 引用
16th International World Wide Web Conference, WWW2007
作者: Küster, Ulrich König-Ries, Birgitta Stern, Mirco Klein, Michael Institute of Computer Science Friedrich-Schiller University Jena Jena Germany Institute for Program Structures and Data Organization University Karlsruhe Germany
Automated matching of semantic service descriptions is the key to automatic service discovery and binding. But when trying to find a match for a certain request it may often happen, that the request cannot be serviced... 详细信息
来源: 评论
The ephyra QA system at TREC 2006
The ephyra QA system at TREC 2006
收藏 引用
15th Text REtrieval Conference, TREC 2006
作者: Schlaefer, N. Gieselmann, P. Sautter, G. Interactive Systems Labs University of Karlsruhe Germany Institute for Program Structures and Data Organization University of Karlsruhe Germany
The Ephyra QA system has been developed as a flexible open-domain QA framework. This framework allows us to combine several techniques for question analysis and answer extraction and to incorporate multiple knowledge ...
来源: 评论
Ontology-based program Comprehension Tool Supporting Website Architectural Evolution
Ontology-based Program Comprehension Tool Supporting Website...
收藏 引用
International Symposium on Web Systems Evolution
作者: Yonggang Zhang Rene Witte Juergen Rilling Volker Haarslev Department of Computer Science and Software Engineering Concordia University Montreal QUE Canada Institute for Program Structures and Data Organization (IPD) Universität Karlsruhe Germany
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models with the different representations the... 详细信息
来源: 评论
Optimizing code generation from SSA form: A comparison between two formal correctness proofs in Isabelle/HOL
Optimizing code generation from SSA form: A comparison betwe...
收藏 引用
Proceedings of the Fourth International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2005)
作者: Blech, Jan Olaf Glesner, Sabine Leitner, Johannes Mülling, Steffen Institute for Program Structures and Data Organization University of Karlsruhe 76128 Karlsruhe Germany
Correctness of compilers is a vital precondition for the correctness of the software translated by them. In this paper, we present two approaches for the formalization of static single assignment (SSA) form together w... 详细信息
来源: 评论
Paradis-net: A network interface for parallel and distributed applications
Paradis-net: A network interface for parallel and distribute...
收藏 引用
Networking - ICN 2005
作者: Malpohl, Guido IsailǍ, Florin Institute for Program Structures and Data Organization University of Karlsruhe 76128 Karlsruhe Germany
This paper describes Paradis-Net, a typed event-driven message-passing interface for designing distributed systems. Paradis-Net facilitates the development of both peer-to-peer and client-server architectures through ... 详细信息
来源: 评论
A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics
A Proof Calculus for Natural Semantics Based on Greatest Fix...
收藏 引用
Proceedings pf the 3rd International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2004)
作者: Glesner, Sabine Institute for Program Structures and Data Organization University of Karlsruhe 76128 Karlsruhe Germany
Formal semantics of programming languages needs to model the potentially infinite state transition behavior of programs as well as the computation of their final results simultaneously. This requirement is essential i... 详细信息
来源: 评论
Service oer and request descriptions in mobile environments?
Service oer and request descriptions in mobile environments?
收藏 引用
8th Workshop of the German Informatics Society on Mobile databases and Information Systems: Mobile databases - Today, Tomorrow and in 20 Years, GI 2005, GI Conference on database Systems for Business, technology and Web, BTW 2005
作者: Grunbauer, Johannes Klein, Michael Institut fur Informatik Technische Universität München 85748 Garching Germany Institute for Program Structures and Data Organization Universität Karlsruhe 76128 Karlsruhe Germany
In order to obtain robust and context-aware applications in mobile environments, service oriented computing can be a very promising programming paradigm. Here, the participants cooperate in a loosely coupled manner by... 详细信息
来源: 评论
Description and Matching of Services in Mobile Environments
Description and Matching of Services in Mobile Environments
收藏 引用
Mobile Information Management 2004
作者: Grünbauer, Johannes Klein, Michael Institut für Informatik Technische Universität München Garching85748 Germany Institute for Program Structures and Data Organization Universität Karlsruhe Karlsruhe76128 Germany
来源: 评论