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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,534 篇 会议
33 篇 期刊文献
2 册 图书

馆藏范围

2,569 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,052 篇 工学
- 1,946 篇 计算机科学与技术...
- 1,558 篇 软件工程
- 186 篇 控制科学与工程
- 160 篇 信息与通信工程
- 113 篇 电气工程
- 84 篇 生物工程
- 61 篇 电子科学与技术（可...
- 59 篇 机械工程
- 53 篇 生物医学工程（可授...
- 50 篇 建筑学
- 48 篇 光学工程
- 43 篇 土木工程
- 41 篇 仪器科学与技术
- 24 篇 航空宇航科学与技...
- 23 篇 力学（可授工学、理...
- 23 篇 化学工程与技术
- 22 篇 材料科学与工程（可...
391 篇 理学
- 166 篇 数学
- 147 篇 物理学
- 95 篇 生物学
- 25 篇 统计学（可授理学、...
- 24 篇 系统科学
259 篇 管理学
- 141 篇 管理科学与工程(可...
- 127 篇 图书情报与档案管...
- 78 篇 工商管理
59 篇 医学
- 57 篇 临床医学
- 23 篇 基础医学(可授医学...
39 篇 法学
- 37 篇 社会学
38 篇 教育学
- 37 篇 教育学
21 篇 经济学
- 21 篇 应用经济学
6 篇 农学
2 篇 文学
2 篇 军事学
1 篇 艺术学

主题

370 篇 user interfaces
153 篇 virtual reality
135 篇 graphical user i...
80 篇 augmented realit...
48 篇 application soft...
48 篇 user interface
35 篇 visualization
34 篇 software enginee...
27 篇 human computer i...
25 篇 software design
24 篇 hardware
21 篇 computer softwar...
21 篇 haptics
20 篇 user interface d...
20 篇 software testing
20 篇 animation
19 篇 accessibility
18 篇 computer science
17 篇 tangible user in...
17 篇 computer archite...

机构

15 篇 carnegie mellon ...
12 篇 chinese acad sci...
11 篇 mit media lab ca...
11 篇 univ tokyo
10 篇 tsinghua univ pe...
10 篇 stanford univ st...
9 篇 univ michigan an...
9 篇 massachusetts in...
9 篇 univ calif berke...
8 篇 univ toronto on
8 篇 university of to...
8 篇 univ maryland co...
7 篇 georgia inst of ...
7 篇 microsoft res re...
7 篇 department of co...
7 篇 natl taiwan univ...
7 篇 georgia institut...
7 篇 univ calif san d...
7 篇 univ washington ...
6 篇 univ chinese aca...

作者

19 篇 hudson scott e.
18 篇 igarashi takeo
15 篇 grossman tovi
14 篇 kitamura yoshifu...
12 篇 fitzmaurice geor...
12 篇 myers brad a.
12 篇 han teng
10 篇 ishii hiroshi
10 篇 follmer sean
9 篇 nakagaki ken
9 篇 shi yuanchun
9 篇 orso alessandro
8 篇 stuerzlinger wol...
8 篇 takashima kazuki
8 篇 xing zhenchang
8 篇 abowd gregory d.
8 篇 landay james a.
8 篇 rekimoto jun
8 篇 chen chunyang
8 篇 tian feng

语言

2,483 篇 英文
80 篇 其他
3 篇 葡萄牙文
2 篇 中文
1 篇 土耳其文

检索条件"任意字段=Proceedings of the ACM Symposium on User Interface Software and Technology"

共 2569 条记录，以下是1251-1260 订阅

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

详细简洁

排序：

Model based approach to assist test case creation, execution, and maintenance for test automation

Model based approach to assist test case creation, execution...

引用

1st International Workshop on End-to-End Test Script Engineering, ETSE 2011, Co-located with the 2011 International symposium on software Testing and Analysis

作者： Gupta, Priya Surve, Prafullakumar Tata Research Development and Design Center Software Engineering Lab 54 B Industrial Estate Pune 411013 India

ISBN: (纸本)9781450308083

Applications, once developed, need to be maintained and tested as they undergo frequent changes. Test automation plays a significant role in testing activity, as it saves time and provides better utilization of resources. Test automation itself comes with many challenges such as mapping of user specifications to test-cases, test-case generation, maintenance of test-cases and test-scripts. In this paper, we propose a model-driven approach for test automation to provide end-to-end assistance in test case generation and automation, with focus on re-usability and maintainability. Functional specifications of system are mapped to test-cases for traceability which ensures better test automation process. Functional specifications of system are used as an input to design process models, which are used for automatic generation of test-cases. Process models consist of flows of different tasks in specified sequence. By recording the individual tasks, test-scripts for all the test-cases are generated. The test-cases and test-scripts can be modified and maintained using user friendly user-interface (UI) to provide better control to test designer and ease the load of tester. In this paper, we also present a case study performed on JBilling application [18] to evaluate our approach. Copyright 2011 acm.

关键词： user interfaces

来源：评论

学校读者我要写书评

暂无评论

LegUp: High-level synthesis for FPGA-based processor/accelerator systems 11

LegUp: High-level synthesis for FPGA-based processor/acceler...

引用

proceedings of the 19th acm/SIGDA international symposium on Field programmable gate arrays

作者： Canis, Andrew Choi, Jongsok Aldham, Mark Zhang, Victor Kammoona, Ahmed Anderson, Jason H. Brown, Stephen Czajkowski, Tomasz ECE Department University of Toronto Toronto ON Canada Altera Toronto Technology Centre Altera Corp. Toronto ON Canada

ISBN: (纸本)9781450305549

In this paper, we introduce a new open source high-level synthesis tool called LegUp that allows software techniques to be used for hardware design. LegUp accepts a standard C program as input and automatically compiles the program to a hybrid architecture containing an FPGA-based MIPS soft processor and custom hardware accelerators that communicate through a standard bus interface. Results show that the tool produces hardware solutions of comparable quality to a commercial high-level synthesis tool. Copyright 2011 acm.

关键词： High level synthesis

来源：评论

学校读者我要写书评

暂无评论

Systematic simplicity-accuracy tradeoffs in parameterised contract models 11

Systematic simplicity-accuracy tradeoffs in parameterised co...

引用

proceedings of the joint acm SIGSOFT conference -- QoSA and acm SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS

作者： Peake, Ian D. Schmidt, Heinz W. School of Computer Science and Information Technology RMIT University Melbourne VIC Australia

ISBN: (纸本)9781450307246

Contract models underlying architecture-level verification methods must suit a range of different accuracy vs analytical complexity tradeoffs depending on domain. For example, trustworthiness in safety-critical systems is enabled by representational simplicity leading to comprehensible proofs while real-time systems require precise characterisation of execution time. A family of mutually-compatible parameterised contract models enabling such tradeoffs is needed, supporting reasoning about consistency and conformance (replaceability) which is bidirectional (from requirements to provisions and vice versa) and parametric (context-sensitive). This paper proposes a framework for such a family. The framework extends a previous formalisation of parameterised contracts. It provides more general notions of conformance, bidirectional reasoning and parameterisation, suitable for compositional architectural analyses of software products and product lines, for which software architects do not only need checking but scope for restricting or enriching service and interface contracts in predictable and compositional ways. The family of mechanisms presented here covers a range of levels of expressiveness, spanning the established four levels of component contracts, and is worked out in detail with examples for two common existing representations - tables and finite automata. © 2011 acm.

关键词： software architecture

来源：评论

学校读者我要写书评

暂无评论

Tech-care: Designing remote-controlled interfaces for communication and interaction within Chinese family 11

Tech-care: Designing remote-controlled interfaces for commun...

引用

2011 Conference on Designing Pleasurable Products and interfaces, DPPI 2011

作者： Li, Xin Zhang, Xia Fu, Zhiyong Department of Computer Science and Technology Tsinghua University Beijing China School of Journalism and Communication Tsinghua University Beijing China Department of Information Art and Design Tsinghua University Beijing China

ISBN: (纸本)9781450312806

In this paper, we design a remote-controlled interface of a cross-platform system, called Tech-care, for enhancing the communication and interaction, which is to express tangible care remotely, within Chinese family by combining available products. With the rapid expansion of modern technologies, such as social network, mobile phone and other cyber communication tools, there is less human touch in the daily life, especially when people are in different places. Focused on the Chinese family structure, we design the system to create communication and interaction between the children, elders at home and adults outside with tangible interface. The system combines several software and hardware accessible products, which are gotten easily in market as well as our design applied broadly, as user requirement dynamically and individually. We should design the interface, in both visual and functional levels, to connect the software and hardware products, and integrate them into a new cross-platform product, Tech-care, which is shown as a household avatar of the outside user. The adults can place the avatar, which is able to move and hold, at home beforehand. When they are being on the way for and back from work or in the break time, the avatar can be remote-controlled through the interface to create care expression, such as delivering a mobile internet device for video chat, a gift for surprise or medicine on time. The system enhances the communication and interaction out of the limit of distance, and maintains intimacy. The process of the care expression is not intelligent, but controlled by the user far away directly, which is to show the human touch. The care is not from an electrical machine icily, but from the human being who loves you warmly. © 2011 acm.

关键词： Remote control

来源：评论

学校读者我要写书评

暂无评论

Image segmentation of cervical vertebra in X-ray radiographs using the curve fitting strategy 11

Image segmentation of cervical vertebra in X-ray radiographs...

引用

proceedings of the 2011 acm symposium on Applied Computing

作者： Hu, Huaifei Liu, Hong Chen, Lili Hung, Chih-Cheng Xu, Xiangyang Lan, Zhicong School of Computer Science Huazhong University of Science and Technology Wuhan China Department of Stomatology Huazhong University of Science and Technology Wuhan China School of Computing and Software Engineering Southern Polytechnic State University Marietta GA 30060 United States

ISBN: (纸本)9781450301138

We develop an effective method for the study of cervical vertebra maturation (CVM) for bone age evaluation. Such studies need an accurate X-ray radiographs segmentation of cervical vertebra. It is difficult to have a good segmentation on this type of images. Current segmentation methods do not work well on scanned images from analog image X-ray radiographs of cervical vertebra. A new method for analysis of cervical bone age is proposed. Two key techniques are developed in this proposed segmentation algorithm: (1) a fitting weight matrix is built to reduce the effect of subjective factors entered by the user when fast marching method is used to obtain the initial rough outline of cervical vertebra, and (2) apply a curve fitting method based on rotating and overlapping parabolic curves to derive the final segments of cervical vertebra. Furthermore, the user can calculate corresponding parameters from segmented results to assess the bone age. Experimental results using the proposed algorithm show that our algorithm is more accurate than those of fast marching method (FMM) and radiologists through repetition. It also shows that the proposed method has a higher accuracy on the correlation of the skeletal maturity indicators (SMI) and quantitative cervical vertebral maturation (QCVM). © 2011 acm.

关键词： Computer aided diagnosis

来源：评论

学校读者我要写书评

暂无评论

Human interface and the Management of Information: Interacting with Information - symposium on Human interface 2011, Held as Part of HCI International 2011, proceedings

Human Interface and the Management of Information: Interacti...

引用

Human interface and the Management of Information: Interacting with Information - symposium on Human interface 2011, Held as Part of HCI International 2011

ISBN: (纸本)9783642216688

The proceedings contain 137 papers. The topics discussed include: visual programming of location-based services;connecting envisioning process to user interface design process;a human interface toolkit for developing operation support system of complex industrial systems with IVI-COM technology;a conceptual model of the axiomatic usability evaluation method;representation of decision making process in music composition based on hypernetwork model;multivariate data visualization: a review from the perception aspect;modelling social cognitive theory to explain software piracy intention;ERACLE: electromyography system for gesture interaction;proposal of the Kawaii search system based on the first sight of impression;from personal to collaborative information management: a design science's approach;designing web sites and interfaces to optimize successful user interactions: symposium overview;service science method to create pictograms referring to sign languages;and the effects visual feedback on social behavior during decision making meetings.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Human interface and the Management of Information: Interacting with Information - symposium on Human interface 2011, Held as Part of HCI International 2011, proceedings

Human Interface and the Management of Information: Interacti...

引用

Human interface and the Management of Information: Interacting with Information - symposium on Human interface 2011, Held as Part of HCI International 2011

ISBN: (纸本)9783642217920

关键词：

来源：评论

学校读者我要写书评

暂无评论

Sydit: Creating and applying a program transformation from an example

Sydit: Creating and applying a program transformation from a...

引用

19th acm SIGSOFT symposium on Foundations of software Engineering, SIGSOFT/FSE'11

作者： Meng, Na Kim, Miryung McKinley, Kathryn S. University of Texas at Austin Austin TX United States Microsoft Research Seattle WA United States

ISBN: (纸本)9781450304436

Bug fixes and feature additions to large code bases often require systematic edits-similar, but not identical, coordinated changes to multiple places. This process is tedious and error-prone. Our prior work introduces a systematic editing approach that creates generalized edit scripts from exemplar edits and applies them to user-selected targets. This paper describes how the Sydit plug-in integrates our technology into the Eclipse integrated development environment. A programmer provides an example edit to Sydit that consists of an old and new version of a changed method. Based on this one example, Sydit generates a context-aware, abstract edit script. To make transformations applicable to similar but not identical methods, Sydit encodes control, data, and containment dependences and abstracts position, type, method, and variable names. Then the programmer selects target methods and Sydit customizes the edit script to each target and displays the results for the programmer to review and approve. Sydit thus automates much of the systematic editing process. To fully automate systematic editing, future tool enhancements should include automated selection of targets and testing of Sydit generated edits. © 2011 acm.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

Join point interfaces for modular reasoning in aspect-oriented programs

Join point interfaces for modular reasoning in aspect-orient...

引用

19th acm SIGSOFT symposium on Foundations of software Engineering, SIGSOFT/FSE'11

作者： Inostroza, Milton Tanter, Éric Bodden, Eric University of Chile Santiago Chile Software Technology Group Center for Advanced Security Research Technische Universität Darmstadt Darmstadt Chile

ISBN: (纸本)9781450304436

While aspect-oriented programming supports the modular definition of crosscutting concerns, most approaches to aspect- oriented programming fail to improve, or even preserve, modular reasoning. The main problem is that aspects usually carry, through their pointcuts, explicit references to the base code. These dependencies make programs fragile. Changes in the base code can unwittingly break a pointcut definition, rendering the aspect ineffective or causing spurious matches. Conversely, a change in a pointcut definition may cause parts of the base code to be advised without notice. Therefore separate development of aspect-oriented programs is largely compromised, which in turns seriously hinders the adoption of aspect-oriented programming by practitioners. We propose to separate base code and aspects using Join Point interfaces, which are contracts between aspects and base code. Base code can define pointcuts that expose selected join points through a Join Point interface. Conversely, an aspect can offer to advise join points that provide a given Join Point interface. Crucially, however, aspect themselves cannot contain pointcuts, and hence cannot refer to base code elements. In addition, because a given join point can provide several Join Point interfaces, and Join Point interfaces can be organized in a subtype hierarchy, our approach supports join point polymorphism. We describe a novel advice dispatch mechanism that offers a flexible and type-safe approach to aspect reuse. © 2011 acm.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

ROAuth: Recommendation based open authorization 11

ROAuth: Recommendation based open authorization

引用

7th symposium on Usable Privacy and Security, SOUPS 2011

作者： Shehab, Mohamed Marouf, Said Hudel, Christopher Department of Software and Information Systems University of North Carolina Charlotte NC United States

ISBN: (纸本)9781450309110

Many major online platforms such as Facebook, Google, and Twitter, provide an open Application Programming interface which allows third party applications to access user resources. The Open Authorization protocol (OAuth) was introduced as a secure and efficient method for authorizing third party applications without releasing a user's access credentials. However, OAuth implementations don't provide the necessary fine-grained access control, nor any recommendations vis-a-vis which access control decisions are most appropriate. We propose an extension to the OAuth 2.0 authorization that enables the provisioning of fine-grained authorization recommendations to users when granting permissions to third party applications. We propose a mechanism that computes permission ratings based on a multi-criteria recommendation model which utilizes previous user decisions, and application requests to enhance the privacy of the overall site's user population. We implemented our proposed OAuth extension as a browser extension that allows users to easily configure their privacy settings at application installation time, provides recommendations on requested privacy attributes, and collects data regarding user decisions. Experiments on the collected data indicate that the proposed framework efficiently enhanced the user awareness and privacy related to third party application authorizations. © 2011 acm.

关键词： Authorization

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共257页 << < 122 123 124 125 126 127 128 129 130 131 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：