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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,968 篇 期刊文献
877 篇 会议
853 篇 学位论文
114 册 图书
1 篇 成果

馆藏范围

3,813 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,887 篇 工学
- 1,931 篇 计算机科学与技术...
- 1,401 篇 软件工程
- 507 篇 仪器科学与技术
- 263 篇 电气工程
- 156 篇 信息与通信工程
- 94 篇 测绘科学与技术
- 86 篇 机械工程
- 80 篇 地质资源与地质工...
- 79 篇 网络空间安全
- 75 篇 控制科学与工程
- 37 篇 电子科学与技术（可...
- 18 篇 化学工程与技术
- 16 篇 交通运输工程
- 15 篇 公安技术
329 篇 管理学
- 279 篇 管理科学与工程(可...
- 23 篇 图书情报与档案管...
- 20 篇 公共管理
- 14 篇 工商管理
217 篇 理学
- 85 篇 地理学
- 30 篇 物理学
- 30 篇 生物学
- 27 篇 数学
- 23 篇 地球物理学
- 20 篇 化学
- 12 篇 天文学
208 篇 教育学
- 187 篇 教育学
- 21 篇 心理学(可授教育学...
52 篇 医学
- 21 篇 临床医学
- 20 篇 基础医学(可授医学...
17 篇 艺术学
16 篇 经济学
- 15 篇 应用经济学
15 篇 法学
15 篇 文学
15 篇 农学
2 篇 军事学
1 篇 历史学

主题

3,813 篇 javascript
378 篇 html
311 篇 text
299 篇 css
289 篇 ajax
277 篇 php
218 篇 web
184 篇 mysql
161 篇 html5
150 篇 xml
119 篇 java
100 篇 node.js
90 篇 web application
89 篇 dom
88 篇 jquery
83 篇 webgis
81 篇 asp
79 篇 information syst...
73 篇 informační systé...
67 篇 webová aplikace

机构

475 篇 brno university ...
29 篇 电子科技大学
24 篇 吉林大学
23 篇 北京邮电大学
20 篇 山东大学
19 篇 辽宁师范大学
17 篇 northeastern uni...
16 篇 武汉大学
15 篇 华中科技大学
15 篇 四川大学
14 篇 广东工业大学
14 篇 东北大学
13 篇 西南交通大学
13 篇 charles universi...
12 篇 四川职业技术学院
12 篇 aarhus univ aarh...
11 篇 南京大学
11 篇 昆明理工大学
11 篇 西安电子科技大学
10 篇 东南大学

作者

22 篇 tip frank
19 篇 mesbah ali
17 篇 ryu sukyoung
14 篇 pattabiraman kar...
12 篇 程晨
12 篇 moon soo-mook
11 篇 bonetta daniele
11 篇 moller anders
10 篇 pradel michael
9 篇 de roover coen
8 篇 binder walter
8 篇 turcotte alexi
8 篇 nicolay jens
8 篇 flanagan cormac
8 篇 krishnamurthi sh...
8 篇 guha arjun
7 篇 bibi stamatia
7 篇 shihab emad
7 篇 abdalkareem rabe
7 篇 serrano manuel

语言

2,003 篇 中文
1,770 篇 英文
36 篇 其他
1 篇 西班牙文
1 篇 日文
1 篇 葡萄牙文
1 篇 土耳其文

检索条件"主题词=JavaScript"

共 3813 条记录，以下是231-240 订阅

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

详细简洁

排序：

Natural Feature Tracking in javascript

Natural Feature Tracking in JavaScript

引用

19th IEEE Virtual Reality Conference

作者： Oberhofer, Christoph Grubert, Jens Reitmayr, Gerhard Graz Univ Technol Inst Comp Graph & Vis A-8010 Graz Austria

We present an efficient natural feature tracking pipeline solely implemented in javascript. It is embedded in a web technology-based Augmented Reality system running plugin-free in web browsers. The evaluation shows t... 详细信息

ISBN: (纸本)9781467312462

关键词： Augmented Reality Natural Feature Tracking javascript HTML5 WebGL Web Technology

来源：评论

学校读者我要写书评

暂无评论

Automated Analysis of Security-Critical javascript APIs

Automated Analysis of Security-Critical JavaScript APIs

引用

32nd IEEE Symposium on Security and Privacy (SP 2011)

作者： Taly, Ankur Erlingsson, Ulfar Mitchell, John C. Miller, Mark S. Nagra, Jasvir Stanford Univ Stanford CA 94305 USA Google Inc Menlo Pk CA USA

ISBN: (纸本)9780769544021

javascript is widely used to provide client-side functionality in Web applications. To provide services ranging from maps to advertisements, Web applications may incorporate untrusted javascript code from third parties. The trusted portion of each application may then expose an API to untrusted code, interposing a reference monitor that mediates access to security-critical resources. However, a javascript reference monitor can only be effective if it cannot be circumvented through programming tricks or programming language idiosyncrasies. In order to verify complete mediation of critical resources for applications of interest, we define the semantics of a restricted version of javascript devised by the ECMA Standards committee for isolation purposes, and develop and test an automated tool that can soundly establish that a given API cannot be circumvented or subverted. Our tool reveals a previously-undiscovered vulnerability in the widely-examined Yahoo! ADsafe filter and verifies confinement of the repaired filter and other examples from the Object-Capability literature.

关键词： Language-Based Security Points-to Analysis APIs javascript

来源：评论

学校读者我要写书评

暂无评论

BUGSJS: A Benchmark of javascript Bugs 12

BUGSJS: A Benchmark of JavaScript Bugs

引用

12th IEEE International Conference on Software Testing, Verification and Validation (ICST)

作者： Gyimesi, Peter Vancsics, Bela Stocco, Andrea Mazinanian, Davood Beszedes, Arpad Ferenc, Rudolf Mesbah, Ali Univ Szeged Szeged Hungary Univ British Columbia Vancouver BC Canada

ISBN: (纸本)9781728117362

javascript is a popular programming language that is also error-prone due to its asynchronous, dynamic, and loosely-typed nature. In recent years, numerous techniques have been proposed for analyzing and testing javascript applications. However, our survey of the literature in this area revealed that the proposed techniques are often evaluated on different datasets of programs and bugs. The lack of a commonly used benchmark limits the ability to perform fair and unbiased comparisons for assessing the efficacy of new techniques. To fill this gap, we propose BUGSJS, a benchmark of 453 real, manually validated javascript bugs from 10 popular javascript server-side programs, comprising 444k LOC in total. Each bug is accompanied by its bug report, the test cases that detect it, as well as the patch that fixes it. BUGSJS features a rich interface for accessing the faulty and fixed versions of the programs and executing the corresponding test cases, which facilitates conducting highly-reproducible empirical studies and comparisons of javascript analysis and testing tools.

关键词： javascript bug database real bugs literature survey benchmark reproducibility BUGSJS

来源：评论

学校读者我要写书评

暂无评论

Efficient Dynamic Access Analysis Using javascript Proxies

Efficient Dynamic Access Analysis Using JavaScript Proxies

引用

9th Symposium on Dynamic Languages (DLS) Co-located with 4th Annual ACM International Conference on Systems, Programming, Languages, and Applications - Software for Humanity (SPLASH)

作者： Keil, Matthias Thiemann, Peter Univ Freiburg Inst Comp Sci D-79106 Freiburg Germany

ISBN: (纸本)9781450324335

JSConTest introduced the notions of effect monitoring and dynamic effect inference for javascript. It enables the description of effects with path specifications resembling regular expressions. It is implemented by an offline source code transformation. To overcome the limitations of the JSConTest implementation, we redesigned and reimplemented effect monitoring by taking advantange of javascript proxies. Our new design avoids all drawbacks of the prior implementation. It guarantees full interposition;it is not restricted to a subset of javascript;it is self-maintaining;and its scalability to large programs is significantly better than with JSConTest. The improved scalability has two sources. First, the reimplementation is significantly faster than the original, transformationbased implementation. Second, the reimplementation relies on the fly-weight pattern and on trace reduction to conserve memory. Only the combination of these techniques enables monitoring and inference for large programs.

关键词： Access Permission Contracts javascript Proxies Design Languages Security Verification

来源：评论

学校读者我要写书评

暂无评论

Dependent Types for javascript 12

Dependent Types for JavaScript

引用

ACM International Conference on Object Oriented Programming Systems Languages and Applications

作者： Chugh, Ravi Herman, David Jhala, Ranjit Univ Calif San Diego San Diego CA 92103 USA Mozilla Res Mountain View CA USA

ISBN: (纸本)9781450315616

We present Dependent javascript (DJS), a statically typed dialect of the imperative, object-oriented, dynamic language. DJS supports the particularly challenging features such as run-time type-tests, higher-order functions, extensible objects, prototype inheritance, and arrays through a combination of nested refinement types, strong updates to the heap, and heap unrolling to precisely track prototype hierarchies. With our implementation of DJS, we demonstrate that the type system is expressive enough to reason about a variety of tricky idioms found in small examples drawn from several sources, including the popular book javascript: The Good Parts and the SunSpider benchmark suite.

关键词： Refinement Types javascript Strong Updates Prototype Inheritance Arrays

来源：评论

学校读者我要写书评

暂无评论

Virtual Worlds on Demand? Model-Driven Development of javascript-based Virtual World UI Components for Mobile Apps 4

Virtual Worlds on Demand? Model-Driven Development of JavaSc...

引用

4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)

作者： Stuerner, Matthias Brune, Philipp Univ Appl Sci Neu Ulm Dept Informat Management D-89231 Neu Ulm Germany

ISBN: (纸本)9789897582325

Virtual worlds and avatar-based interactive computer games are a hype among consumers and researchers for many years now. In recent years, such games on mobile devices also became increasingly important. However, most virtual worlds require the use of proprietary clients and authoring environments and lack portability, which limits their usefulness for targeting wider audiences like e.g. in consumer marketing or sales. Using mobile devices and client-side web technologies like i.e. javascript in combination with a more automatic generation of customer-specific virtual worlds could help to overcome these limitations. Here, model-driven software development (MDD) provides a promising approach for automating the creation of user interface (UI) components for games on mobile devices. Therefore, in this paper an approach is proposed for the model-driven generation of UI components for virtual worlds using javascript and the upcoming *** framework. The feasibilty of the approach is evaluated by implementing a proof-of-concept scenario.

关键词： Model-Driven Software Development Mobile UI javascript UML Modeling Virtual Worlds Computer Games

来源：评论

学校读者我要写书评

暂无评论

Dynamic Flow Analysis for javascript 17th

Dynamic Flow Analysis for JavaScript

引用

17th International Symposium on Trends in Functional Programming (TFP)

作者： Naus, Nico Thiemann, Peter Univ Utrecht Utrecht Netherlands Albert Ludwigs Univ Freiburg Freiburg Germany

ISBN: (纸本)9783030148058;9783030148041

Static flow analyses compute a safe approximation of a program's dataflow without executing it. Dynamic flow analyses compute a similar safe approximation by running the program on test data such that it achieves sufficient coverage. We design and implement a dynamic flow analysis for javascript. Our formalization and implementation observe a program's execution in a training run and generate flow constraints from the observations. We show that a solution of the constraints yields a safe approximation to the program's dataflow if each path in every function is executed at least once in the training run. As a by-product, we can reconstruct types for javascript functions from the results of the flow analysis. Our implementation shows that dynamic flow analysis is feasible for javascript. While our formalization concentrates on a core language, the implementation covers full javascript. We evaluated the implementation using the SunSpider benchmark.

关键词： Type inference javascript Flow analysis Dynamic languages

来源：评论

学校读者我要写书评

暂无评论

Understanding Behavioural Patterns in javascript 24

Understanding Behavioural Patterns in JavaScript

引用

24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)

作者： Alimadadi, Saba Univ British Columbia Vancouver BC Canada

ISBN: (纸本)9781450342186

javascript is one of the most popular programming languages. However, understanding the dynamic behaviour of javascript apps is challenging in practice. There are many factors that hinder javascript comprehension, such as its dynamic, asynchronous, and event-driven nature, the dynamic interplay between javascript and the Document Object Model, and the asynchronous communication between client and server. In this research work, we have already proposed methods for understanding event-based and asynchronous javascript behaviour. To enhance the scalability of our methods, we propose a new technique that adopts bio-informatics algorithms to extract sequences of actions from execution traces that form higher-level patterns.

关键词： javascript comprehension behavioural patterns

来源：评论

学校读者我要写书评

暂无评论

Sound Regular Expression Semantics for Dynamic Symbolic Execution of javascript 2019

Sound Regular Expression Semantics for Dynamic Symbolic Exec...

引用

40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) part of ACM's Federated Computing Research Conference (FCRC)

作者： Loring, Blake Mitchell, Duncan Kinder, Johannes Royal Holloway Univ London Informat Secur Grp Egham Surrey England Royal Holloway Univ London Dept Comp Sci Egham Surrey England Bundeswehr Univ Munich Res Inst CODE Munich Germany

ISBN: (纸本)9781450367127

Support for regular expressions in symbolic execution-based tools for test generation and bug finding is insufficient. Common aspects of mainstream regular expression engines, such as backreferences or greedy matching, are ignored or imprecisely approximated, leading to poor test coverage or missed bugs. In this paper, we present a model for the complete regular expression language of ECMAScript 2015 (ES6), which is sound for dynamic symbolic execution of the test and exec functions. We model regular expression operations using string constraints and classical regular expressions and use a refinement scheme to address the problem of matching precedence and greediness. We implemented our model in ExpoSE, a dynamic symbolic execution engine for javascript, and evaluated it on over 1,000 *** packages containing regular expressions, demonstrating that the strategy is effective and can significantly increase the number of successful regular expression queries and therefore boost coverage.

关键词： Dynamic symbolic execution javascript regular expressions SMT

来源：评论

学校读者我要写书评

暂无评论

Inherited Vulnerabilities: javascript Engine V4 secure coding compared to Googles V8 10

Inherited Vulnerabilities: Javascript Engine V4 secure codin...

引用

IEEE 10th Annual Information Technology, Electronics and Mobile Communication Conference (IEMCON)

作者： Pannu, Mandeep Kay, Iain Gill, Bod Kwantlen Polytech Univ Dept Comp Sci & Informat Technol Surrey BC Canada British Columbia Insistute Technol Dept Elect & Comp Engn Surrey BC Canada

ISBN: (纸本)9781728125305

In 2013, the Qt Project announced a move away from Google's V8 javascript engine to their own internal V4 javascript engine. Despite this, even today Qt still contains a V8 interpretation layer and V8 code in other parts of Qt. This paper aims to investigate why the decision to change interpreters was made and also to evaluate the aspects of Qt interpreted by V4 and what is interpreted by V8. With this defined, differences in secure coding techniques between these systems is examined and highlighted and why these techniques are important in the Qt environment.

关键词： Chromium Project Graphical user-interfaces Integrated Development Environment javascript QML Language Qt WebEngine Security

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共382页 << < 20 21 22 23 24 25 26 27 28 29 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：