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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

69 篇 会议
15 篇 期刊文献

馆藏范围

84 篇 电子文献
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 篇 新闻传播学

主题

5 篇 computer archite...
5 篇 software enginee...
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 篇 data models
3 篇 web services
2 篇 computer science
2 篇 information syst...
2 篇 tuning
2 篇 reliability
2 篇 parallelization

机构

15 篇 institute for pr...
15 篇 institute for pr...
8 篇 karlsruhe instit...
6 篇 institute for pr...
3 篇 department of st...
3 篇 institute for pr...
2 篇 mayflower gmbh m...
2 篇 institute for pr...
1 篇 computer science...
1 篇 institute of pro...
1 篇 institute for in...
1 篇 chair for public...
1 篇 architecture of ...
1 篇 institute for pr...
1 篇 department of in...
1 篇 institute for pr...
1 篇 faculty of econo...
1 篇 institute of com...
1 篇 cas software a.g...
1 篇 university of ka...

作者

9 篇 walter f. tichy
7 篇 tichy walter f.
7 篇 böhm klemens
7 篇 klemens böhm
6 篇 weigelt sebastia...
4 篇 tobias hey
4 篇 hütter christian
4 篇 klemens bohm
4 篇 christian hütter
4 篇 sebastian weigel...
3 篇 vanessa steurer
3 篇 szabó zoltán
3 篇 klein michael
3 篇 reussner ralf
3 篇 kalinke florian
2 篇 piotr rygielski
2 篇 christian von de...
2 篇 martin tillmann
2 篇 steurer vanessa
2 篇 jing zhi yue

语言

83 篇 英文
1 篇 其他

检索条件"机构=Institute for Program Structures and Data Organization Karlsruhe Institute of Technology"

共 84 条记录，以下是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 refinement parts are highly variable and configurable. Such a configuration could depend on application specific features. Today, application developers need to define refinement transformations manually, including all possible configuration combinations. Due to the high number of possible initial requirements such a development method is costly and means significant effort. Therefore configurable refinements should be embedded in an overall model-driven application development process. Currently there is a lack of automated support for integrating these configuration decisions into the development process of refinement transformations. In this paper, we introduce a novel approach for automated feature model-based generation of refinement transformations. To express application features, we consider configurations specified by extended feature diagrams. In addition, we provide a running example giving insight into the application of the presented approach.

关键词： Application software Predictive models Message-oriented middleware Guidelines Software engineering Information technology data engineering Costs Model driven engineering Instruments

来源：评论

学校读者我要写书评

暂无评论

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 techniques) and identifies diverse tasks in software maintenance where the use of semantic technologies can be beneficial, such as traceability, system comprehension, software artifact analysis, and information integration.

关键词： Ontologies Software maintenance Space technology Application software Semantic Web Logic programming Computer science OWL Software engineering Information systems

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)1595936548

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 by a single offer but could be handled by combining existing offers. In this case automatic service composition is needed. Although automatic composition is an active field of research it is mainly viewed as a planning problem and treated separatedly from service discovery. In this paper we argue that an integrated approach to the problem is better than seperating these issues as is usually done. We propose an approach that integrates service composition into service discovery and matchmaking to match service requests that ask for multiple connected effects, discuss general issues involved in describing and matching such services and present an efficient algorithm implementing our ideas.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

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 bases to best fit the requirements of the TREC QA track, in which we participated this year for the first time. The techniques used include pattern learning and matching, answer type analysis and redundancy elimination through filters. In this paper, we give an overview of the Ephyra system as used within TREC 2006 and analyze the system's performance in the QA track.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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 invoking context-depend services on demand. However, the approach demands for an expressive description of the offered and requested services. This paper aims at giving a basis for discussion on the requirements and approaches when describing services for mobile environments.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共9页 << < 1 2 3 4 5 6 7 8 9 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：