检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

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 order to collect the material for the printed proceedings and other products. ProceedingsBuilder has been operational at several conferences, including VLDB 2005. When using Proceedings-Builder, we had a very intense lesson which kinds of work-flow adaptations may become necessary. Existing WFMS do not offer support for most of them. The concern of this article is to describe and classify these various requirements regarding adaptation. ProceedingsBuilder is an example of a broad class of systems, namely editorial systems that collect content in order to publish it. Our findings are of interest to a broader audience, not only to conference organizers.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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 these tools provide. In this paper, we present a novel approach that addresses this issue by providing a consistent ontological representation for both source code and documentation. The ontological representation unifies information from various sources, and therefore reduces the maintainers' comprehension efforts. In addition, representing software artifacts in a formal ontology enables maintainers to formulate hypotheses about various properties of software systems. These hypotheses can be validated through an iterative exploration of information derived by our ontology inference engine. The implementation of our approach is presented in detail, and a case study is provided to demonstrate the applicability of our approach during the architectural evolution of a Web site content management system

关键词： Ontologies Cognitive science Software systems Software maintenance Documentation Software tools Content management Computer science Software engineering Engines

来源：评论

学校读者我要写书评

暂无评论

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 with two corresponding formal proofs in the Isabelle/HOL system, each showing the correctness of code generation. Our comparison between the two proofs shows that it is very important to find adequate formalizations in formal proofs since they can simplify the verification task considerably. Our formal correctness proofs do not only verify the correctness of a certain class of code generation algorithms but also give us sufficient, easily checkable correctness criteria characterizing correct compilation results obtained from implementations (compilers) of these algorithms. These correctness criteria can be used in a compiler result checker. © 2005 Elsevier B.V. All rights reserved.

关键词： Codes (symbols)

来源：评论

学校读者我要写书评

暂无评论

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 mechanism called "Cooperation". We introduce the programming interface and compare its mechanisms to active messages and remote procedure calls. Finally we demonstrate how the interface can be used to implement communication patterns typical for distributed systems and how peer-to-peer functionality can be mapped onto Paradis-Net. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

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 in correctness proofs for compilers. We show that a greatest fixed point interpretation of natural semantics is able to model both aspects equally well. Technically, we infer this interpretation of natural semantics based on an easily omprehensible introduction to the dual definition and proof principles of induction and coinduction. Furthermore, we develop a proof calculus based on it and demonstrate its application for two typical problems. © 2005 Elsevier B.V. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

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 prover Isabelle/HOL. DCE is a popular optimization in compilers which is typically performed on the intermediate representation. In our work, we reformulate the algorithm for DCE so that it is applicable to static single assignment (SSA) form which is a state of the art intermediate representation in modern compilers, thereby showing that DCE is significantly simpler on SSA form than on classical intermediate representations. Moreover, we formally prove our algorithm correct within the theorem prover Isabelle/HOL. Our program equivalence criterion used in this proof is based on bisimulation and, hence, captures also the case of non-termination adequately. Finally we report on our implementation of this verified DCE algorithm in the industrial-strength scale compiler system.

关键词： Formal verification program processors Optimizing compilers Information analysis Software engineering data analysis Performance analysis Algorithm design and analysis Computer languages Software design

来源：评论

学校读者我要写书评

暂无评论

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 that have arisen, and of the open research questions that need to be addressed. © 2005 Dagstuhl Seminar Proceedings

关键词： Semantic Web

来源：评论

学校读者我要写书评

暂无评论

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 agent to do the selection automatically during runtime on behalf of the user. This results from the fact that in most approaches the offer description language doubles as a re-guest language, which prevents the requestor from a precise formulation of requests and preferences. Therefore, in this paper, we emphasize the need for a distinguished service request language that allows to capture all of the requestor's preferences. We present a concrete technique to represent such preference-containing requests, which is based on fuzzy object sets.

关键词： Web services Concrete Runtime Fuzzy sets Companies Computer networks Robustness Service oriented architecture Humans Printing

来源：评论

学校读者我要写书评

暂无评论

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 and services, thus overcoming the often severe limitations of the individual devices' capabilities. In order to make this possible, powerful semantic service trading is needed. In this paper, we propose a semantic overlay of hierarchical service rings to achieve this goal. In contrast to existing approaches this method is adapted to the specific characteristics of ad hoc networks.

关键词： Intelligent networks Ad hoc networks Protocols Mobile ad hoc networks databases IP networks Web and internet services Peer to peer computing Routing Mobile communication

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)3885793725

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, we suggest the use of mobile agents. Here, we concentrate on file sharing and exchanging services. We adopt a new asynchronous approach for discovering and locating these files, since the availability of files in this particular domain will change significantly over time when nodes constantly join and leave the network. In this paper, we present a typical application scenario, highlight the main components of the system architecture and discuss the technical challenges facing us while trying to port main infrastructural features of traditional database management systems to our mobile light-weight software agents. © 2003 Gesellschaft fur Informatik (GI). All rights reserved.

关键词： Mobile agents

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共4页 << < 1 2 3 4 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：