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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

54 篇 会议
1 册 图书

馆藏范围

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

日期分布

学科分类号

13 篇 工学
- 11 篇 计算机科学与技术...
- 10 篇 软件工程
- 1 篇 动力工程及工程热...
- 1 篇 电气工程
- 1 篇 控制科学与工程
- 1 篇 化学工程与技术
4 篇 理学
- 2 篇 数学
- 1 篇 物理学
- 1 篇 化学

主题

7 篇 pattern language
6 篇 design patterns
4 篇 architectural pa...
4 篇 pattern
3 篇 software archite...
3 篇 patterns
2 篇 architecture
2 篇 software enginee...
2 篇 architecture pat...
2 篇 pattern matching
2 篇 design pattern
2 篇 well-being
2 篇 design
2 篇 blockchain
2 篇 cloud computing
2 篇 programming lang...
1 篇 payment
1 篇 crash consistenc...
1 篇 secure software
1 篇 network function...

机构

4 篇 florida atlantic...
4 篇 keio university
3 篇 th köln
2 篇 university of ot...
2 篇 university of sã...
1 篇 univ oslo dept i...
1 篇 tech univ madrid...
1 篇 systems and comp...
1 篇 slovak universit...
1 篇 liacc
1 篇 institute of inf...
1 篇 institute for ap...
1 篇 nxp semiconducto...
1 篇 university of au...
1 篇 hochschule für t...
1 篇 german
1 篇 university of il...
1 篇 univ calif los a...
1 篇 riga technical u...
1 篇 vanderbilt unive...

作者

7 篇 takashi iba
5 篇 eduardo b. ferna...
3 篇 christian kohls
2 篇 ahmed m. alwakee...
2 篇 abdulrahman k. a...
2 篇 yumiko shimokawa
2 篇 ellen francine b...
2 篇 maria lydia fior...
2 篇 hinako ando
2 篇 aracele fassbind...
2 篇 cristian orellan...
2 篇 misaki yamakage
2 篇 karin iwata
1 篇 dutta saikat
1 篇 bruno sena
1 篇 souhaila serbout
1 篇 ferreira francis...
1 篇 puebla german
1 篇 katherine mccona...
1 篇 h.m.n. dilum ban...

语言

54 篇 英文
1 篇 其他

检索条件"任意字段=26th European Conference on Pattern Languages of Programs"

共 55 条记录，以下是41-50 订阅

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

详细简洁

排序：

Extraction of architectural patterns from frameworks and modeling their contributions to qualities 19

Extraction of architectural patterns from frameworks and mod...

引用

Proceedings of the 26th conference on pattern languages of programs

作者： Hind Milhem Michael Weiss Stéphane S. Somé University of Ottawa Carleton University

Context: A framework is a highly reusable design for an application or part of an application in a given domain. It often defines the basic architecture of the applications that use it. With the increasing complexity of developing modern software systems and shorter delivery times, it is essential to reuse existing designs in the form of frameworks as much as possible. therefore, selecting frameworks and documenting the underlying design rationale becomes an important task for system architects. An architect always needs to justify his/her architecture decisions, particularly when it comes to choosing among multiple frameworks. Problem: Selecting frameworks has been done in the past based on different characteristics and criteria. there were no studies that identify the key criteria and characteristics of frameworks to enable a more informed choice by architects. Objective: In this paper, we try to provide a way to compare automatically the framework quality attributes based on specific characteristics of a framework. Method: In this paper, we extract the implemented architectural patterns from a framework's source code and document them to connect frameworks to quality requirements upon which a selection can be made. We use a tool called Archie (a tool used to extract tactics from code and produces a candidate set of tactics of a Java-based system) to extract the implemented architectural patterns of frameworks. We then document and model the patterns implemented by a framework and their impact on quality attributes using the Goal-oriented Requirements Language (GRL). Results: the satisfaction level of the quality requirements by a set of architectural patterns of a framework, integrated with other criteria and realistic design decision context, provide architects with a tool for comparing different frameworks and documenting their rationale for choosing a framework. To illustrate and as an initial validation of the approach, we apply it to a simple but realistic c

关键词： pattern extraction framework modeling framework selection data streaming framework non-functional requirement (NFR) architectural pattern

来源：评论

学校读者我要写书评

暂无评论

A style language for enjoying Japan 19

A style language for enjoying Japan

引用

Proceedings of the 26th conference on pattern languages of programs

作者： Ryusei Murasawa Misaki Yamakage Rioja Kuroda Yumiko Shimokawa Aimi Burgoyne Hiromu Kasahara Takashi Iba Keio University Odakyu Electric Railway Company Limited

the number of inbound tourists in Japan is expected to rise to 40 million as of 2020. However, valid measures for these inbound tourists are not launched yet since there is a large gap between the sensitivities of Japanese people who are the service providers and the inbound tourists who visit Japan. Given such current situation, we created "A Style Language for Enjoying Japan" which verbalized how to enjoy Japan with Odakyu Electric Railway Co, Ltd. Odakyu Electric Railway Co, Ltd is a Japanese company that runs a railway operation and real estate businesses mainly in Tokyo and Kanagawa prefectures. the Style Language was created based on interviews to 52 people, in order to comprehend what kind of contents let the inbound tourists feel attractive in the terms of Japanese *** language is a method for sharing various styles of doing in a specific theme or discipline which was developed through inspiration from pattern Language. Currently, "A Style Language for Enjoying Japan" includes 196 styles categorized into three themes. In addition, we held some workshops using" A Style Language for Enjoying Japan". through the workshop, it was suggested that "Style Language for Enjoying Japan" is not only a tool for designing sightseeing in Japan, but also could be a tool to have communication by giving some new ideas for enjoying countries and areas other than Japan. More than anything, it became clear that this style language becomes a tool grasping to what contents inbound tourists find attractive and filling a gap between the tourism which Japanese people provide and tourism which inbound tourist find attractive. In this paper, we are going to discuss the methodology of style language, the process of creating "A style language for enjoying Japan", some examples of usage, and the expected usage in the future.

关键词： style cards enjoyment tourism Japan pattern language Japanese tourism tourists

来源：评论

学校读者我要写书评

暂无评论

Towards an educational design pattern language to support the development of open educational resources in videos for the MOOC context 19

Towards an educational design pattern language to support th...

引用

Proceedings of the 26th conference on pattern languages of programs

作者： Marcelo Fassbinder Aracele Fassbinder Maria Lydia Fioravanti Ellen Francine Barbosa University of São Paulo USP Brazil IFSULDEMINAS Brazil

the creation and adoption of Massive Open Online Courses (MOOCs) can bring many benefits and impact on education, such as put forward diversity in education; enhance student's learning by encouraging and engaging them for lifelong learning; connect with more individuals in informal contexts creating opportunities to transition to formal higher education or lifelong learning activities; force a re-conceptualization of higher education through the use of online study; enhance teachers' skills from developing Open Educational Resources (OERs) and adopting learner-centered pedagogical approaches and active learning strategies; among others. In such perspective, several studies have investigated the potential benefits about the use of videos as a support for the process of teaching in virtual learning environments and, particularly, in the context of MOOCs. However, video production for MOOCs still presents several challenges that need to be better investigated. It is because, in general, educators and MOOC teams (e.g. educators, learning designers, and educational technologists) are still using ad hoc decision-making procedures based on empirical knowledge obtained from their experiences with face-to-face courses or even traditional virtual courses. there are also gaps about what adaptations need to be performed to video formats and what are the attributes and steps needed to support the production and validation of videos for the MOOC context. In addition, since MOOCs are part of the Open Educational Movement, as well as the OERs, it is also important to reflect on the construction of OERs in the form of videos for the MOOC context. there is, therefore, a need for research that investigates the current theoretical panorama involving video construction for MOOCs, in order to propose strategies empirically validated and useful to support and guide MOOC teams during the development of videos more theoretically informed. Considering such context, the main objective of this

关键词： educational design patterns MOOCs patterns learning design educational videos

来源：评论

学校读者我要写书评

暂无评论

Testing Probabilistic Programming Systems 2018

Testing Probabilistic Programming Systems

引用

26th ACM Joint Meeting on european Software Engineering conference (ESEC) / Symposium on the Foundations of Software Engineering (FSE)

作者： Dutta, Saikat Legunsen, Owolabi Huang, Zixin Misailovic, Sasa Univ Illinois Chicago IL 60680 USA

ISBN: (纸本)9781450355735

Probabilistic programming systems (PP systems) allow developers to model stochastic phenomena and perform efficient inference on the models. the number and adoption of probabilistic programming systems is growing significantly. However, there is no prior study of bugs in these systems and no methodology for systematically testing PP systems. Yet, testing PP systems is highly non-trivial, especially when they perform approximate inference. In this paper, we characterize 118 previously reported bugs in three open-source PP systems-Edward, Pyro and Stan-and propose ProbFuzz, an extensible system for testing PP systems. ProbFuzz allows a developer to specify templates of probabilistic models, from which it generates concrete probabilistic programs and data for testing. ProbFuzz uses language-specific translators to generate these concrete programs, which use the APIs of each PP system. ProbFuzz finds potential bugs by checking the output from running the generated programs against several oracles, including an accuracy checker. Using ProbFuzz, we found 67 previously unknown bugs in recent versions of these PP systems. Developers already accepted 51 bug fixes that we submitted to the three PP systems, and their underlying systems, PyTorch and TensorFlow.

关键词： Probabilistic programming languages Software Testing

来源：评论

学校读者我要写书评

暂无评论

Singularity: pattern Fuzzing for Worst Case Complexity 2018

Singularity: Pattern Fuzzing for Worst Case Complexity

引用

26th ACM Joint Meeting on european Software Engineering conference (ESEC) / Symposium on the Foundations of Software Engineering (FSE)

作者： Wei, Jiayi Chen, Jia Feng, Yu Ferles, Kostas Dillig, Isil Univ Texas Austin Austin TX 78712 USA

ISBN: (纸本)9781450355735

We describe a new blackbox complexity testing technique for determining the worst-case asymptotic complexity of a given application. the key idea is to look for an input pattern - rather than a concrete input - that maximizes the asymptotic resource usage of the target program. Because input patterns can be described concisely as programs in a restricted language, our method transforms the complexity testing problem to optimal program synthesis. In particular, we express these input patterns using a new model of computation called Recurrent Computation Graph (RCG) and solve the optimal synthesis problem by developing a genetic programming algorithm that operates on RCGs. We have implemented the proposed ideas in a tool called SINGULARITY and evaluate it on a diverse set of benchmarks. Our evaluation shows that SINGULARITY can effectively discover the worst-case complexity of various algorithms and that it is more scalable compared to existing state-of-the-art techniques. Furthermore, our experiments also corroborate that SINGULARITY can discover previously unknown performance bugs and availability vulnerabilities in real-world applications such as Google Guava and JGraphT.

关键词： Complexity testing optimal program synthesis fuzzing genetic programming performance bug availability vulnerability

来源：评论

学校读者我要写书评

暂无评论

programs Using Syntax with First-Class Binders 1

引用

26th european Symposium on Programming (ESOP) Held as Part of the european Joint conferences on theory and Practice of Software (ETAPS)

作者： Ferreira, Francisco Pientka, Brigitte McGill Univ Montreal PQ Canada

ISBN: (数字)9783662544341

ISBN: (纸本)9783662544341;9783662544334

We present a general methodology for adding support for higher-order abstract syntax definitions and first-class contexts to an existing ML-like language. As a consequence, low-level infrastructure that deals with representing variables and contexts can be factored out. this avoids errors in manipulating low-level operations, eases the task of prototyping program transformations and can have a major impact on the effort and cost of implementing such systems. We allow programmers to define syntax in a variant of the logical framework LF and to write programs that analyze these syntax trees via pattern matching as part of their favorite ML-like language. the syntax definitions and patterns on syntax trees are then eliminated via a translation using a deep embedding of LF that is defined in ML. We take advantage of GADTs which are frequently supported in ML-like languages to ensure our translation preserves types. the resulting programs can be type checked reusing the ML type checker, and compiled reusing its first-order pattern matching compilation. We have implemented this idea in a prototype written for and in OCaml and demonstrated its effectiveness by implementing a wide range of examples such as type checkers, evaluators, and compilation phases such as CPS translation and closure conversion.

关键词： Higher-order abstract syntax Programming with binders Functional programming ML

来源：评论

学校读者我要写书评

暂无评论

Chinese Lexical Normalization Based on Information Extraction: An Experimental Study 26th

Chinese Lexical Normalization Based on Information Extractio...

引用

26th International conference on Artificial Neural Networks (ICANN)

作者： Tian, Tian Xu, WeiRan Beijing Univ Posts & Telecommun Pattern Recognit & Intelligent Syst Lab Beijing 100876 Peoples R China

ISBN: (纸本)9783319686127;9783319686110

In this work, we described a novel method for normalizing Chinese informal words to their standard equivalents. We form the task as an information extraction problem, using Q & A community answers as source corpus. We proposed several LSTM based models for the extraction task. To evaluate and compare performances of the proposed models, we developed a standard dataset containing factoid generated by real-world users in daily life. Since our method do not use any linguistic features, it's also applicable to other languages.

关键词： Text normalization LSTM Q & A community

来源：评论

学校读者我要写书评

暂无评论

Locally Abstract, Globally Concrete Semantics of Concurrent Programming languages 1

引用

26th International conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)

作者： Din, Crystal Chang Haehnle, Reiner Johnsen, Einar Broch Pun, Ka I. Tarifa, Silvia Lizeth Tapia Tech Univ Darmstadt Dept Comp Sci Darmstadt Germany Univ Oslo Dept Informat Oslo Norway

ISBN: (数字)9783319669021

ISBN: (纸本)9783319669021;9783319669014

Language semantics that is formal and mathematically precise, is the essential prerequisite for the design of logics and calculi that permit automated reasoning about programs. the most popular approach to programming language semantics small step operational semantics (SOS) is not modular in the sense that it does not sepa- rate conceptual layers in the target language. SOS is also hard to relate formally to program logics and calculi. Minimalist semantic formalisms, such as automata, Petri nets, or pi-calculus are inadequate for rich programming languages. We propose a new formal trace semantics for a concurrent, active objects language. It is designed with the explicit aim of being compatible with a sequent calculus for a program logic and has a strong model theoretic flavor. Our semantics separates sequential and object-local from concurrent computation: the former yields abstract traces which in a second stage are combined into global system behavior.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Matching logic - extended abstract 26

Matching logic - extended abstract

引用

26th International conference on Rewriting Techniques and Applications, RTA 2015

作者： Rosu, Grigore University of Illinois Urbana-Champaign United States

ISBN: (纸本)9783939897859

this paper presents matching logic, a first-order logic (FOL) variant for specifying and reasoning about structure by means of patterns and pattern matching. Its sentences, the patterns, are constructed using variables, symbols, connectives and quantifiers, but no difference is made between function and predicate symbols. In models, a pattern evaluates into a power-set domain (the set of values that match it), in contrast to FOL where functions and predicates map into a regular domain. Matching logic uniformly generalizes several logical frameworks important for program analysis, such as: propositional logic, algebraic specification, FOL with equality, and separation logic. patterns can specify separation requirements at any level in any program configuration, not only in the heaps or stores, without any special logical constructs for that: the very nature of pattern matching is that if two structures are matched as part of a pattern, then they can only be spatially separated. Like FOL, matching logic can also be translated into pure predicate logic, at the same time admitting its own sound and complete proof system. A practical aspect of matching logic is that FOL reasoning remains sound, so off-the-shelf provers and SMT solvers can be used for matching logic reasoning. Matching logic is particularly well-suited for reasoning about programs in programming languages that have a rewrite-based operational semantics. © Grigore Roşu.

关键词： pattern matching

来源：评论

学校读者我要写书评

暂无评论

Type-directed elaboration of quasiquotations: A high-level syntax for low-level reflection 14

Type-directed elaboration of quasiquotations: A high-level s...

引用

26th Symposium on Implementation and Application of Functional languages, IFL 2014

作者： Christiansen, David Raymond IT University of Copenhagen Denmark

ISBN: (纸本)9781450332842

Idris's reflection features allow Idris metaprograms to manipulate a representation of Idris's core language as a datatype, but these reflected terms were designed for ease of type checking and are therefore exceedingly verbose and tedious to work with. A simpler notation would make these programs both easier to read and easier to write. We describe a variation of quasiquotation that uses the language's compiler to translate high-level programs with holes into their corresponding reflected representation, both in pattern-matching and expression contexts. this provides a notation for reflected language that matches the notation used to write programs, allowing readable metaprograms. Copyright © 2014 ACM.

关键词： pattern matching

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共6页 << < 1 2 3 4 5 6 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：