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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

490 篇 会议
244 篇 期刊文献
6 册 图书
1 件 标准

馆藏范围

741 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

605 篇 工学
- 486 篇 计算机科学与技术...
- 370 篇 软件工程
- 85 篇 电气工程
- 53 篇 信息与通信工程
- 40 篇 控制科学与工程
- 16 篇 生物医学工程（可授...
- 15 篇 安全科学与工程
- 14 篇 电子科学与技术（可...
- 12 篇 仪器科学与技术
- 10 篇 土木工程
- 9 篇 机械工程
- 9 篇 生物工程
- 8 篇 材料科学与工程（可...
- 8 篇 船舶与海洋工程
- 8 篇 网络空间安全
- 6 篇 建筑学
- 6 篇 交通运输工程
127 篇 理学
- 83 篇 数学
- 18 篇 生物学
- 18 篇 统计学（可授理学、...
- 14 篇 系统科学
- 9 篇 物理学
- 9 篇 化学
- 7 篇 海洋科学
69 篇 管理学
- 47 篇 管理科学与工程(可...
- 26 篇 图书情报与档案管...
- 10 篇 工商管理
16 篇 医学
- 11 篇 基础医学(可授医学...
- 10 篇 临床医学
13 篇 教育学
- 13 篇 教育学
6 篇 法学
5 篇 农学
2 篇 经济学
1 篇 文学

主题

42 篇 software enginee...
20 篇 semantics
19 篇 computer languag...
18 篇 software
18 篇 testing
17 篇 java
15 篇 application soft...
14 篇 model checking
14 篇 artificial intel...
13 篇 monitoring
13 篇 software design
13 篇 unified modeling...
12 篇 specifications
12 篇 machine learning
12 篇 formal methods
11 篇 runtime
11 篇 optimization
11 篇 security
10 篇 internet of thin...
10 篇 hardware

机构

36 篇 ulm univ inst so...
27 篇 univ lubeck inst...
18 篇 med univ lubeck ...
15 篇 institute for so...
14 篇 institute of sof...
13 篇 institute for so...
12 篇 univ potsdam cha...
9 篇 univ potsdam cha...
8 篇 univ lubeck inst...
8 篇 trakya univ dept...
8 篇 univ oslo progra...
8 篇 institute of sof...
7 篇 univ dortmund ch...
7 篇 institute of sof...
7 篇 univ hertfordshi...
6 篇 institute of sof...
6 篇 univ ulm inst so...
6 篇 tech univ dortmu...
6 篇 institute of sof...
6 篇 tu dortmund univ...

作者

67 篇 margaria tiziana
64 篇 tichy matthias
62 篇 leucker martin
61 篇 steffen bernhard
24 篇 dosch walter
18 篇 thoma daniel
18 篇 schmitz malte
18 篇 grelck clemens
18 篇 raschke alexande...
17 篇 groner raffaela
16 篇 lamprecht anna-l...
16 篇 schaefer ina
16 篇 pietron jakob
15 篇 scholz sven-bodo
14 篇 tiziana margaria
13 篇 das resul
13 篇 dosch w
13 篇 naujokat stefan
12 篇 yevtushenko nina
12 篇 juhnke katharina

语言

702 篇 英文
26 篇 其他
10 篇 德文
2 篇 中文
1 篇 土耳其文

检索条件"机构=Software Programming"

共 741 条记录，以下是571-580 订阅

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

详细简洁

排序：

Extending the service domain of interactive components

Extending the service domain of interactive components

引用

5th ACIS International Conference on software Engineering Reseach, Management and Applications held in Conjuction with 1st International Workshop on Advanced Internet Technology and Applications

作者： Dosch, Walter Med Univ Lubeck Inst Software Technol & Programming Languages D-23538 Lubeck Germany

ISBN: (纸本)9780769528670

An interactive component consumes a stream of input messages and produces a stream of output messages. The input/output behaviour describes the service offered by the component without disclosing the implementation. In general, an interactive component provides the contracted service only for a subset of input histories, called its service domain. We investigate the input/output behaviour of interactive components for erroneous input streams outside the service domain. We specify a fault sensitive behaviour, a fault tolerant behaviour, a robust behaviour, and a fault correcting behaviour by enlarging the regular behaviour in a systematic way. We implement the different behaviours by state transition machines where we enlarge the regular state space by additional information. Altogether we provide schematic transformations both on the specification and on the implementation level how to extend the regular behaviour of an interactive component to input streams outside the service domain. The resulting formal method separates the aspects of service provision and error handling in an orthogonal way.

关键词： interactive component input/output behaviour stream function state transition machine service

来源：评论

学校读者我要写书评

暂无评论

Formal design of a parameterized synchronization component for asynchronous communication streams

Formal design of a parameterized synchronization component f...

引用

5th IEEE/ACS International Conference on Computer Systems and Applications (AICCSA-07)

作者： Dosch, Walter Med Univ Lubeck Inst Software Technol & Programming Languages D-23538 Lubeck Germany

ISBN: (纸本)9781424410309

The paper presents the top-down design of a synchronization component refining the communication-oriented. input/output behaviour into a state-based implementation. The component constrains the flow of messages on two parallel communication channels to stay within a specified tolerance. The formal derivation uses transformations which are of general importance for the design of interactive components. The differentiation of the stream function localizes the effect of a single input with respect to previous input histories. The history abstraction extracts the component's state from the input histories. The design safely bridges different views of the synchronization component ranging from the stream based specification to the state based implementation.

关键词： synchronization component communication history stream function state transition machine differentiation history abstraction synchronization tolerance

来源：评论

学校读者我要写书评

暂无评论

On the high-level synthesis of combinational circuits for contiguous pattern matching

On the high-level synthesis of combinational circuits for co...

引用

International Multiconference of Engineers and Computer Scientists

作者： Dosch, Walter Med Univ Lubeck Inst Software Technol & Programming Language D-23538 Lubeck Germany

ISBN: (纸本)9789889867140

A combinational module for contiguous pattern matching tests whether the digits of a given pattern occur as a contiguous substring within a given search string. We present a unifying high-level synthesis of linear and tree-structured combinational networks for contiguous pattern matching based on the theory of list homomorphisms. From a predicate logic specification, we develop standard implementations for tree-structured modules processing the input digits of the search string in parallel. The tree-structured design is systematically specialized to iterative networks processing the search string sequentially from left to right or vice versa. The formal design is parameterized with the type of digits to be matched. Throughout the paper, we explicate functional methods for the structured description of combinational circuits with higher-order list functions.

关键词： contiguous pattern matching combinational module high-level synthesis functional hardware description list homomorphism tree network iterative network

来源：评论

学校读者我要写书评

暂无评论

Extending the service domain of an interactive queue

Extending the service domain of an interactive queue

引用

International Multiconference of Engineers and Computer Scientists

作者： Dosch, Walter Med Univ Lubeck Inst Software Technol & Programming Languages D-23538 Lubeck Germany

ISBN: (纸本)9789889867140

An interactive queue is a software component which stores data following a first-in / first out strategy. The regular behaviour of an interactive queue captures all input streams of enter-queue and de-queue commands which do not lead to a buffer underflow. We investigate the behaviour of interactive queues for input streams outside the service domain. We specify a fault sensitive queue, a fault tolerant queue, a robust queue, and a fault correcting queue as stream functions. We implement the different versions by state transition machines introducing a data state and a control state. Beyond the particular application, we provide adequate notions and high-level concepts for modeling services of interactive components in a functional setting.

关键词： interactive queue communication history stream function state transition machine service domain regular behaviour erroneous behaviour

来源：评论

学校读者我要写书评

暂无评论

Designing combinational circuits for scattered pattern matching

Designing combinational circuits for scattered pattern match...

引用

22nd International Conference on Computers and Their Applications 2007, CATA 2007

作者： Dosch, Walter Institute of Software Technology and Programming Languages University of Lübeck Lübeck Germany

ISBN: (纸本)9781604237559

A combinational module for scattered pattern matching tests whether the digits of a given pattern occur in the proper order and multiplicity within a given search string. We present a unifying high-level synthesis of linear and tree-structured combinational networks for scattered pattern matching based on the theory of list homomorphisms. From a predicate logic specification, we develop standard implementations for tree-structured modules processing the input digits of the search string in parallel. The tree-structured design is systematically specialized to iterative networks processing the search string sequentially from left to right or vice versa. The formal design is parameterized with the type of digits to be matched. Throughout the paper, we explicate functional methods for the structured description of combinational circuits with higher-order list functions. Copyright © 2007 by the International Society for Computers and Their Applications (ISCA).

关键词： Pattern matching

来源：评论

学校读者我要写书评

暂无评论

Model-driven development with the jABC

引用

2nd International Haifia Verification Conference

作者： Steffen, Bernhard Margaria, Tiziana Nagel, Ralf Jorges, Sven Kubczak, Christian Univ Dortmund Chair Programming Syst Dortmund Germany Univ Potsdam Chair Serv & Software Engn Potsdam Germany

ISBN: (纸本)9783540708889

We present the jABC, a framework for model driven application development based on Lightweight Process Coordination. With jABC, users (product developers and system/software designers) easily develop services and applications by composing reusable building-blocks into hierarchical (flow-) graph structures that are executable models of the application. This process is supported by an extensible set of plugins providing additional functionalities, so that the jABC models can be animated, analyzed, simulated, verified, executed and compiled. This way of handling the collaborative design of complex software systems has proven to be effective and adequate for the cooperation of non-programmers and technical people, and it is now being rolled out in the operative practice.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

A web-based runtime-reconfigurable role management service

A web-based runtime-reconfigurable role management service

引用

2nd International Workshop on Automated Specification and Verification of Web Systems (WWV 06)

作者： Karusseit, Martin Margaria, Tiziana Univ Dortmund Chair Programming Syst Dortmund Germany Univ Potsdam Chair Serv Software Engn Potsdam Germany

ISBN: (纸本)9780769528267

Today web-based applications are very complex and provide several hundred users with access to sensible data. Adequate access control mechanisms that prevent unauthorized access and gives policy-compliant access to users depending on their status are thus central. The Online Conference Service (OCS) is a system of services which collectively provide all necessary workflows and functionalities an online decision support service needs. Here we describe its flexible role-based access control mechanism and introduce the embedded Role Management Service, which is extensible, modifiable and reconfigurable online, during the service operations. We also discuss a first version of the Personalized Role Management Service as used in the OJS, the journal member of the product line initiated by the OCS. © 2006 IEEE.

关键词： Decision support systems

来源：评论

学校读者我要写书评

暂无评论

A modeling framework for the development of provably secure E-commerce applications

A modeling framework for the development of provably secure ...

引用

2nd International Conference on software Engineering Advances - ICSEA 2007

作者： Moebius, Nina Haneberg, Dominik Reif, Wolfgang Schellhorn, Gerhard Institute of Computer Science University Augsburg Department of Software Engineering and Programming Languages 86135 Augsburg Germany

ISBN: (纸本)0769529372

Developing security-critical applications is very difficult and the past has shown that many applications turned out to be erroneous after years of usage. For this reason it is desirable to have a sound methodology for developing security-critical E-Commerce applications. We present an approach to model these applications with the unified modeling language (UML) [1] extended by a UML profile to tailor our models to security applications. Our intent is to (semi-) automatically generate a formal specification suitable for verification as well as an implementation from the model. Therefore we offer a development method seamlessly integrating semi-formal and formal methods as well as the implementation. This is a significant advantage compared to other approaches not dealing with all aspects from abstract models down to code. Based on this approach we can prove security properties on the abstract protocol level as well as the correctness of the protocol implementation in Java with respect to the formal model using the refinement approach. In this paper we concentrate on the modeling with UML and some details regarding the transformation of this model into the formal specification. We illustrate our approach on an electronic payment system called Mondex [10]. Mondex has become famous for being the target of the first ITSEC evaluation of the highest level E6 which requires formal specification and verification. © 2007 IEEE.

关键词： Unified Modeling Language

来源：评论

学校读者我要写书评

暂无评论

Modeling software systems

Modeling software systems

引用

SNPD 2007: 8th ACIS International Conference on software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing

作者： Dosch, Walter Institute of Software Technology and Programming Languages University of Lübeck D-23538 Lübeck Germany

ISBN: (纸本)0769529097

The field of software engineering originally concentrated on "programming in the small" emphasizing implementation techniques. Over the last decades, software and systems engineering expanded to a comprehensive engineering discipline. Nowadays software engineering comprises requirements engineering, modeling and design, implementation and testing, installation and maintenance. software engineering proved to be a key technology;its mastery determines the functioning of modern infrastructures and consumer products. software development has matured from heuristic practice to an engineering discipline. In the meantime, software engineers can benefit from a solid stock of basic research addressing modeling and design techniques for sequential, concurrent, distributed, and timed systems. software quality and reliability, security and safety, the management of change, reuse and integration pose new requirements to the practice of software engineering. A major challenge consists in integrating the developed theories into a coherent engineering framework accepted by practitioners. software engineers face different system views described by a variety of graphical and textual formalisms. software development must safely bridge the system views on different levels of abstraction ranging from high-level specifications to executable code. The system views center around the data model, the communication model, the state transition model, and the trace model. The data model describes the data structure in an abstract or concrete way. The communication model manifests how a component interacts with the environment by exchanging messages. The state transition model describes an abstract implementation where an input affects an update of the internal state and a possible output. The trace model characterizes the operational behaviour of the system by a set of possible runs composed of atomic actions. The lecture classifies different system models and addresses discrete interactive sys

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

On optimising shape-generic array programs using symbolic structural information

引用

18th International Symposium on Implementation and Application of Functional Languages, IFL 2006

作者： Trojahner, Kai Grelck, Clemens Scholz, Sven-Bodo University of Lübeck Institute of Software Technology and Programming Languages University of Hertfordshire Department of Computer Science

ISBN: (纸本)9783540741299

Shape-generic programming and high run time performance do match if generic source code is systematically specialised into nongeneric executable code. However, as soon as we drop the assumption of whole-world knowledge or refrain from specialisation for other reasons, compiled generic code is substantially less efficient. Limited effectiveness of code optimisation techniques due to the inherent lack of knowledge about the structural properties of arrays can be identified as the single most important source of inefficiency. However, in many cases partial structural information or structural relationships between arrays would actually suffice for optimisation. We propose symbolic array attributes as a uniform scheme to infer and to represent partial and relational structural information in shape-generic array code. By reusing the regular language to express structural properties in intermediate code, existing optimisations benefit from symbolic array attributes with little or no alteration. In fact, program optimisation and identification of structural properties cross-fertilise each other. We outline our approach in the context of the functional array language SAC and demonstrate its effectiveness by a small case study. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Information analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共75页 << < 54 55 56 57 58 59 60 61 62 63 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：