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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

220 篇 会议
4 篇 期刊文献
2 册 图书

馆藏范围

226 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

193 篇 工学
- 183 篇 计算机科学与技术...
- 137 篇 软件工程
- 24 篇 信息与通信工程
- 19 篇 控制科学与工程
- 15 篇 生物工程
- 8 篇 生物医学工程（可授...
- 7 篇 网络空间安全
- 6 篇 电气工程
- 5 篇 电子科学与技术（可...
- 4 篇 机械工程
- 3 篇 光学工程
- 3 篇 仪器科学与技术
- 3 篇 化学工程与技术
- 3 篇 安全科学与工程
- 2 篇 力学（可授工学、理...
- 2 篇 土木工程
45 篇 理学
- 20 篇 数学
- 17 篇 生物学
- 7 篇 系统科学
- 5 篇 物理学
- 4 篇 化学
- 4 篇 统计学（可授理学、...
19 篇 管理学
- 10 篇 管理科学与工程(可...
- 10 篇 图书情报与档案管...
- 7 篇 工商管理
6 篇 医学
- 6 篇 临床医学
- 5 篇 基础医学(可授医学...
- 5 篇 药学(可授医学、理...
5 篇 教育学
- 5 篇 教育学
4 篇 法学
- 4 篇 社会学
1 篇 经济学
1 篇 农学

主题

10 篇 user interfaces
7 篇 software enginee...
6 篇 model-driven eng...
5 篇 concurrent compu...
5 篇 interactive syst...
5 篇 ubiquitous compu...
4 篇 human computer i...
4 篇 visualization
4 篇 graphical user i...
3 篇 interactive comp...
3 篇 adaptation
3 篇 parallel process...
3 篇 mixed reality
3 篇 application soft...
3 篇 automation
3 篇 image segmentati...
3 篇 design
3 篇 semantics
3 篇 user experience
3 篇 task models

机构

3 篇 catholic univ lo...
2 篇 university of ka...
2 篇 univ cagliari di...
2 篇 univ madeira mad...
2 篇 department of co...
2 篇 67663 kaiserslau...
2 篇 tech univ darmst...
2 篇 university of ro...
2 篇 play and interac...
2 篇 university of ka...
2 篇 univ madeira fun...
2 篇 carnegie mellon ...
2 篇 univ minho dept ...
2 篇 inst politecn ca...
2 篇 univ paul sabati...
2 篇 hasselt universi...
2 篇 faculty of compu...
2 篇 tu berlin dai la...
1 篇 division of inte...
1 篇 quality and usab...

作者

8 篇 luyten kris
7 篇 coninx karin
6 篇 palanque philipp...
6 篇 forbrig peter
5 篇 vanderdonckt jea...
5 篇 van den bergh ja...
4 篇 seffah ahmed
4 篇 meixner gerrit
4 篇 spano lucio davi...
3 篇 navarre david
3 篇 breiner kai
3 篇 markopoulos pano...
3 篇 seissler marc
3 篇 calvary gaelle
3 篇 thimbleby harold
3 篇 signer beat
3 篇 nigay laurence
3 篇 campos jose crei...
2 篇 dupuy-chessa sop...
2 篇 schnelle-walka d...

语言

223 篇 英文
1 篇 葡萄牙文
1 篇 其他
1 篇 中文

检索条件"任意字段=2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems"

共 226 条记录，以下是31-40 订阅

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

详细简洁

排序：

IVY 2-A model-based analysis tool 19

IVY 2-A model-based analysis tool

引用

11th acm sigchi symposium on engineering interactive computing systems (EICS)

作者： Couto, Rui Campos, Jose Creissac Univ Minho Dept Informat Braga Portugal INESC TEC HASLab Braga Portugal

ISBN: (纸本)9781450367455

The IVY workbench is a model-based tool that supports the formal verification of interactive computing systems. It adopts a plugin-based architecture to support a flexible development model. Over the years the chosen architectural solution revealed a number of limitations, resulting both from technological deprecation of some of the adopted solutions and a better understanding of the verification process to support. This paper presents the redesign and implementation of the original plugin infrastructure, originating a new version of the tool: IVY 2. It describes the limitations of the original solutions and the new architecture, which resorts to the Java module system in order to solve them.

关键词： Model-based design and analysis interactive systems formal verification model checking tool support

来源：评论

学校读者我要写书评

暂无评论

Xplain: An editor for building Self-Explanatory User Interfaces by model-driven engineering

Xplain: An editor for building Self-Explanatory User Interfa...

引用

2nd acm sigchi symposium on engineering interactive computing systems, EICS'10

作者： Frey, Alfonso García Calvary, Gaëlle Dupuy-Chessa, Sophie University of Grenoble CNRS LIG 385 Avenue de la Bibliothèque 38400 Saint-Martin d'Hères France

ISBN: (纸本)9781450300834

Modern User Interfaces (UI) must deal with the increasing complexity of applications in terms of functionality as well as new properties as plasticity. The plasticity of a UI denotes its capacity of adaptation to the context of use while preserving its quality. The efforts in plasticity have focused on the (meta) modeling of the UI, but the quality remains uncovered. This paper describes an on-going research that studies a method to develop Self-Explanatory User Interfaces as well as an editor that implements this method. Self-explanation makes reference to the capacity of a UI to provide the end-user with information about its rationale (which is the purpose of the UI), its design rationale (why is the UI structured into this set of workspaces?, what's the purpose of this button?), its current state (why is the menu disabled?) as well as the evolution of the state (how can I enable this feature?). Explanations are provided by embedded models. © 2010 acm.

关键词： User interfaces

来源：评论

学校读者我要写书评

暂无评论

PEICS: HCI patterns for the design of interactive systems 11

PEICS: HCI patterns for the design of interactive systems

引用

Proceedings of the 2nd International Workshop on Pattern-Driven engineering of interactive computing systems

作者： Seissler, Marc Meixner, Gerrit Seffah, Ahmed Breiner, Kai Forbrig, Peter Klöckner, Kerstin University of Kaiserslautern Center for Human-Machine-Interaction 67663 Kaiserslautern Germany 67663 Kaiserslautern Germany University of Troyes Institut Charles Delaunay 10010 Troyes Cedex France University of Kaiserslautern Software Engineering Research Group 67663 Kaiserslautern Germany University of Rostock Department of Computer Science 18051 Rostock Germany 67663 Kaiserslautern Germany

In this paper, we summarize the results of the Pattern Driven engineering of interactive computing systems (PEICS) which took place at the 3rd acm sigchi symposium on engineering interactive computing systems (EICS) 2... 详细信息

ISBN: (纸本)9781450308564

关键词： Ergonomics

来源：评论

学校读者我要写书评

暂无评论

pix2code: Generating Code from a Graphical User Interface Screenshot 18

pix2code: Generating Code from a Graphical User Interface Sc...

引用

10th acm sigchi symposium on engineering interactive computing systems (EICS)

作者： Beltramelli, Tony Uizard Technol Copenhagen Denmark

ISBN: (纸本)9781450358972

Transforming a graphical user interface screenshot created by a designer into computer code is a typical task conducted by a developer in order to build customized software, websites, and mobile applications. In this paper, we show that deep learning methods can be leveraged to train a model end-to-end to automatically reverse engineer user interfaces and generate code from a single input image with over 77% of accuracy for three different platforms (i.e. iOS, Android and web-based technologies).

关键词： User Interface Reverse engineering Automated Software engineering Deep Neural Networks

来源：评论

学校读者我要写书评

暂无评论

Tool-support for pattern-based generation of user interfaces 10

Tool-support for pattern-based generation of user interfaces

引用

1st International Workshop on Pattern-Driven engineering of interactive computing systems, PEICS '10, Organized at the 2nd acm sigchi symposium on engineering interactive computing systems, EICS '10

作者： Engel, Jürgen Märtin, Christian Forbrig, Peter University of Rostock Albert-Einstein-Strasse 21 18059 Rostock Germany Augsburg University of Applied Sciences Friedberger Straße 2a 86161 Augsburg Germany

ISBN: (纸本)9781450302463

This paper introduces the structural and functional architecture of a framework for pattern and model-based automated design of interactive systems. It discusses the various steps and the pattern and modeling resources used by the development process. The framework exploits a broader than usual view on software patterns and provides comprehensive tool support for designing generic and context-specific pattern languages containing pattern categories for all phases and abstraction levels of the life-cycle for the usage-centered design of user interfaces. © 2010 acm.

关键词： User interfaces

来源：评论

学校读者我要写书评

暂无评论

engineering interactive systems Embedding AI Technologies 15

Engineering Interactive Systems Embedding AI Technologies

引用

15th acm sigchi symposium on engineering interactive computing systems (EICS)

作者： Dix, Alan J. Mayer, Sven Palanque, Philippe Panizzi, Emanuele Spano, Lucio Davide Computat Foundry Swansea W Glam Wales Ludwig Maximilians Univ Munchen Munich Germany Univ Paul Sabatier Toulouse III ICS IRIT Toulouse France Sapienza Univ Rome Fac Informat Engn Informat & Stat Rome Italy Univ Cagliari Dipartimento Matemat & Informat Cagliari Italy

ISBN: (纸本)9798400702068

This workshop aims at bringing together researchers and practitioners interested in the engineering of interactive systems which embed AI technologies (as for instance, recommender systems engines). The objective is to identify (from experience reported by participants) methods, techniques, and tools to support the inclusion of such AI technologies in interactive systems. A specific focus will be on the guarantee that user-relevant properties such as usability and user experience are accounted for. Another focus will be on the identification and definition of architectures supporting those integrations.

关键词： interactive systems engineering Usability Reliability UX AI technologies

来源：评论

学校读者我要写书评

暂无评论

50 years of Research in engineering interactive computing systems: the CCL 1974 to EICS 2024 journey 24

50 years of Research in Engineering Interactive Computing Sy...

引用

acm sigchi symposium on engineering interactive computing systems (EICS)

作者： Campos, Jose Creissac Luyten, Kris Nigay, Laurence Palanque, Philippe Paterno, Fabio Spano, Lucio Davide Vanderdonckt, Jean Univ Minho Dept Informat Braga Portugal Hasselt Univ Flanders Make Expertise Ctr Digital Media Diepenbeek Belgium Univ Grenoble Alpes Grenoble Comp Sci Lab LIG Grenoble France Univ Paul Sabatier Toulouse III ICS IRIT Toulouse France CNR ISTI HITS Lab Pisa Italy Univ Cagliari Dept Math & Comp Sci Cagliari Italy Catholic Univ Louvain Louvain Res Inst Management & Org Louvain La Neuve Belgium

ISBN: (纸本)9798400706516

This panel commemorates the 50th anniversary of the IFIP TC2 Working Conference on Command Languages (CCL) and the 30th anniversary of the workshop series on Design Specification and Verification of interactive systems (DSV-IS), and uses that opportunity to position EICS within the HCI community. The discussion traces the origins of the EICS conference, from the union of seminal conferences to its current status and looks forward into its (possible) future. Reflecting on its contributions to the evolution of HCI methodologies, tools, and practices, the panel highlights the conference's role and impact on shaping the engineering of interactive systems.

关键词： interactive systems user interfaces software engineering model-driven engineering model-based design of user interfaces formal methods design history

来源：评论

学校读者我要写书评

暂无评论

PEICS - Towards HCI patterns into engineering of interactive systems 10

PEICS - Towards HCI patterns into engineering of interactive...

引用

1st International Workshop on Pattern-Driven engineering of interactive computing systems, PEICS '10, Organized at the 2nd acm sigchi symposium on engineering interactive computing systems, EICS '10

作者： Breiner, Kai Seissler, Marc Meixner, Gerrit Forbrig, Peter Seffah, Ahmed Klöckner, Kerstin University of Kaiserslautern Software Engineering Research Group 67663 Kaiserslautern Germany University of Kaiserslautern Center for Human-Machine-Interaction 67663 Kaiserslautern Germany 67663 Kaiserslautern Germany University of Rostock Department of Computer Science 18051 Rostock Germany 1015 Lausanne Switzerland 67663 Kaiserslautern Germany

ISBN: (纸本)9781450302463

Despite intense research activities in the last years, HCI patterns still lack in a standardized description and organization. This makes it difficult for the developers to identify the relevant patterns for solving a problem as well as to apply them accordingly to the problem context. To fully benefit from HCI patterns within the engineering of interactive computer systems they have to be prepared for integration into a model-based user interface development process. This workshop on Pattern-driven engineering of interactive Computer systems (PEICS) focuses on bringing together various research approaches in order to be conjointly conductive to the state of the art. We present contributions according to semantics, formalization, languages, support, research directions as well as tools. © 2010 acm.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Make it ISI: interactive systems Integration Tool 16

Make it ISI: Interactive Systems Integration Tool

引用

8th acm sigchi symposium on engineering interactive computing systems (EICS)

作者： Luis Silva, Jose Diogo Ornelas, Jorge Carlos Silva, Joao Univ Madeira Madeira ITI Funchal Portugal Univ Madeira Funchal Portugal Inst Politecn Cavado & Ave EST DIGARC Barcelos Portugal

ISBN: (纸本)9781450343220

Besides advances in usability the use of interactive systems still poses challenges for end users, particularly beginners. Users have to adapt in some way to the GUI. They have to learn the sequence of steps and how to accomplish them to perform a task. In addition, the fact that users often have to use different systems to accomplish their daily tasks increases the challenges they face. This paper presents ISI, a tool to support developers in the engineering of interactive systems. The tool aims to facilitate the integration of independent interactive systems while offering simplified interactions to end users. Based on picture -driven computing and task automation the tool aims to reduce the challenges that users face while trying to perform a task using one or several interactive systems, as well as improving the efficiency of task performance. The research is illustrated by means of a care home application example.

关键词： engineering of interactive systems Picture-driven computing Automation Task Modeling User support systems ISI

来源：评论

学校读者我要写书评

暂无评论

SEPIA, a Support for engineering Persuasive interactive Applications: Properties and Functions 16

SEPIA, a Support for Engineering Persuasive Interactive Appl...

引用

8th acm sigchi symposium on engineering interactive computing systems (EICS)

作者： Laurillau, Yann Calvary, Gaelle Foulonneau, Anthony Villain, Eric Univ Grenoble Alpes LIG CNRS F-38000 Grenoble France Orange Labs F-35000 Rennes France

ISBN: (纸本)9781450343220

Design and creativity call for a large exploration of the design space for getting the design right and the right design [6]. Creativity support tools aim at speeding up this exploration for either saving time or exploring more design alternatives. This paper addresses the design of persuasive interactive systems. It provides designers and developers with a conceptual tool for structuring the exploration of the design space. In the vain of the IFIP properties [1] that are largely used in engineering HCI (e.g., observability), SEPIA (Support for engineering Persuasive interactive Applications) elicits a set of properties and functions to be considered when engineering persuasive interactive systems. SEPIA is expected to foster creativity and thereby to make people go beyond the classical monitoring feature.

关键词： Human Computer Interaction Persuasive interactive systems Design Creativity Design space Properties Functions

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共23页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：