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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

2,053 篇 工学
- 1,947 篇 计算机科学与技术...
- 1,558 篇 软件工程
- 186 篇 控制科学与工程
- 160 篇 信息与通信工程
- 113 篇 电气工程
- 84 篇 生物工程
- 61 篇 电子科学与技术（可...
- 59 篇 机械工程
- 53 篇 生物医学工程（可授...
- 50 篇 建筑学
- 48 篇 光学工程
- 43 篇 土木工程
- 41 篇 仪器科学与技术
- 24 篇 航空宇航科学与技...
- 23 篇 力学（可授工学、理...
- 23 篇 化学工程与技术
- 22 篇 材料科学与工程（可...
391 篇 理学
- 166 篇 数学
- 147 篇 物理学
- 95 篇 生物学
- 25 篇 统计学（可授理学、...
- 24 篇 系统科学
260 篇 管理学
- 142 篇 管理科学与工程(可...
- 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
18 篇 tangible user in...
17 篇 tangible user in...

机构

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,506 篇 英文
59 篇 其他
3 篇 葡萄牙文
2 篇 中文
1 篇 土耳其文

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

共 2571 条记录，以下是1041-1050 订阅

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

详细简洁

排序：

KScript and KSWorld: A TIME-aware and mostly declarative language And interactive gui framework

KScript and KSWorld: A TIME-aware and mostly declarative lan...

引用

12th acm International symposium on New Ideas, New Paradigms, and Reflections on Programming and software, Onward! 2013

作者： Ohshima, Yoshiki Lunzer, Aran Freudenberg, Bert Kaehler, Ted Viewpoints Research Institute Japan

ISBN: (纸本)9781450324724

We report on a language called KScript and a GUI framework called KSWorld. The goal of KScript and KSWorld is to try to reduce the accidental complexity in GUI framework code and application building. We aim for an understandable, concise way to specify an application's behavior and appearance, minimizing extra details that arise only because of the medium being used. KScript is a dynamic language based on the declarative and time-aware dataflow-style execution model of Functional Reactive Programming (FRP), extended with support for loose coupling among program elements and a high degree of program reconfigurability. KSWorld is built using KScript. The fields, or slots, of graphical widgets in KSWorld are reactive variables. Definitions of such variables can be added or modified in a localized manner, allowing on-the-fly customization of the visual and behavioral aspects of widgets and entire applications. Thus the KSWorld environment supports exploratory application building: A user constructs the appearance interactively with direct manipulation, then attaches and refines reactive variable definitions to achieve the desired overall behavior. We illustrate our use of KSWorld to build an editor for general graphical documents, including dynamic documents that serve as active essays. The graphical building blocks for documents are the same as those used for building the editor itself, enabling a bootstrapping process in which the earliest working version of the editor can be used to create further components for its own interface. As one way of measuring progress on our complexity goal, we provide an overview of the number of lines of code in KSWorld. The total for the KScript compiler, the FRP evaluator, the framework, document model and document editor is currently around 10,000 lines. Copyright © 2013 acm.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

Sustainable automated software deployment practices 13

Sustainable automated software deployment practices

引用

50th acm Annual Conference on Special Interest Group on University and College Computing Services, SIGUCCS 2013

作者： Herrick, Dan R. Tyndall, John B. Colorado State University Engineering Network Services Fort Collins CO 80523-1301 United States Pennsylvania State University Information Technology Services University Park PA 16802 United States

ISBN: (纸本)9781450323185

Many organizations follow the same error-prone, time-consuming, and redundant procedures to install software manually, whether as part of a master image or on individual computers. Usually this involves visiting a system, executing some sort of interface, selecting a subset of modules or configuring certain options, and waiting for the installer to complete. There is another way: automated software deployment, which affords greater efficiency, consistency, and ultimately, service. This paper discusses the organization and detailed implementation of automating software installations and updates using silent and unattended methods, with various levels of administrative intervention, from help desk to systems administrator. We also describe different approaches to creating such an environment for both "mass" devices (e.g., public computer lab systems) and individual devices (e.g., faculty/staff desktop systems). Key concepts include leveraging management software and resources you may already have (i.e., the "zero budget" approach) versus efficiency gains from third-party resources, high-level administrative toolkits along with low-level control methods, and developing a workflow for automated and semi-automated software installations. Copyright is held by the owner/author(s).

关键词： Efficiency

来源：评论

学校读者我要写书评

暂无评论

F3: Fault localization for field failures 2013

F3: Fault localization for field failures

引用

22nd International symposium on software Testing and Analysis, ISSTA 2013

作者： Jin, Wei Orso, Alessandro Georgia Institute of Technology United States

ISBN: (纸本)9781450321594

Reproducing and debugging field failures - failures that occur on user machines after release - are challenging tasks for developers. To help the first task, in previous work we have proposed BugRedux, a technique for reproducing, in-house, failures observed in the field. Although BugRedux can help developers reproduce field failures, it does not provide any specific support for debugging such failures. To address this limitation, in this paper we present F3, a novel technique that builds on BugRedux and extends it with support for fault localization. Specifically, in F3 we extend our previous technique in two main ways: first, we modify BugRedux so that it generates multiple failing and passing executions "similar" to the observed field failure;second, we add to BugRedux debugging capabilities by combining it with a customized fault-localization technique. The results of our empirical evaluation, performed on a set of real-world programs and field failures, are promising: for all the failures considered, F3 was able to (1) synthesize passing and failing executions and (2) successfully use the synthesized executions to perform fault localization and, ultimately, help debugging. © 2013 acm.

关键词： Program debugging

来源：评论

学校读者我要写书评

暂无评论

A spatial keyword evaluation framework for network-based spatial queries 13

A spatial keyword evaluation framework for network-based spa...

引用

21st acm SIGSPATIAL International Conference on Advances in Geographic Information Systems, acm SIGSPATIAL GIS 2013

作者： Zhang, Ji Ku, Wei-Shinn Jiang, Xunfei Qin, Xiao Dept. of Computer Science and Software Engineering Auburn University Auburn AL 36849 United States

ISBN: (纸本)9781450325219

An increasing number of spatial keyword query techniques that return qualified objects based on a comprehensive consideration of spatial and keyword constraints have been presented in the literature. Due to the complexity of the solutions to spatial keyword queries, systems that can effectively demonstrate the mechanisms will attract interest from the spatial database research community. However, very limited visualization systems have been developed for illustrating spatial keyword query evaluation. In this demonstration, we present a system that visualizes advanced solutions to efficiently answer the Spatial Keyword k Nearest Neighbor (SKkNN) query. With the two-level data management method and the friendly user interface implemented by the Standard Widget Toolkit (SWT) and Open Graphics Library (OpenGL), our system is able to not only interact with users in diverse manners, visualize datasets, and display the SKkNN query evaluation process, but it also helps users better understand the solutions in a more intuitive way. © 2013 Authors.

关键词： Location based services

来源：评论

学校读者我要写书评

暂无评论

Flexible navigation in smartphones and tablets using scalable storyboards 13

Flexible navigation in smartphones and tablets using scalabl...

引用

3rd acm International Conference on Multimedia Retrieval, ICMR 2013

作者： Zheng, Shuai Herranz, Luis Jiang, Shuqiang Key Lab. of Intelligent Information Processing Chinese Academy of Sciences Beijing 100190 China Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China School of Software Engineering Beijing Jiaotong University Beijing 100044 China

ISBN: (纸本)9781450320337

In this demo paper we present a multiscale browsing interface for handheld devices, in which the user can interactively change the scale of the storyboard to easily adjust the amount of information desired. Conventional and hierarchical storyboards provide one or very few possible lengths. In contrast, scalable storyboards allow the number of images and the storyboard itself to be adapted to the device constraints (e.g. aspect ratio, resolution) and navigation state with much finer granularity. Several levels and modes, including segment of interest, are provided for more intuitive and convenient navigation. © 2013 Authors.

关键词： Aspect ratio

来源：评论

学校读者我要写书评

暂无评论

DroidAlarm: An all-sided static analysis tool for Android privilege-escalation malware 13

DroidAlarm: An all-sided static analysis tool for Android pr...

引用

8th acm SIGSAC symposium on Information, Computer and Communications Security, ASIA CCS 2013

作者： Zhongyang, Yibing Xin, Zhi Mao, Bing Xie, Li State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing China

ISBN: (纸本)9781450317672

Since smartphones have stored diverse sensitive privacy information, including credit card and so on, a great deal of malware are desired to tamper them. As one of the most prevalent platforms, Android contains sensitive resources that can only be accessed via corresponding APIs, and the APIs can be invoked only when user has authorized permissions in the Android permission model. However, a novel threat called privilege escalation attack may bypass this watchdog. It's presented as that an application with less permissions can access sensitive resources through public interfaces of a more privileged application, which is especially useful for malware to hide sensitive functions by dispersing them into multiple programs. We explore privilege-escalation malware evolution techniques on samples from Android Malware Genome Project. And they have showed great effectiveness against a set of powerful antivirus tools provided by VirusTotal. The detection ratios present different and distinguished reduction, compared to an average 61% detection ratio before transformation. In order to conquer this threat model, we have developed a tool called DroidAlarm to conduct a full-spectrum analysis for identifying potential capability leaks and present concrete capability leak paths by static analysis on Android applications. And we can still alarm all these cases by exposing capability leak paths in them. © 2013 acm.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Graphic toolkit for adaptive layouts in in-vehicle user interfaces 13

Graphic toolkit for adaptive layouts in in-vehicle user inte...

引用

5th International Conference on Automotive user interfaces and Interactive Vehicular Applications, AutomotiveUI 2013

作者： Häuslschmid, Renate Bengler, Klaus Olaverri-Monreal, Cristina Technische Universität München Department of Informatics Boltzmannstr. 3 Garching bei München Germany Technische Universität München Institute of Ergonomics Boltzmannstr. 15 Garching bei München Germany

ISBN: (纸本)9781450324786

Currently, the processes used by many car manufacturers to adapt information from the head unit to the intended display platform are outdated and extremely cumbersome. The individual graphic elements are not designed for use in different contexts and many steps must be done manually to achieve a proper in-vehicle information visualization. Additionally, the amount of data that must be maintained is extremely large, resulting in strong restrictions in the variability of appearance and displayed information. An additional challenge is that multiple car brands belong to the same main company with each brand having a separate identity. Therefore, the graphical user interface (GUI) elements require resizing and recomposition which then reflects the brand's heterogeneous characteristics. To overcome these drawbacks we present a software solution to create and edit flexible, in-vehicle GUIs through reusable elements or widgets that adjust their size and composition to their environmental context in a dynamic and automatic manner. We have examined the quality of the tool through validation rules for each step and proposed calculation algorithms as a possible approach for a largely automated evaluation. © 2013 acm.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

Heterogeneous device interaction using an IPv6 enabled service-oriented architecture for building automation systems 13

Heterogeneous device interaction using an IPv6 enabled servi...

引用

28th Annual acm symposium on Applied Computing, SAC 2013

作者： Jung, Markus Weidinger, Jürgen Kastner, Wolfgang Olivieri, Alex Institute of Computer Aided Automation Vienna University of Technology Treitlstrasse 1-3 1040 Vienna Austria Institut Informatique de Gestion Haute Ecole Spécialisée de Suisse Occidentale Techno-Pôle 3 3960 Sierre Switzerland

ISBN: (纸本)9781450316569

Recent research and standardization in the domain of the Internet of Things aims at providing IPv6 and Web services on the most constrained devices. The constrained application protocol (CoAP) allows the deployment of RESTful Web services on limited devices by offering a protocol similar to HTTP that uses UDP as transport layer instead of TCP. This enables more efficient communication if non-reliable, asynchronous or group communication is required. Existing and mature home and building automation technologies like KNX, BACnet or ZigBee are based on non-IP communication and define a complete custom protocol stack. State of the art integration approaches usually offer a centralized Web service interface based on oBIX, OPC UA or BAC-net/WS based on SOAP or RESTful Web services. This paper presents the concept of a gateway that allows the integration of building automation systems into constrained RESTful environments by an IPv6 per-device interface based on oBIX using a novel constrained application protocol binding with efficient XML interchange message encoding. This integration approach provides a service-oriented architecture with uniform interfaces for control scenarios that span heterogeneous technologies. The evaluation results show the efficiency of novel protocol bindings compared to state of the art protocol bindings and message encodings. Performance evaluation results prove that even interactive user control scenarios can be based on these Web service interfaces. Copyright 2013 acm.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

Using automated program repair for evaluating the effectiveness of fault localization techniques 2013

Using automated program repair for evaluating the effectiven...

引用

22nd International symposium on software Testing and Analysis, ISSTA 2013

作者： Qi, Yuhua Mao, Xiaoguang Lei, Yan Wang, Chengsong School of Computer National University of Defense Technology Changsha China

ISBN: (纸本)9781450321594

Many techniques on automated fault localization (AFL) have been introduced to assist developers in debugging. Prior studies evaluate the localization technique from the viewpoint of developers: measuring how many benefits that developers can obtain from the localization technique used when debugging. However, these evaluation approaches are not always suitable, because it is difficult to quantify precisely the benefits due to the complex debugging behaviors of developers. In addition, recent user studies have presented that developers working with AFL do not correct the defects more efficiently than ones working with only traditional debugging techniques such as breakpoints, even when the effectiveness of AFL is artificially improved. In this paper we attempt to propose a new research direction of developing AFL techniques from the viewpoint of fully automated debugging including the program repair of automation, for which the activity of AFL is necessary. We also introduce the NCP score as the evaluation measurement to assess and compare various techniques from this perspective. Our experiment on 15 popular AFL techniques with 11 subject programs shipping with real-life field failures presents the evidence that these AFL techniques performing well in prior studies do not have better localization effectiveness according to NCP score. We also observe that Jaccard has the better performance over other techniques in our experiment. © 2013 acm.

关键词： Repair

来源：评论

学校读者我要写书评

暂无评论

A formal approach for the specification of digital complex objects 13

A formal approach for the specification of digital complex o...

引用

19th Brazilian symposium on Multimedia and the Web, WebMedia 2013

作者： Toffoli, Ticiana Oniki Kozievitch, Nádia Puchalski Gonçalves, Marcos André Torres, Ricardo Da Silva Institute of Computing University of Campinas Campinas SP Brazil Department of Computer Science Federal University of Technology Curitiba PR Brazil Department of Computer Science Federal University of Minas Gerais Belo Horizonte Brazil

ISBN: (纸本)9781450325592

Complex objects (COs) have surged as a way to integrate different digital resources under a same logical unit in order to facilitate aggregation and reuse. However, there is still a lack of consensus on precise theoretical foundations for COs, especially regarding design and specification, which compromise their utility and integration with existing software tools. Moreover, there has been little investigation on aspects related to the modeling of COs by the end user, much due to the lack of appropriate tools for this goal. In this work, we present a new Digital Library (DL) metamodel specially designed for the CO modeling which is grounded in formal theoretical specification for COs. More specifically, our goal is two-fold: (i) to indirectly validate our CO formalization by instantiating it within a DL modeling tool - 5SGraph;and (ii) to investigate the difficulties of CO modeling and specification by real users using the specified metamodel. Experiments with real users indicate that the use of the metamodel and the graphical tool facilitates the understanding of the COs structure and the modeling process. © 2013 acm.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共258页 << < 101 102 103 104 105 106 107 108 109 110 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：