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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

151 篇 会议
67 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

153 篇 工学
- 127 篇 计算机科学与技术...
- 103 篇 软件工程
- 49 篇 信息与通信工程
- 27 篇 控制科学与工程
- 20 篇 电气工程
- 18 篇 生物工程
- 11 篇 电子科学与技术（可...
- 9 篇 化学工程与技术
- 8 篇 动力工程及工程热...
- 8 篇 生物医学工程（可授...
- 5 篇 材料科学与工程（可...
- 4 篇 光学工程
- 4 篇 网络空间安全
- 3 篇 仪器科学与技术
- 3 篇 建筑学
- 3 篇 土木工程
- 3 篇 交通运输工程
72 篇 理学
- 42 篇 数学
- 20 篇 生物学
- 12 篇 物理学
- 11 篇 化学
- 8 篇 统计学（可授理学、...
- 7 篇 系统科学
54 篇 管理学
- 33 篇 图书情报与档案管...
- 22 篇 管理科学与工程(可...
- 10 篇 工商管理
8 篇 医学
- 6 篇 临床医学
- 4 篇 基础医学(可授医学...
4 篇 经济学
- 4 篇 应用经济学
4 篇 法学
- 3 篇 社会学
1 篇 教育学
1 篇 文学
1 篇 农学
1 篇 艺术学

主题

8 篇 software enginee...
7 篇 semantics
7 篇 web services
7 篇 training
4 篇 linux
4 篇 deep neural netw...
4 篇 computer archite...
4 篇 machine learning
4 篇 software
3 篇 computer science
3 篇 software systems
3 篇 knowledge engine...
3 篇 reliability
3 篇 deep learning
3 篇 operating system...
3 篇 electronic mail
3 篇 quality of servi...
3 篇 energy consumpti...
3 篇 costs
3 篇 topology

机构

19 篇 school of comput...
18 篇 school of softwa...
18 篇 school of cyber ...
17 篇 hubei key labora...
16 篇 national enginee...
16 篇 hubei engineerin...
15 篇 services computi...
14 篇 cluster and grid...
11 篇 school of inform...
9 篇 state key lab. o...
5 篇 national enginee...
4 篇 college of compu...
4 篇 school of big da...
4 篇 dept. of compute...
4 篇 national univers...
4 篇 state key lab of...
4 篇 national enginee...
4 篇 system and softw...
4 篇 school of electr...
4 篇 system and softw...

作者

13 篇 hu shengshan
13 篇 jin hai
13 篇 li minghui
11 篇 baik doo-kwon
11 篇 hai jin
9 篇 zhang leo yu
9 篇 lee cheol-hoon
7 篇 zhou ziqi
6 篇 jonckers viviane
6 篇 wan wei
6 篇 vanderperren wim
6 篇 minghui li
6 篇 d'hondt maja
6 篇 shengshan hu
5 篇 lee jae-woo
5 篇 wang xianlong
4 篇 wan yao
4 篇 xue lulu
4 篇 leo yu zhang
4 篇 kim do-hyung

语言

206 篇 英文
7 篇 中文
5 篇 其他
1 篇 德文

检索条件"机构=System and Software Engineering Lab"

共 219 条记录，以下是171-180 订阅

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

详细简洁

排序：

Verification of Business Process Quality Constraints Based on Visual Process Patterns

Verification of Business Process Quality Constraints Based o...

引用

Theoretical Aspects of software engineering (TASE)

作者： Alexander Forster Gregor Engels Tim Schattkowsky Ragnhild Van Der Straeten Department of Computer Science University of Paderborn Paderborn Germany System and Software Engineering Lab Vrije Universiteit Brussel Brussels Belgium

Business processes usually have to consider certain constraints like domain specific and quality requirements. The automated formal verification of these constraints is desirable, but requires the user to provide an unambiguous formal specification. In particular since the notations for business process modeling are usually visual flow-oriented languages, the notational gap to the languages usually employed for the formal specification of constraints, e.g., temporal logic, is significant and hard to bridge. Thus, our approach relies on UML Activities as a single language for the specification of both business processes and the corresponding constraints. For the expression of such constraints, we have provided a process pattern definition language based on specialized Activities. In this paper, we describe how model checking can be employed for formal verification of business processes against such patterns. For this, we present an automated transformation of the business process and the corresponding patterns into a transition system and temporal logic, respectively.

关键词： Logic Business communication Process design Unified modeling language Total quality management Formal verification Formal specifications Quality management Computer science software engineering

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of software Architecture for Mobile Terminals Supporting Interworking between CDMA and WiBro

Design and Implementation of Software Architecture for Mobil...

引用

International Conference on Convergence Information Technology

作者： Do-Hyung Kim Hwan-Gu Lee Won-Tae Kim Sun-Ja Kim Cheol-Hoon Lee Embedded S/W Research Division Electronics and Telecommunications Research Institute South Korea Department of Computer Engineering System Software Lab Chungnam National University South Korea

ISBN: (纸本)9781424431779

This paper describes the design and implementation of software architecture for Linux-based mobile terminals supporting interworking between CDMA and WiBro. The software architecture includes network switching controller which controls the network switching procedure among other modules and multi-option network selection algorithm. The software architecture also includes function which provides network transparency to the higher network layer and mobile IPv4 based mobility function. The implemented software architecture is designed to have expandability in each function and easily applied to the terminal with more than two networks. The procedures and functions of software architecture are verified by interworking with the multimedia application program.

关键词： software architecture Multiaccess communication Network interfaces Mobile computing Linux Application software Embedded computing Telecommunication control Wireless networks Mobile communication

来源：评论

学校读者我要写书评

暂无评论

Automating the implementation of mobile applications and services

Automating the implementation of mobile applications and ser...

引用

18th International Conference on software engineering and Knowledge engineering, SEKE 2006

作者： Jiang, Michael Athale, Anant Yang, Zhihui Chatterjee, Rajarshi Acharya, Jay Software and System Engineering Research Lab United States Networks Applications and Services United States

ISBN: (纸本)9781627486606

This paper describes a service creation framework to automate the design of message-based mobile applications and services In this framework, mobile applications are modeled using design flows containing rules and constraints of application domains Mobile service components serve as the building blocks for the implementation of domain functions and executable mobile applications are generated from the workflow-based design specifications Experiments of the service framework for design specification and automatic generation of mobile applications and services will be described.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

A component-based service creation framework for mobile applications

A component-based service creation framework for mobile appl...

引用

2006 IEEE International Conference on Information Reuse and Integration, IRI-2006

作者： Michael, Jiang Zhihui, Yang Software and System Engineering Research Lab. Motorola Schaumburg IL 60196 United States

ISBN: (纸本)0780397886

The design and development of mobile data services is a complex undertaking that demands expertise from system architecture, software design, wireless communication protocols, to the integration of legacy systems. Service designers have to deal with various aspects and issues at both system and application levels where the complexity and heterogeneity of the network infrastructure have to be considered. This paper describes a component-based service creation framework to simplify the design and development of mobile data services. With high level design abstraction, constraints of application domains, and the guidance of domain rules, a component-based framework enables rapid creation of mobile data services. Case studies which show the development and deployment of mobile applications are presented. © 2006 IEEE.

关键词： Mobile computing

来源：评论

学校读者我要写书评

暂无评论

Guiding service composition in a visual service creation environment

Guiding service composition in a visual service creation env...

引用

Proceedings of ECOWS 2006: 4th European Conference on Web Services

作者： Braem, Mathieu Joncheere, Niels Vanderperren, Wim Van Der Straeten, Ragnhild Jonckers, Viviane System and Software Engineering Lab. Vrije Universiteit Brüssel Pleinlaan 2 1050 Brussels Belgium

ISBN: (纸本)076952737X

Current web service composition languages like WS-BPEL require in-depth knowledge of these languages by the service composition designers. In this paper we present a high-level, visual Service Creation Environment (SCE). This SCE provides service composition templates, verification of compatibility and guidelines, and advanced separation of concerns through Aspect-Oriented software Development. Composition templates are abstract descriptions of reusable compositions containing several placeholders for services. Services are verified to be compatible with the composition template when a service is mapped onto a composition template's placeholder. Composition guidelines such as QoS constraints can be added to the SCE and verified. The modularization of crosscutting concerns is supported by the SCE through the general-purpose Padus Aspect-Oriented Programming language and the possibility to add concern-specific languages on top of Padus. The SCE generates the appropriate WS-BPEL processes given a complete and verified service composition. © 2006 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Explicit high-level rules for the customization of Web Services Management

Explicit high-level rules for the customization of Web Servi...

引用

3rd International Conference on Grid Service engineering and Management, GSEM 2006 - Co-located with the 7th International Conference on Net.ObjectDays 2006, NODe 2006

作者： Cibrán, María Agustina D'Hondt, Maja System and Software Engineering Lab Vrije Universiteit Brussel Belgium Laboratoire D'Informatique Fondamentale de Lille INRIA Jacquard France

ISBN: (纸本)9783885791829

Current Web Services integration approaches fail at supporting a highly flexible service selection and management. To overcome these problems, the Web Services Management Layer was proposed in previous work. However, this layer presents some limitations due to the implicit representation of service criteria that guide its customization. In this paper we propose externalizing these criteria as highlevel business rules. Moreover, the specification of new unanticipated business rules is also supported. We do this by employing a high-level business rule language proposed in previous work. We show how this rule language can be used to customize the WSML, enhancing flexibility. The originality of our approach is the application of a general-purpose business rule language to the domain of Web Services management.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of Linux-based application which supports CDMA and WiBro network

Design and implementation of Linux-based application which s...

引用

8th International Conference Advanced Communication Technology, ICACT 2006

作者： Kim, Dohyung Yun, Minhong Kim, Sunja Lee, Cheol-Hoon Embedded S/W Research Division Electronics and Telecommunications Research Institute Dept. of Computer Engineering System Software Lab. Chungnam National University

ISBN: (纸本)8955191294

This paper describes the design and implementations of the first application service based on embedded Linux;Mobile Teller which uses WiBro network for data communications and CDMA network for voice communications. When a sender on a dual-mode terminal types texts, the texts are transmitted to a TTS server located in the Internet through WiBro network. Subsequently, the TTS server changes the texts into voices and transmits the voice data to the dual-mode terminal. At last the dual-mode terminal sends the voice to the receiver through the CDMA network. In case of noisy environment, Mobile Teller makes user to voice communication.

关键词： Computer operating systems

来源：评论

学校读者我要写书评

暂无评论

Robust local cluster neural networks 14

Robust local cluster neural networks

引用

14th European Symposium on Artificial Neural Networks, ESANN 2006

作者： Eickhoff, Ralf Sitte, Joaquin Rückert, Ulrich Heinz Nixdorf Institute - System and Circuit Technology University of Paderborn Germany Smart Devices Lab - School of Computing Science and Software Engineering Queensland University of Technology Australia

ISBN: (纸本)2930307064

Artificial neural networks are intended to be used in future nanoelectronics since their biological examples seem to be robust to noise. In this paper, we analyze the robustness of Local Cluster Neural Networks and determine upper bounds on the mean square error for noise contaminated weights and inputs. © 2006 *** publication. All rights reserved.

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

Guiding Service Composition in a Visual Service Creation Environment

Guiding Service Composition in a Visual Service Creation Env...

引用

European Conference on Web Services (ECOWS)

作者： Mathieu Braem Niels Joncheere Wim Vanderperren Ragnhild Van Der Straeten Viviane Jonckers System and Software Engineering Lab Vrije Universiteit Brussel Brussels Belgium Syst. & Software Eng. Lab. Vrije Universiteit Brussel Brussel Brussel BE System and Software Engineering Lab Vrije Universiteit Brussel Brussels Belgium

Current Web service composition languages like WS-BPEL require in-depth knowledge of these languages by the service composition designers. In this paper we present a high-level, visual service creation environment (SCE). This SCE provides service composition templates, verification of compatibility and guidelines, and advanced separation of concerns through aspect-oriented software development. Composition templates are abstract descriptions of reusable compositions containing several placeholders for services. Services are verified to be compatible with the composition template when a service is mapped onto a composition template's placeholder. Composition guidelines such as QoS constraints can be added to the SCE and verified. The modularization of crosscutting concerns is supported by the SCE through the general-purpose Padus aspect-oriented programming language and the possibility to add concern-specific languages on top of Padus. The SCE generates the appropriate WS-BPEL processes given a complete and verified service composition

关键词： Web services Computer languages Guidelines XML Telecommunications Binary decision diagrams Feedback Quality of service software engineering Programming

来源：评论

学校读者我要写书评

暂无评论

Explicitly distributed AOP using AWED 06

Explicitly distributed AOP using AWED

引用

5th International Conference on Aspect-oriented software Development 2006, AOSD'06

作者： Navarro, Luis Daniel Benavides Südholt, Mario Vanderperren, Wim De Fraine, Bruno Suvée, Davy OBASCO Project École des Mines de Nantes INRIA 4 rue Alfred Kastler 44307 Nantes cedex 3 France System and Software Engineering Lab. Vrije Universiteit Brussel Pleinlaan 2 1050 Brussels Belgium

ISBN: (纸本)159593300X

Distribution-related concerns, such as data, replication, often crosscut the business code of a distributed application. Currently such crosscutting concerns are frequently realized on top of distributed frameworks, such as EJBs, and initial AO support for the modularization of such crosscutting concerns, e.g., JBoss AOP and Spring AOP, has been proposed. Based on an investigation of the implementation of replicated caches using JBoss Cache, we motivate that crosscutting concerns of distributed applications benefit from an aspect language for explicit distributed programming. We propose AWED, a new aspect language with explicit distributed programming mechanisms, which provides three contributions. First, remote pointcut constructors which are more general than those of previous related approaches, in particular, supporting remote sequences. Second, a notion of distributed advice with support for asynchronous and synchronous execution. Third, a notion of distributed aspects including models for the deployment, instantiation and state sharing of aspects. We show several concrete examples how AWED can be used to modularly implement and extend replicated cache implementations. Finally, we present a prototype implementation of AWED, which we have realized by extending JAsCo, a system providing dynamic aspects for Java. Copyright 2006 ACM.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共22页 << < 13 14 15 16 17 18 19 20 21 22 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：