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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

4,806 篇 会议
358 册 图书
78 篇 期刊文献
1 篇 学位论文

馆藏范围

5,239 篇 电子文献
4 种 纸本馆藏

日期分布

学科分类号

3,592 篇 工学
- 3,089 篇 计算机科学与技术...
- 2,587 篇 软件工程
- 585 篇 信息与通信工程
- 435 篇 控制科学与工程
- 341 篇 电气工程
- 229 篇 机械工程
- 198 篇 电子科学与技术（可...
- 194 篇 生物工程
- 142 篇 安全科学与工程
- 137 篇 生物医学工程（可授...
- 107 篇 建筑学
- 99 篇 动力工程及工程热...
- 94 篇 土木工程
- 83 篇 交通运输工程
- 82 篇 材料科学与工程（可...
- 81 篇 仪器科学与技术
993 篇 理学
- 559 篇 数学
- 219 篇 生物学
- 172 篇 系统科学
- 171 篇 物理学
- 153 篇 统计学（可授理学、...
- 76 篇 化学
804 篇 管理学
- 569 篇 管理科学与工程(可...
- 303 篇 工商管理
- 291 篇 图书情报与档案管...
143 篇 医学
- 120 篇 临床医学
- 110 篇 基础医学(可授医学...
131 篇 教育学
- 128 篇 教育学
111 篇 经济学
- 111 篇 应用经济学
108 篇 法学
- 79 篇 社会学
41 篇 农学
11 篇 军事学
8 篇 文学
2 篇 艺术学

主题

374 篇 software enginee...
225 篇 software
178 篇 artificial intel...
154 篇 computer archite...
143 篇 information syst...
143 篇 application soft...
131 篇 computer communi...
113 篇 computer science
111 篇 software enginee...
109 篇 hardware
108 篇 computer softwar...
105 篇 real-time system...
95 篇 control systems
90 篇 computer aided s...
74 篇 software systems
72 篇 computational mo...
72 篇 software design
71 篇 software archite...
61 篇 logics and meani...
60 篇 software testing

机构

21 篇 college of compu...
10 篇 school of softwa...
9 篇 univ york dept c...
9 篇 dublin city univ...
8 篇 department of co...
8 篇 state key labora...
7 篇 school of comput...
7 篇 faculty of compu...
6 篇 school of comput...
6 篇 school of comput...
6 篇 shanghai key lab...
6 篇 college of compu...
6 篇 university of ne...
6 篇 faculty of compu...
6 篇 univ haifa dept ...
6 篇 school of inform...
5 篇 univ chinese aca...
5 篇 hebrew universit...
5 篇 nanjing univ sta...
5 篇 school of inform...

作者

14 篇 kupferman orna
14 篇 labiche yvan
12 篇 david lo
8 篇 mylopoulos john
8 篇 yilmaz murat
8 篇 reinhartz-berger...
8 篇 xin xia
8 篇 paige richard f.
7 篇 o'connor rory v.
7 篇 vardi moshe y.
7 篇 clarke paul m.
7 篇 biffl stefan
7 篇 briand lionel c.
7 篇 exman iaakov
7 篇 sturm arnon
6 篇 katz guy
6 篇 maoz shahar
6 篇 sulaiman shahida
6 篇 lakhmi c. jain
5 篇 bernady o. apduh...

语言

4,857 篇 英文
358 篇 其他
56 篇 中文
2 篇 德文
2 篇 俄文
1 篇 西班牙文

检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"

共 5243 条记录，以下是3761-3770 订阅

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

详细简洁

排序：

Optimum Sensing Technique and Approach for Low Power Consumption Network

Optimum Sensing Technique and Approach for Low Power Consump...

引用

International conference on software engineering Research, Management and Applications (SERA)

作者： Hamid Jabbar Taewan Kim Jin-Suk Kang Jangho Lee Hyosik Yang Meeyoung Sung Gyunleen Park Taikyeong Jeong Department of Communications Eng. Myongji University South Korea Dept of Computer Science & Eng. Incheon University South Korea Dept of Computer Eng. Hongik University South Korea Dept of Information and Telecomm. Eng. Sejong University South Korea Department of Computer and Statistics Cheju National University South Korea

this paper presents a technique to integrate energy efficient ubiquitous sensors to work in a network for optimum control. this optimization technique can reduce power consumption by using wireless communicating sensors with a supervisor control. this supervisory control of the sensors gives it an advantage of being controllable from any embedded, desktop or Internet platform. Sensors for different purposes can work together to form a network which can be implemented in many environment like homes, city, hospitals and remote locations like mountains, forests etc. We employed an optimized sensing system and algorithm which reduced the number of sensors and power consumption.

关键词： Energy consumption Intelligent sensors Sensor systems Wireless sensor networks Temperature sensors Robot sensing systems computer networks Pervasive computing Telecommunication computing Supervisory control

来源：评论

学校读者我要写书评

暂无评论

A UML Profile for Knowledge-Based systems Modelling

A UML Profile for Knowledge-Based Systems Modelling

引用

International conference on software engineering Research, Management and Applications (SERA)

作者： Mohd Syazwan Abdullah Richard Paige Chris Kimble Ian Benest Faculty of Information Technology Universiti Utara Malaysia Sintok Kedah Malaysia Department of Computer Science University of York York UK

the Knowledge engineering (KE) techniques are essentially based on the knowledge transfer approach, from domain experts directly to systems. However, this has been replaced by the modelling approach which emphasises using conceptual models to model the problem-solving skill of the domain expert. this paper discusses extending the Unified Modelling Language by means of a profile for modelling knowledge-based system in the context of Model Driven Architecture (MDA) framework. the profile is implemented using the executable Modelling Framework (XMF) Mosaic tool. A case study from the health care domain demonstrates the practical use of this profile; with the prototype implemented in Java Expert System Shell (Jess). the paper also discusses the possible mapping of the profile elements to the platform specific model (FSM) of Jess and provides some discussion on the Production Rule Representation (FRR) standardisation work.

关键词： Unified modeling language Knowledge based systems Context modeling Knowledge engineering Knowledge transfer Problem-solving Medical services Prototypes Java Expert systems

来源：评论

学校读者我要写书评

暂无评论

Implementation and Performance Evaluation of Socket and RMI based Java Message Passing systems

Implementation and Performance Evaluation of Socket and RMI ...

引用

International conference on software engineering Research, Management and Applications (SERA)

作者： SeungJun Bang JinHo Ahn Kyonggi University Suwonsi Kyonggido Korea

Recently, as speeds of computer processors and networks are rapidly increasing, a lot of researches are actively progressing to develop efficient and lightweight parallel computing platforms using heterogeneous and networked computers. According to this technical trend, this paper designs and implements a message passing library called JMPI(Java Message Passing Interface) which complies with MP], the MPI standard specification for Java language. this library provides some graphic user interface tools to enable parallel computing environments to be configured very simply by their administrators and JMPI applications to be executed very conveniently. Especially, it is implemented as two versions based on two typical distributed system communication mechanisms, Socket and RMI. According to these communication mechanisms, the performance of each message passing system is evaluated by measuring its processing speed with respect to the increasing number of computers by executing three well-known applications. Experimental results show that the most efficient processing speedup can be obtained by increasing the number of the computers in consideration of network traffics generated by applications.

关键词： Sockets Java Message passing computer networks Application software Concurrent computing Parallel processing Libraries computer graphics User interfaces

来源：评论

学校读者我要写书评

暂无评论

Anomaly-based Fault Detection System in Distributed System

Anomaly-based Fault Detection System in Distributed System

引用

International conference on software engineering Research, Management and Applications (SERA)

作者： Byoung uk Kim Salim Hariri High Performance Distributed Computing Laboratory Department of Electrical and Computer Engineering University of Arizona Tucson Tucson AZ USA

One of the important design criteria for distributed systems and their applications is their reliability and robustness to hardware and software failures. the increase in complexity, inter connectedness, dependency and the asynchronous interactions between the components that include hardware resources (computers, servers, network devices), and software (application services, middleware, web services, etc.) makes the fault detection and tolerance a challenging research problem. In this paper, we present an innovative approach based on statistical and data mining techniques to detect faults (hardware or software) and also identify the source of the fault. In our approach, we monitor and analyze in realtime all the interactions between all the components of a distributed system. We used data mining and supervised learning techniques to obtain the rules that can accurately model the normal interactions among these components. Our anomaly analysis engine will immediately produce an alert whenever one or more of the interaction rules that capture normal operations is violated due to a software or hardware failure. We evaluate the effectiveness of our approach and its performance to detect software faults that we inject asynchronously, and compare the results for different noise level.

关键词： Fault detection Hardware Application software Data mining computer network reliability Robustness computer networks Network servers Middleware Web services

来源：评论

学校读者我要写书评

暂无评论

A New Look at software Plagiarism Investigation and Copyright Infringement

A New Look at Software Plagiarism Investigation and Copyrigh...

引用

5th International conference on Information & Communications Technology

作者： Samer Abd El-Wahed Ahmed Elfatatry Mohamed S. Abougabal Institute of Graduate Studies and Research Information Technology Department Alexandria University Egypt Department of Information Technology Alexandria University Egypt Computer and Systems Engineering at the Alexandria University Egypt

In the context of detecting possible copyright infringement, finding a correlation between the source code files for two different programs does not necessarily mean that illicit behavior occurred. Ideas, concepts, facts, processes and methods are not in themselves protected by copyright law. therefore, not everything in software is subject to copyright or patent protection. It is possible to write software that is not protected by either. Expert opinion may be needed in court in order to determine whether an intellectual property infringement has occurred or not. this may involve a comparison of the source code. this basic legal requirement is explicitly the core of the case. the main contribution of this paper is the suggestion of a framework for understanding of the legal consequences of similarity in software code. Because comparing two works of software is not as simple as a line-by-line comparison.

关键词： Copyright Infringement Intellectual Property Plagiarism software Forensics

来源：评论

学校读者我要写书评

暂无评论

Functional Extension for Solving the Loophole Problem of DACS Scheme

Functional Extension for Solving the Loophole Problem of DAC...

引用

International conference on software engineering Research, Management and Applications (SERA)

作者： Kazuya Odagiri Rihito Yaegashi Masaharu Tadauchi Naohiro Ishii Aichi Institute of Technology Nagoya Aichi Japan Shibaura Institute of Technology Tokyo Japan Toyota Technological Institute Nagoya Aichi Japan

Where customers with different membership and position, use computers as in the university network systems, it often takes much time and efforts for them to cope with the change of the system management. this is because the requirements for the respective computer usage are different in the network and security policies. In this paper, destination addressing control system scheme (DACS scheme) for the university network services is shown. the DACS scheme performs network management efficiently through the communication management of a client. As the characteristic of DACS scheme, only the setup modification is required by a system administrator, when configuration change of the network system is performed. then, the setup modification is unnecessary by a customer, which shows a merit for both a system administrator and a customer. However, there is a problem to be solved. In existing DACS scheme, it is promised that, DACS client for controlling the communication must be implemented on all clients. When the client not installing DACS client is connected to the network, each network server can be accessed from the client. therefore, in this paper, secure DACS scheme with function to prevent the communication from the client not installing DACS client, is proposed and examined.

关键词： Network servers computer network management Cryptography Tunneling computer networks Communication system control Technology management Control systems conference management engineering management

来源：评论

学校读者我要写书评

暂无评论

Development of a Methodological Framework for the Self Reconfiguration of Automated Visual Inspection systems

Development of a Methodological Framework for the Self Recon...

引用

IEEE International conference on Industrial Informatics (INDIN)

作者： Hugo C. Garcia J. Rene Villalobos Department of Industrial Engineering Arizona State University Tempe AZ USA

the lack of flexibility of the current automated visual inspection (AVI) systems to accommodate new products is one of the main problems faced by users of these systems. In this paper, the authors propose a framework that will facilitate the design of highly reconfigurable AVI systems possible. the proposed framework is based on five modules: the feature generation module (FGM), the feature selection module (FSM), the decision engine module (DEM), the performance assessment module (PAM), and the refinement and improvement module (RIM).

关键词： Inspection Costs Application software Prototypes Production facilities Solid modeling Laser modes computer industry Control systems Manufacturing

来源：评论

学校读者我要写书评

暂无评论

Extending the Service Domain of Interactive Components

Extending the Service Domain of Interactive Components

引用

International conference on software engineering Research, Management and Applications (SERA)

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

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.

关键词： History Computational modeling Communication system control software engineering conference management Technology management engineering management Application software computer languages Fault tolerant systems

来源：评论

学校读者我要写书评

暂无评论

Simulation of Industrial Applications using the Execution Environment SCXML

Simulation of Industrial Applications using the Execution En...

引用

IEEE International conference on Industrial Informatics (INDIN)

作者： Raimundo Santos Moura Luiz Affonso Guedes Department of Informatics and Statistics UFPI Brazil Department of Computer Engineering and Automation UFRN Brazil

the design engineers need to use high level formalisms to facilitate the development, maintenance, and documentation of the industrial control systems. these formalisms must permit the modeling, formal validation, and code generation to PLC. this paper discusses statechart for modeling of industrial systems, and presents a case study that simulates the general schema of the industrial automation process, based in PLC. the case study was implemented with Java technologies, and was simulated using the execution environment developed by the Jakarta Project Commons SCXML.

关键词： Programmable control Electrical equipment industry Automation Industrial control Unified modeling language Informatics Programming Concurrent computing Documentation software systems

来源：评论

学校读者我要写书评

暂无评论

Treatment of passive voice and conjunctions in use case documents

引用

12th International conference on Applications of Natural Language to Information systems

作者： Kof, Leonid Tech Univ Munich Fak Informat D-85748 Munich Germany

ISBN: (纸本)9783540733508

Requirements engineering, the first phase of any software development project, is the Achilles' heel of the whole development process, as requirements documents are often inconsistent and incomplete. In industrial requirements documents natural language is the main presentation means. In such documents the system behavior is specified in the form of use cases and their scenarios, written as a sequence of sentences in natural language. For the authors of requirements documents some facts are so obvious that they forget to mention them. this surely causes problems for the requirements analyst. Missing information manifests itself, for example, in sentences in passive voice: such sentences just say that some action is performed, but they do not say who performs the action. In the case of requirement analysis this poses a serious problem, as in every real system there is an actor for every performed action. there already exists an approach able to guess missing actors and actions. However, the existing approach is able to handle sentences containing exactly one verb only. the approach presented in this paper extends the existing one by treatment of compound sentences and passive voice. Feasibility of the presented approach to the treatment of passive and conjunctions was confirmed in a case study.

关键词： Information retrieval systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 373 374 375 376 377 378 379 380 381 382 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：