咨询与建议

限定检索结果

文献类型

  • 30 篇 会议
  • 6 篇 期刊文献
  • 4 册 图书

馆藏范围

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

日期分布

学科分类号

  • 23 篇 工学
    • 20 篇 计算机科学与技术...
    • 18 篇 软件工程
    • 3 篇 控制科学与工程
    • 2 篇 电气工程
    • 2 篇 信息与通信工程
    • 1 篇 化学工程与技术
    • 1 篇 安全科学与工程
  • 6 篇 理学
    • 5 篇 数学
    • 1 篇 化学
    • 1 篇 系统科学
    • 1 篇 统计学(可授理学、...
  • 6 篇 管理学
    • 6 篇 图书情报与档案管...
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 1 篇 法学
    • 1 篇 社会学

主题

  • 7 篇 software enginee...
  • 3 篇 computer archite...
  • 3 篇 management of co...
  • 3 篇 web services
  • 2 篇 computer science
  • 2 篇 software systems
  • 2 篇 data privacy
  • 2 篇 software enginee...
  • 2 篇 ontologies
  • 2 篇 semantic web
  • 2 篇 reverse engineer...
  • 2 篇 semantics
  • 2 篇 software design
  • 2 篇 software
  • 2 篇 software managem...
  • 2 篇 data analysis
  • 2 篇 software mainten...
  • 1 篇 fuzzy sets
  • 1 篇 information syst...
  • 1 篇 object-orientati...

机构

  • 5 篇 institute for pr...
  • 3 篇 institute for pr...
  • 3 篇 institute for pr...
  • 3 篇 institute for pr...
  • 2 篇 department of ma...
  • 2 篇 software enginee...
  • 2 篇 software enginee...
  • 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 篇 chair for public...
  • 1 篇 architecture of ...
  • 1 篇 professional ser...
  • 1 篇 institute for pr...
  • 1 篇 institute of aut...
  • 1 篇 institute for pr...

作者

  • 5 篇 ralf reussner
  • 3 篇 wilhelm hasselbr...
  • 2 篇 m. klein
  • 2 篇 tichy walter f.
  • 2 篇 bernhard rumpe
  • 2 篇 michael felderer
  • 2 篇 florian matthes
  • 2 篇 birgit vogel-heu...
  • 2 篇 oliver hummel
  • 2 篇 lutz prechelt
  • 2 篇 böhm klemens
  • 2 篇 glesner sabine
  • 2 篇 könig-ries birgi...
  • 2 篇 reussner ralf
  • 2 篇 b. konig-ries
  • 2 篇 ina schaefer
  • 2 篇 klemens böhm
  • 2 篇 heiko koziolek
  • 2 篇 juergen rilling
  • 1 篇 kiana rostami

语言

  • 39 篇 英文
  • 1 篇 中文
检索条件"机构=Institute for Program Structures and Data Organisation University of Karlsruhe"
40 条 记 录,以下是21-30 订阅
排序:
Building conference proceedings requires adaptable workflow and content management  06
Building conference proceedings requires adaptable workflow ...
收藏 引用
Proceedings of the 32nd international conference on Very large data bases
作者: Jutta A. Mülle Klemens Böhm Nicolas Röper Tobias Sünder Institute for Program Structures and Data Organisation Universität Karlsruhe (TH) Karlsruhe Germany
ProceedingsBuilder is a system that helps the proceedings chair of a scientific conference to carry out his chores. It has features of both workflow management systems (WFMS) and content management systems (CMS), in o...
来源: 评论
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... 详细信息
来源: 评论
Formal verification of dead code elimination in Isabelle/HOL
Formal verification of dead code elimination in Isabelle/HOL
收藏 引用
International Conference on Software Engineering and Formal Methods (SEFM)
作者: J.O. Blech L. Gesellensetter S. Glesner Institute for Program Structures and Data Organization University of Karlsruhe Karlsruhe Germany
Correct compilers are a vital precondition to ensure software correctness. Optimizations are the most error-prone phases in compilers. In this paper, we formally verify dead code elimination (DCE) within the theorem p... 详细信息
来源: 评论
Summary of the Results of the Break-out Session "social Issues around the Semantic Web"
Summary of the Results of the Break-out Session "social Issu...
收藏 引用
Semantic Interoperability and Integration 2005
作者: Aberer, Karl Böhm, Klemens Fonseca, Fred EPFL Lausanne1015 Switzerland Institute of Programming Structures and Data Organisation University of Karlsruhe Germany Pennsylvania State University 307E Info Sciences and Technology Building University ParkPA United States
As part of the Dagstuhl Workshop on the Semantic Web, a break-out session focused on discussing social issues around the Semantic Web. This article is a concise summary of the main issues discussed, the controversies ... 详细信息
来源: 评论
Combining query and preference - an approach to fully automatize dynamic service binding
Combining query and preference - an approach to fully automa...
收藏 引用
IEEE International Conference on Web Services (ICWS)
作者: M. Klein B. Konig-Ries Institute for Program Structures and Data Organisation Universität Karlsruhe Karlsruhe Germany
Web services will only have advantages over existing technologies if the service binding can be performed dynamically. However, existing service description languages do not contain enough information for a computer a... 详细信息
来源: 评论
Service rings - a semantic overlay for service discovery in ad hoc networks
Service rings - a semantic overlay for service discovery in ...
收藏 引用
International Workshop on database and Expert Systems Applications
作者: M. Klein B. Konig-Ries P. Obreiter Institute for Program Structures and Data Organisation Universität Karlsruhe Karlsruhe Germany
Mobile devices are able to spontaneously form highly dynamic ad hoc networks allowing for communication even when no infrastructure exists. Ideally, these networks enable the participating devices to share resources a... 详细信息
来源: 评论
Asynchronous Service Discovery in Mobile Ad-hoc Networks
Asynchronous Service Discovery in Mobile Ad-hoc Networks
收藏 引用
Persistence, Scalability, Transactions - database Mechanisms for Mobile Applications 2003
作者: Nagi, Khaled König-Ries, Birgitta Computer Science Department Faculty of Engineering Alexandria University El-Shatby Alexandria Egypt Institute for Program Structures Data Organization Universität Karlsruhe KarlsruheD-76128 Germany
The wide availability of mobile devices equipped with wireless communication devices paves the way for building highly dynamic communities of ad-hoc networks. For an asynchronous service discovery in this environment,... 详细信息
来源: 评论