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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,250 篇 会议
926 篇 期刊文献
59 册 图书

馆藏范围

3,235 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,879 篇 工学
- 1,457 篇 计算机科学与技术...
- 1,202 篇 软件工程
- 351 篇 信息与通信工程
- 316 篇 控制科学与工程
- 175 篇 生物工程
- 152 篇 电气工程
- 130 篇 生物医学工程（可授...
- 126 篇 机械工程
- 124 篇 电子科学与技术（可...
- 89 篇 光学工程
- 86 篇 安全科学与工程
- 77 篇 动力工程及工程热...
- 73 篇 建筑学
- 71 篇 化学工程与技术
- 70 篇 土木工程
- 66 篇 仪器科学与技术
823 篇 理学
- 435 篇 数学
- 200 篇 生物学
- 156 篇 物理学
- 149 篇 系统科学
- 130 篇 统计学（可授理学、...
- 73 篇 化学
551 篇 管理学
- 391 篇 管理科学与工程(可...
- 215 篇 工商管理
- 206 篇 图书情报与档案管...
141 篇 医学
- 129 篇 临床医学
- 108 篇 基础医学(可授医学...
89 篇 法学
- 65 篇 社会学
66 篇 教育学
- 66 篇 教育学
63 篇 经济学
- 63 篇 应用经济学
26 篇 农学
13 篇 文学
8 篇 军事学
3 篇 艺术学

主题

182 篇 software enginee...
144 篇 computer science
85 篇 computational mo...
84 篇 application soft...
76 篇 deep learning
76 篇 wireless sensor ...
73 篇 accuracy
72 篇 artificial intel...
71 篇 software systems
71 篇 software
70 篇 laboratories
68 篇 machine learning
64 篇 training
63 篇 computer archite...
61 篇 quality of servi...
52 篇 security
51 篇 systems engineer...
51 篇 resource managem...
48 篇 cloud computing
47 篇 grid computing

机构

48 篇 department of la...
44 篇 department of in...
34 篇 graduate school ...
31 篇 beijing key labo...
27 篇 department of co...
26 篇 grid computing a...
23 篇 college of compu...
22 篇 department of co...
22 篇 school of electr...
22 篇 seventh research...
21 篇 software enginee...
18 篇 department of sy...
18 篇 state key labora...
17 篇 software enginee...
16 篇 department of in...
13 篇 department of la...
12 篇 department of el...
12 篇 department of so...
12 篇 max planck insti...
12 篇 school of inform...

作者

67 篇 fatos xhafa
65 篇 leonard barolli
49 篇 rajkumar buyya
49 篇 arjan durresi
35 篇 junping du
33 篇 yingmin jia
25 篇 buyya rajkumar
24 篇 ismail leila
22 篇 fashan yu
21 篇 akio koyama
19 篇 tao yang
19 篇 xenofon koutsouk...
18 篇 gjergji mino
16 篇 makoto ikeda
15 篇 song houbing
15 篇 zamli kamal z.
15 篇 gautam biswas
14 篇 m. parashar
14 篇 biswas gautam
13 篇 materwala huned

语言

3,086 篇 英文
131 篇 其他
15 篇 中文
3 篇 日文
2 篇 俄文
1 篇 斯洛文尼亚文
1 篇 土耳其文

检索条件"机构=Department of Languages and Computer Systems and Software Engineering"

共 3235 条记录，以下是2661-2670 订阅

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

详细简洁

排序：

How to Combine Requirements engineering and Interaction Design?

How to Combine Requirements Engineering and Interaction Desi...

引用

IEEE International Conference on Requirements engineering

作者： Hermann Kaindl Larry Constantine Oscar Pastor Alistair Sutcliffe Didar Zowghi Institute of Computer Technology University of Technology Vienna Vienna Austria Human-Centered Software Engineering Lab University of Madeira Constantine & Lockwood limited USA Department of Informatics Systems and Computation Universitad Politécnica de Valencia Spain Systems Engineering in Manchester Business School University of Manchester Institute of Science and Technology UK Faculty of Information Technology University of Technology (UTS) Australia

In this panel, we propose to figure out how requirements engineering and interaction design can be usefully combined. In particular, some people argue that scenarios/ use cases should be concrete, as in story-telling. Others argue for use of "essential" use cases as a methodological approach to interaction and user-interface design. Somewhat in the middle, it is argued that use cases should help acquiring the requirements in the first place. What should the practitioner believe and, in particular, do, in order to develop useful and usable software and systems? software development and interaction design require different skills and different methods and are typically done by different people. Still, scenario-based design is proposed for several activities relevant for both tasks, such as requirements elicitation, software design, and interaction design. Symbolic modeling in this spirit is actually common to various fields. However, scenario-based approaches vary, especially with regard to their use, e.g., employing abstract use cases or integrating scenarios with functions and goals in a systematic design process. So, the key issue to be raised at the panel is how to combine different approaches, e.g., in scenario-based development, so that the interaction design as well as the development of the user interface and of the software internally result in an overall useful and useable system.

关键词： Design engineering Concrete User interfaces Usability Human computer interaction software systems Programming software design Process design systems engineering and theory

来源：评论

学校读者我要写书评

暂无评论

IMAGE-DEPENDENT SPATIAL SHAPE-ERROR CONCEALMENT

IMAGE-DEPENDENT SPATIAL SHAPE-ERROR CONCEALMENT

引用

2008 9th International Conference on Signal Processing(ICSP’2008)

作者： Ferdous A.Sohel Gour C.Karmakar Laurence S.Dooley School of Computer Science & Software Engineering University of Western AustraliaWA-6009Australia Gippsland School of Information Technology Monash UniversityVictoria-3842Australia Department of Communication and Systems The Open UniversityMilton KeynesMK7 6AAUnited Kingdom

Existing spatial shape-error concealment techniques are broadly based upon either parametric curves that exploit geometric information concerning a shape's contour or object shape statistics using a combination of Markov random fields and maximum a posteriori *** categories are to some extent,able to mask errors caused by information loss,provided the shape is considered independently of the image/*** palpably however,do not afford the best solution in applications where shape is used as metadata to describe image and video *** paper presents a novel image-dependent spatial shape-error concealment(ISEC) algorithm that uses both image and shape information by employing the established rubber-band contour detecting function,with the novel enhancement of automatically determining the optimal width of the band to achieve superior error *** results qualitatively and numerically corroborate the enhanced performance of the new ISEC strategy compared with established shape-based concealment techniques.

关键词： image IMAGE-DEPENDENT SPATIAL SHAPE-ERROR CONCEALMENT

来源：评论

学校读者我要写书评

暂无评论

Variant Rate Based Cross Layer Time Frame Scheduling in Wireless Sensor Networks

Variant Rate Based Cross Layer Time Frame Scheduling in Wire...

引用

7th Wireless Telecommunications Symposium (WTS 2008)

作者： Wei Wei Yong Qi Wei Wang Ruidong Li Yi Shi Yu Gu Andrew Chen Institute of Computer Software and Theory School of Electronic and Information Engineering Xi''an Jiaotong University Xi'an China Computer and Electronic Engineering Department University of Nebraska Lincoln USA Department of Computer Science Graduate School of Systems and Information Engineering University of Tsukuba Japan Department of Computer Science University of Science and Technology China Department of Computer Science University of California Riverside

In this paper, a novel variable rate based time frame scheduling scheme is proposed to further reduce collisions and improve energy saving in wireless sensor networks. The MAC combines CSMA and TDMA functionalities, while obviating their shortcomings. After being assigned, slot 0 is preserved as the pre-schedule slot to inform neighbor nodes the schedule of the senders. During this pre-schedule slot, each node knows exactly the schedule of other neighbor nodes. Multi-rate and power scaling are adopted to achieve further energy saving by employing an acceptable rate rather than the maximum rate. Data rate is dynamically adjusted according to the traffic load of sending nodes in an energy efficient data rate to save energy. Compared with Z-MAC, performance in the present study proves to have better ability of local framing pre-schedule and multi-rate achieves better energy efficiency.

关键词： Rate Based Scheduling Wireless Sensor Networks

来源：评论

学校读者我要写书评

暂无评论

Solving Sum and Product Riddle via BDD-Based Model Checking

Solving Sum and Product Riddle via BDD-Based Model Checking

引用

IEEE WIC ACM International Conference on Web Intelligence (WI)

作者： Xiangyu Luo Kaile Su Abdul Sattar Yan Chen Tsinghua National Laboratory for Information Science and Technology Key Laboratory of Security for Information System of Ministry of Education School of Software Tsinghua University Beijing China Department of Computer Science Guilin University of Electronic and Technology Guilin China School of Electronics Engineering and Computer Science Peking University Beijing China Institute for Integrated and Intelligent Systems Griffith University Brisbane QLD Australia

We model the sum and product riddle in public announcement logic, which is interpreted on an epistemic Kripke model. The model is symbolically represented as a finite state program with n agents. A model checking method to the riddle is developed by using the BDD-based symbolic model checking algorithm for logic of knowledge we developed in [7]. The method is implemented by extending the model checker MCTK [7] and then the solution of the riddle is verified successfully.

关键词： Data structures Boolean functions IEEE news Intelligent agent Educational technology Automatic logic units Laboratories computer science Information science computer security

来源：评论

学校读者我要写书评

暂无评论

Determining practice achievement in project management using a two-phase questionnaire on small and medium enterprises

Determining practice achievement in project management using...

引用

14th European software Process Improvement Conference, EuroSPI 2007

作者： Garcia, Ivan Calvo-Manzano, Jose A. Gonzalo, Cuevas Tomas, San Feliu Languages and Informatics Systems and Software Engineering Department Faculty of Computer Science Polytechnic University of Madrid Spain

ISBN: (纸本)9783540747659

This paper aims to obtain a baseline snapshot of Project Management processes using a two-phase questionnaire to identify both performed and nonperformed practices. The proposed questionnaire is based on the Level 2 process areas of the Capability Maturity Model Integration for Development v1.2. It is expected that the application of the questionnaire to the processes will help small and medium software enterprises to identify those practices which are performed but not documented, which practices need more attention, and which are not implemented due to bad management or unawareness. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Project management

来源：评论

学校读者我要写书评

暂无评论

Pointwise Logic on Completely Distributive Lattices and Approximate Reasoning

Pointwise Logic on Completely Distributive Lattices and Appr...

引用

International Conference on Fuzzy systems and Knowledge Discovery (FSKD)

作者： Yalin Zheng Guang Yang Jing Zheng Jinsheng Xing State Key Laboratory for Intelligent Technology and Systems Department of Automation Faculty of Information Science and Technology Tsinghua University Beijing China Research Center of Intelligent Information Technology Department of Computer Science and Technology Faculty of Software Dongguan University of Science and Technology Dongguan China Research Center of Dongguan Economy Department of Economy and Commerce Dongguan University of Science and Technology Dongguan China Faculty of Mathematics and Computer Science Shanxi Normal University Linfen China Research Center of System Engineering Faculty of Electronic and Information Engineering Xi'an Jiaotong University Xi'an China

In this paper, we propose the basic framework of point- wise topological logic on completely distributive lattices and explore approximate reasoning in it. The logic of this paper is based on pointwise characterization, therefore the pointwise conception is pervasive. We explore approximate reasoning in abstract logical framework Fl on completely distributive lattice L. We propose the structure of point- wise topological logic F TL , the structure of matching function sigma. and the structure of matching neighborhood group. We investigate approximate reasoning in pointwise topological logic F TL with matching function sigma, develop pointwise topological algorithm of simple approximate reasoning, introduce the essential characteristics of this scheme.

关键词： Lattices Fuzzy logic computer science Knowledge engineering Fuzzy systems Information technology Laboratories Intelligent systems Automation Information science

来源：评论

学校读者我要写书评

暂无评论

An Intelligent Handoff System for Wireless Cellular Networks Using Fuzzy Logic and Random Walk Model

An Intelligent Handoff System for Wireless Cellular Networks...

引用

2nd International Conference on Complex, Intelligent and software Intensive systems (CISIS 2008)

作者： Leonard Barolli Fatos Xhafa Arjan Durresi Akio Koyama Makoto Takizawa Department of Information and Communication Engineering Fukuoka Institute of Technology Japan Department of Languages and Informatics Systems Polytechnic University of Catalonia Barcelona Spain Department of Computer and Information Science Purdue University Indiana University Indianapolis IN USA Department of Informatics Yamagata University Yonezawa Japan Department of Computer and System Engineering Tokyo Denki University Hatoyama Saitama Japan

In mobile cellular systems the handover is a very important process to maintain the desired Quality of Service (QoS). Many handover algorithms are proposed in the literature. However, to make a better handover and keep the QoS in wireless networks is very difficult. In this paper, by using random walk model and fuzzy theory we propose a new handover system. The proposed system uses 3 parameters for handoff decision: signal strength from the present Base Station (BS), signal strength from the neighbor BS, and the distance between Mobile Station (MS) and BS. The performance evaluation via simulations shows that proposed system can avoid ping-pong effect and has a good handover decision.

关键词： Distance measurement Layout Electric fields Fault currents Circuit faults Artificial intelligence High definition video

来源：评论

学校读者我要写书评

暂无评论

systems interoperability, integration, and composition†

引用

software Process: Improvement and Practice 2008年第2期13卷

作者： Rose Gamble Grace A. Lewis Department of Mathematical and Computer Sciences University of Tulsa Tulsa OK USA Integration of Software-Intensive Systems (ISIS) Initiative Software Engineering Institute Carnegie Mellon University Pittsburgh PA USA

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A Cluster Head Decision System for Sensor Networks Using Fuzzy Logic and Number of Neighbor Nodes

A Cluster Head Decision System for Sensor Networks Using Fuz...

引用

2008 the First IEEE International Conference on Ubi-Media Computing and Workshops(U-Media2008)

作者： Junpei Anno Leonard Barolli Arjan Durresi Fatos Xhafa Akio Koyama Graduate School of Engineering Fukuoka Institute of Technology (FIT) 3-30-1 Wajiro-Higashi Higashi-Ku Fukuoka 811-0295 Japan Department of Information and Communication Engineering Fukuoka Institute of Technology (FIT) 3-30-1 Wajiro-Higashi Higashi-Ku Fukuoka 811-0295 Japan Department of Computer and Information Science Indiana University Purdue University Indianapolis 723 W. Michigan Street SL 280 Indianapolis IN 46202 USA Department of Languages and Informatics Systems Polytechnic University of Catalonia Jordi Girona 1-3 08034 Barcelona Spain Department of Informatics Yamagata University 4-3-16 Jonan Yonezawa 992-8510 Yamagata Japan

Cluster formation and cluster head selection are important problems in sensor network applications and can drastically affect the network’s communication energy dissipation. However, the selection of cluster head is not easy in different environments which may have different characteristics. In this paper, in order to deal with this problem we propose a power reduction algorithm for sensor networks based on fuzzy logic and number of neighbor nodes. We evaluate the proposed system by simulations and show that proposed system makes a good selection of the cluster head.

关键词： Cluster A Cluster Head Decision System for Sensor Networks Using Fuzzy Logic and Number of Neighbor Nodes Sensor Fuzzy

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共324页 << < 263 264 265 266 267 268 269 270 271 272 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：