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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,803 篇 会议
357 册 图书
80 篇 期刊文献
1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

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

主题

374 篇 software enginee...
224 篇 software
177 篇 artificial intel...
154 篇 computer archite...
143 篇 information syst...
143 篇 application soft...
131 篇 computer communi...
114 篇 computer science
111 篇 software enginee...
109 篇 hardware
109 篇 computer softwar...
102 篇 real-time system...
94 篇 control systems
90 篇 computer aided s...
74 篇 software systems
72 篇 computational mo...
72 篇 software design
71 篇 software archite...
61 篇 software testing
61 篇 logics and meani...

机构

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 篇 carleton univ de...
6 篇 univ haifa dept ...
6 篇 school of inform...
5 篇 univ chinese aca...
5 篇 hebrew universit...
5 篇 nanjing univ sta...

作者

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...

语言

5,059 篇 英文
154 篇 其他
41 篇 中文
2 篇 德文
2 篇 俄文
1 篇 西班牙文

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

共 5241 条记录，以下是3921-3930 订阅

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

详细简洁

排序：

A Method to Generate C# Code from MDA/PSM for Enterprise Architecture

A Method to Generate C# Code from MDA/PSM for Enterprise Arc...

引用

International conference on computer and Information Science (ACIS)

作者： Deuk Kyu Kum Soo Dong Kim Department of Computer Science Soongsil University Seoul South Korea

Model driven architecture (MDA) is a new development paradigm which generates software by transforming design models automatically and incrementally. Transformation of MDA structural models has been successfully applied in practice. However, transformation of dynamic models and pervasive services largely remains as an area for further research. Pervasive services are essential for building distributed enterprise systems. In this paper, we specify the functionalities of the pervasive services, which are essential parts in the development of enterprise architecture, and then those functionalities are defined by UML profile. By using of the profile, the platform specific model (PSM) for .NET/C# is specified, and code is generated through our software modeling tool. the source codes for .NET supporting the functionalities of pervasive services can be easily and automatically generated by using of the proposed methods in this paper

关键词： computer architecture Unified modeling language Application software Security Programming computer science software design Buildings software tools computer languages

来源：评论

学校读者我要写书评

暂无评论

A low cost human computer interface based on eye tracking

A low cost human computer interface based on eye tracking

引用

28th Annual International conference of the IEEE engineering in Medicine and Biology Society, EMBS'06

作者： Hiley, Jonathon B. Redekopp, Andrew H. Fazel-Rezai, Reza IEEE Department of Electrical and Computer Engineering University of Manitoba Winnipeg MB R3T 5V6 Canada

ISBN: (纸本)1424400325

this paper describes the implementation of a human computer interface based on eye tracking. Current commercially available systems exist, but have limited use due mainly to their large cost. the system described in this paper was designed to be a low cost and unobtrusive. the technique was video-oculography assisted by corneal reflections. An off-the shelf CCD webcam was used to capture images. the images were analyzed in software to extract key features of the eye. the users gaze point was then calculated based on the relative position of these features. the system is capable of calculating eye-gaze in real-time to provide a responsive interaction. A throughput of eight gaze points per second was achieved. the accuracy of the fixations based on the calculated eye-gazes were within 1cm of the on-screen gaze location. By developing a low-cost system, this technology is made accessible to a wider range of applications. © 2006 IEEE.

关键词： Interfaces (computer)

来源：评论

学校读者我要写书评

暂无评论

Measuring the Benefits of Summarizing Quantitative Information in Pervasive Computing systems

Measuring the Benefits of Summarizing Quantitative Informati...

引用

International conference on computer and Information Science (ACIS)

作者： F. Rasheed Young-Koo Lee Sungyoung Lee Kyung Hee University Suwon South Korea

Ubiquitous computing systems continuously sense the environment and collect different kind of data used to provide un-obtrusive, proactive services to users. the amount of data collected grows tremendously consuming considerable storage space, slowing down the query processing and data analysis tasks and negatively effects the distributed data management and data transfer among various nodes. We have proposed earlier that a compact, summarized and aggregate representation of historical data can be used to overcome these problems. In this paper, we analyze the effectiveness of this concept by summarizing the quantitative information using various techniques and calculating different parameters as storage space consumption, time taken to answer queries and the precision of the results provided

关键词： Pervasive computing Ubiquitous computing Aggregates Query processing Context awareness Bandwidth Delay Temperature sensors Data analysis Information analysis

来源：评论

学校读者我要写书评

暂无评论

Generating Java Skeletal Code with Design Contracts from Specifications in a Subset of Object Z

Generating Java Skeletal Code with Design Contracts from Spe...

引用

International conference on computer and Information Science (ACIS)

作者： S. Ramkarthik Cui Zhang Intel Corporation Folsom CA USA Department of Computer Science California State University Sacramento Sacramento CA USA

Object-Z is an object-oriented extension of the Z notation for formal specifications. Using Object-Z, structuring and developing large, complex software system specifications became possible by defining the systems as collections of independent classes and objects. the class schema framework in Object Z suggests that a one-to-one relationship exists between a class schema and a skeletal Java class with its design contract. the design contract for a Java class includes the invariant property of the class state, the pre and post conditions for the methods. this paper, demonstrates how Java skeletal code with design contracts can be generated from the specifications written in a subset of Object Z. Object Z class schema specification defined using a graphical user interface is converted to a XML representation. the Java skeletal code containing the design contracts is then generated by processing the XML representation

关键词： Java Contracts Formal specifications XML software systems Graphical user interfaces software maintenance Object oriented modeling computer science Buildings

来源：评论

学校读者我要写书评

暂无评论

Gradient Non-Linearity Correction of MR Images for Functional Radiosurgery

Gradient Non-Linearity Correction of MR Images for Functiona...

引用

International conference on computer and Information Science (ACIS)

作者： T.S. Lee K.E. Schubert R.W. Schulte Department of Radiation Medicine Loma Linda University Medical Center USA Department of Computer Science California State University San Bernardino USA

this paper discusses the correction of MR images to submillimeter accuracy needed for functional radiosurgery. MR images experience non-linear distortion due to the magnetic field, which becomes more of a problem for newer machines with larger bores and stronger magnetic fields. this paper models the distortion correction parameters using a spherical harmonics basis, which avoids the need to invert the function to correct the image. the coefficients appear linearly for the spherical harmonics so they are solved for in each dimension by least squares techniques for an MR image of a phantom and the measurements of the phantom. Practical considerations in the design are also covered

关键词： Imaging phantoms Magnetic resonance imaging Protons Biomedical imaging Magnetic fields Boring Nonlinear distortion Particle beams software systems computer science

来源：评论

学校读者我要写书评

暂无评论

EquiCast: Scalable multicast with selfish users

EquiCast: Scalable multicast with selfish users

引用

25th Annual ACM Symposium on Principles of Distributed Computing 2006

作者： Keidar, Idit Melamed, Roie Orda, Ariel EE Department Technion CS Department Technion

ISBN: (纸本)1595933840

Peer-to-peer (P2P) networks suffer from the problem of "free- loaders", i.e., users who consume resources without contributing anything in return. In this paper, we tackle this problem taking a game theoretic perspective by modeling the system as a non-cooperative game. We introduce EquiCast, a wide-area P2P multicast protocol for large groups of selfish nodes. EquiCast is the first P2P multicast protocol that is formally proven to enforce cooperation in selfish environments. Additionally, we prove that EquiCaat incurs a low constant load on each user. Copyright 2006 ACM.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Enhancing the Horizons of Mobile Computing with Mobile Agent Components

Enhancing the Horizons of Mobile Computing with Mobile Agent...

引用

International conference on computer and Information Science (ACIS)

作者： G. Pour N. Laad Cisco San Jose State University Foundation USA

the key issues in mobile computing include mobility-related challenges such as location transparency and dependency (e.g. loss or degradation of wireless connections); wireless networking problems such as low bandwidth, high latency wireless networks; low quality connections (e.g. network errors and failures); and portability issues such as power, processing, memory, and display limitations. To address the mobility-related and wireless networking issues as well as the challenges of adaptability, flexibility, extensibility, maintainability, reliability, resilience of mobile systems, we have explored mobile agent approach for development of wireless mobile systems. In a research project, co-sponsored by IBM and HP, we have developed a mobile system architecture using mobile agent components, and built a demonstration prototype. Mobile agent approach has emerged as a viable approach for development of mobile systems. In this paper, we present and discuss the latest results and lessons learned from this research project and the future plans

关键词： Mobile computing Mobile agents computer displays computer networks Degradation Bandwidth Delay Wireless networks Maintenance Power system reliability

来源：评论

学校读者我要写书评

暂无评论

Writing Use-Case with a Minimal Set of Words

Writing Use-Case with a Minimal Set of Words

引用

International conference on computer and Information Science (ACIS)

作者： T. Osaki A. Kobayashi T. Kato NEC Corporation Limited Tokyo Japan

Use-case analysis is a very practical method of defining software usage from the actor's viewpoint. Many developers apply use-case analysis, but they do so for functional decomposition and thereby lose many of the merits of use-case analysis, such as easier explanation by actors and correct understanding and recording of software requirements by software developers. In order to facilitate use-case analysis from an actor's viewpoint, we developed a language called Minimal Language (ML), as a subset of a natural language, for use-case descriptions. ML is a specialized natural language for describing software usage. Based on real project experiences, it was created carefully to be rich enough for describing use cases from an actor's viewpoint and simple enough to have only one interpretation for developers. As a result of such specialization, ML consists of a minimal set of words. the sparseness of words in ML eases ML training for developers

关键词： Writing Business Natural languages software systems National electric code Costs Stability Information science conferences software engineering

来源：评论

学校读者我要写书评

暂无评论

Droplet-trace-based array partitioning and a pin assignment algorithm for the automated design of digital microfluidic biochips

Droplet-trace-based array partitioning and a pin assignment ...

引用

CODES+ISSS 2006: 4th International conference on Hardware software Codesign and System Synthesis

作者： Xu, Tao Chakrabarty, Krishnendu Department of Electrical and Computer Engineering Duke University Durham NC 27708 United States

ISBN: (纸本)1595933700

Microfluidics-based biochips combine electronics with biology to open new application areas such as point-of-care medical diagnostics, on-chip DNA analysis, and automated drug discovery. Bioassays are mapped to microfluidic arrays using synthesis tools, and they are executed through the manipulation of sample and reagent droplets by electrical means. Most prior work on CAD for biochips has assumed independent control of electrodes using a large number of (electrical) input pins. Such solutions are not feasible for low-cost disposable biochips that are envisaged for many field applications. A more promising design strategy is to divide the microfluidic array into smaller partitions and use a small number of electrodes to control the electrodes in each partition. We propose a partitioning algorithm based on the concept of "droplet trace", which is extracted from the scheduling and droplet routing results produced by a synthesis tool. An efficient pin assignment method, referred to as the "Connect-5 algorithm", is combined with the array partitioning technique based on droplet traces. the array partitioning and pin assignment methods are evaluated using a set of multiplexed bioassays. © Copyright 2006 ACM.

关键词： Biochips

来源：评论

学校读者我要写书评

暂无评论

Enhanced Facilitated Application Specification Techniques (eFAST)

Enhanced Facilitated Application Specification Techniques (e...

引用

International conference on computer and Information Science (ACIS)

作者： K. Dad A.N. Jamil Department of Computer Science COMSATS Institute of Information Technology Pakistan

this paper is a unique approach to customer and developer interaction and bringing in a more friendly way of communication between them to gather the requirements more efficiently. this way benefits like requirement analysis, scope of the project, objective of the project and detection of errors in the project offering the greatest potential for improving requirements quality and avoiding cost overruns in the development of software systems, both for the customer(s) and the developers. We have proposed a number of extra features for the traditional FAST (facilitated application specification techniques), providing more benefits to both the parties than it is doing now. In our approach we have defined what the facilitator (the one who is responsible for conducting meetings between the two parties i.e. the customer and the developer) should really do and specifically who should it be, more over certain terms that can come in front in FAST meetings are looked upon and that how can one be careful about them, keeping things straight and simple between both the parties. Moreover verification and validation is provided in all the early stages of the software development, being discussed in every FAST meeting and monitored by the facilitator. this paper basically shows way of improving the software quality right from the beginning of the project to the end product

关键词： Application software Teamwork software systems Programming software quality software engineering computer science Information technology Cost benefit analysis Monitoring

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 389 390 391 392 393 394 395 396 397 398 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：