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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是1-10 订阅

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

详细简洁

排序：

Reverse engineering software-models of component-based systems

Reverse engineering software-models of component-based syste...

引用

12th European Conference on Software Maintenance and Reengineering

作者： Chouambe, Landry Klatt, Benjamin Krogmann, Klaus Professional Services Organisation Netviewer AG Germany Institute for Program Structures and Data Organisation Universität Karlsruhe (TH) Germany

ISBN: (纸本)9781424421572

An increasing number of software systems is developed using component technologies such as COM, CORBA, or EJB. Still, there is a lack of support to reverse engineer such systems. Existing approaches claim reverse engineering of components, but do not support composite components. Also, external dependencies such as required interfaces are not made explicit. Furthermore, relaxed component definitions are used, and obtained components are thus indistinguishable from modules or classes. We present an iterative reverse engineering approach that follows the widely used definition of components by Szyperski. It enables third-party reuse of components by explicitly stating their interfaces and supports composition of components. Additionally, components that are reverse engineered with the approach allow reasoning on properties of software architectures at the model level. For the approach, source code metrics are combined to recognize components. We discuss the selection of source code metrics and their interdependencies, which were explicitly taken into account. An implementation of the approach was successfully validated within four case studies. Additionally, a fifth case study shows the scalability of the approach for an industrial-size system.

关键词： reverse engineering components modeling software performance

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Automatic checklist generation for the assessment of UML models

Automatic checklist generation for the assessment of UML mod...

引用

Models in Software Engineering, MODELS 2008

作者： Gelhausen, Tom Landhauber, Mathias Korner, Sven Institute for Program Structures and Data Organization University of Karlsruhe 76131 Karlsruhe Germany

ISBN: (纸本)9783642016479

Assessing numerous models from students in written exams or homework is an exhausting *** present an approach for a fair and transparent assessment of the completeness of models according to a natural language domain description. The assessment is based on checklists generated by the tool Sumo. Sumo directly works on an annotated version of the original exam text, so no 'gold standard' is needed.

关键词： Unified Modeling Language

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Strategic provider selection in a policy-based helping scenario

Strategic provider selection in a policy-based helping scena...

引用

12th IEEE Conference on Commerce and Enterprise Computing, CEC 2010

作者： Hütter, Christian Yue, Jing Zhi Von Der Weth, Christian Böhm, Klemens Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Germany School of Computer Engineering Nanyang Technological University Singapore

ISBN: (纸本)9780769542287

In service-oriented computing, software agents interact by requesting and providing services. Since providing a service incurs cost, uncooperative behavior dominates in the absence of an incentive mechanism. An economic model that describes interactions between individuals is the Helping. Game. There, pairs of requester and provider are randomly matched. In various real-world applications in turn, several providers offer similar services, and requesters have a choice of providers. The rationale behind strategic provider selection is to choose the provider that is most likely to perform the task as desired. The results from existing studies of the Helping Game are not directly applicable to settings with provider selection. To analyze how strategic provider selection affects the efficiency of enterprise systems, we have designed and carried out an experimental study. Our results show that cooperative participants receive significantly more requests than uncooperative ones, making cooperation expensive. We conclude that system designers must incentivize requesters to balance their tasks between providers. © 2010 IEEE.

关键词： Software agents

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Evaluating and enhancing meta-search performance in digital libraries 3

Evaluating and enhancing meta-search performance in digital ...

引用

3rd International Conference on Web Information Systems Engineering, WISE 2002

作者： Schmitt, B. Oberländer, S. Institute for Program Structures and Data Organization - IPD Computer Science Department University of Karlsruhe Am Fasanengarten 3 KarlsruheD-76128 Germany

ISBN: (纸本)0769517668

Applying meta search systems is a suitable method for supporting the user if there are many different retrieval services available on the Web. Due to information splitting strategies of literature services existing meta search systems either provide minimal integration of results or slow response times. We present an approach that combines techniques of personalization and query processing in order to satisfy the user's demand for both fast and comprehensive results. In order to evaluate and compare different query processing strategies and additional influencing parameters we developed a simulation tool called SIMPSON. Thereby, we can observe the performance of query processing within the context of different response times of the underlying digital library services in the Web, with different kinds of user queries, and with different sizes of query results. To evaluate and compare the performance of different query processing and duplicate detection strategies we developed metrics, particularly with regard to user satisfaction. We present results from our first experiments with SIMPSON, focusing on duplicate detection, query specification, and Web server performance of the underlying digital library services. © 2002 IEEE.

关键词： Digital libraries

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：