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

We present an approach to detect function purity in javascript. A function is pure if none of its applications cause observable side-effects. The approach is based on a pushdown flow analysis that besides traditional control and value flow also keeps track of write effects. To increase the precision of our purity analysis, we combine it with an intraprocedural analysis to determine freshness of variables and object references. We formalize the core aspects of our analysis, and discuss our implementation used to analyze several common javascript benchmarks. Experiments show that our technique is capable of detecting function purity, even in the presence of higher-order functions, dynamic property expressions, and prototypal inheritance.

关键词： java program diagnostics javascript function purity detection pushdown flow analysis Arrays Benchmark testing Context Reactive power Resource management Semantics Standards analysis programme Benchmark testing Reactive power management of resources Semantics java script java java programming language purity arrays semiotics Flow Analysis

来源：评论

学校读者我要写书评

暂无评论

Interaction Design of Gesture Control for DMS Multi-channel System 9

Interaction Design of Gesture Control for DMS Multi-channel ...

引用

2017 9th IEEE International Conference on Communication Software and Networks (ICCSN 2017)

作者： Yu Tian Wang Lu Yuan Juan Juan Cai Hui Wang Qin Zhang Key Laboratory of Media Audio ＆ Video Ministry of Education Communication University of China

ISBN: (纸本)9781509038237;9781509038220

With the development of Artificial Intelligence, gesture recognition technology has been applied in practical schemes. We built up the Dynamic Matrix Sound system（DMS system） which makes an excellent sound field reproduction effect. However, because of the weak controllability of the large-scale system, the application of the DMS system is very limited. In order to control a DMS system by gesture, the Leap Motion is adopted and the *** is used to connect the DMS system with client terminal. The real time 3 D gesture position data, which is captured by leap motion, will be translated into DMS control instruction and transferred to the DMS system to implement the play, pause and other functions. In order to support a wider range of client hardware, the design is realized by javascript and C++, of which the data communication between them is realized through ***. In the design of the system, the whole process is to transfer the communication logic of websocket to the ***, so that the communication between the mobile devices and the back-end is more reasonable.

关键词： Node js java script DMS system across-platform interaction design

来源：评论

学校读者我要写书评

暂无评论

Fundamentals of a Components Sharing Network to Accelerate javascript Software Development

Fundamentals of a Components Sharing Network to Accelerate J...

引用

Federated Conference on Computer Science and Information Systems (FedCSIS)

作者： Makiyama, Daniel Souza Aquino, Plinio Thomaz, Jr. Univ Fed ABC UFABC CMCC Santo Andre SP Brazil Fundacao Educ Inaciana Pe Saboia de Medeiros Ctr Univ FEI Av Humberto A Castelo Branco 3972 BR-09850901 Sao Bernardo Do Campo SP Brazil

ISBN: (纸本)9788394625375

Based on a systematic review of empirical studies about software components selection and usability techniques applied to a functional prototype, this article maps the functional and non-functional requirements of a components sharing network that aims to accelerate javascript software development. Results point out that integrating the development environment to a component search mechanism with automated filters, ordered by quality criteria, and allow code snippets rank and improvements submission on a version control system are the path to accelerate the development and motivate IT students and professionals to participate in this network.

关键词： IT components javascript information technology computer software java script acceleration Software design Network empirical studies Professional FUNCTIONALS

来源：评论

学校读者我要写书评

暂无评论

JOINT STAFF J7 ENVIRONMENT DEVELOPMENT SUPPORT FOR NATO SIMULATION ACTIVITIES

JOINT STAFF J7 ENVIRONMENT DEVELOPMENT SUPPORT FOR NATO SIMU...

引用

Winter Simulation Conference (WSC)

作者： Grom, Amy Bowers, Andy Joint Staff J7 116 Lakeview Pkwy Suffolk VA 23435 USA MITRE Corp Hampton VA 23666 USA

ISBN: (纸本)9781467347792;9781467347808

The Environment Development Branch (ED), United States Joint Staff J7 (JS J7), formerly the Joint Forces Command (JFCOM) J7, supports a variety of simulation environment development activities in concert with NATO and Partnership for Peace (PfP) countries. Recent activities include development of the NATO Training Federation (NTF) in support of an experiment running in parallel with the "traditional" Southeastern Europe Simulation (SEESIM) training exercise, support for NATO Research & Technology Organization (RTO) Task Group MSG-106, Enhanced CAX Architecture, Design and Methodology, and development of NTF to support NATO Joint Force training. This paper introduces each of these activities, discusses synergies achieved among them, and addresses the influence JS J7 participation in NATO/PfP activities has had on ED development activities in support of US Joint Force training.

关键词： North Atlantic Treaty Organization (NATO) Joints Joints Synergism Support Musical performances Parallel Lines java script

来源：评论

学校读者我要写书评

暂无评论

1st International Workshop on Live Programming (LIVE 2013)

1st International Workshop on Live Programming (LIVE 2013)

引用

35th International Conference on Software Engineering (ICSE)

作者： Burg, Brian Kuhn, Adrian Parnin, Chris Univ Washington Seattle WA 98195 USA Georgia Tech Atlanta GA USA

ISBN: (纸本)9781467330763

Live programming is an idea espoused by programming environments from the earliest days of computing (such as Lisp machines and SmallTalk) but have since lain dormant. Recently, the prevalence of asynchronous feedback in programming languages such as javascript and advances in visualizations and user interfaces have lead to a resurgence of live programming in online education communities (such as Khan Academy) and in experimental IDEs (such as LightTable). The LIVE 2013 workshop includes 11 papers describing visions, implementations, mashups, and new directions of live programming environments. The participants include both practitioners of live coding and researchers in programming languages and software engineering. Finally, several demos curated on the live workshop page are presented.

关键词： Computer Programming Languages workshops Workshops programming environments Sight Visualization User Interface Device Component resurgence java script Smalltalk LISP PLUG-IN

来源：评论

学校读者我要写书评

暂无评论

MineSpider: Extracting URLs from Environment-dependent Drive-by Download Attacks 39

MineSpider: Extracting URLs from Environment-dependent Drive...

引用

39th IEEE Annual International Computer Software and Applications Conference Workshops (COMPSAC)

作者： Takata, Yuta Akiyama, Mitsuaki Yagi, Takeshi Hariu, Takeo Goto, Shigeki NTT Secure Platform Labs 3-9-11 Midori Cho Musashino Tokyo 1808585 Japan Waseda Univ Shinjuku Ku Tokyo 1698555 Japan

ISBN: (纸本)9781467365635

Drive-by download attacks force users to automatically download and install malware by redirecting them to malicious URLs that exploit vulnerabilities of the user's web browser. Attackers profile the information on the user's environment such as the name and version of the browser and browser plugins and launch a drive-by download attack on only certain targets by changing the destination URL. When malicious content detection and collection techniques such as honeyclients are used that do not match the specific environment of the attack target, they cannot detect the attack because they are not redirected. We propose here a method to exhaustively analyze javascript code relevant to redirections and to extract the destination URLs in the code. Our method facilitates the detection of attacks by extracting a large number of URLs while controlling the analysis overhead by excluding code not relevant to redirections. We implemented our method in a browser emulator called MINESPIDER that automatically extracts potential URLs from websites. We validated it by using communication data with malicious websites captured during a three-year period. The experimental results demonstrated that MINESPIDER extracted 30,000 new URLs from websites in a few seconds that existing techniques missed.

关键词： code analysis drive-by download honeyclient program slicing Uniform Resource Locator Downloading program slicing redirection websites java script Spiders Codes Consumers

来源：评论

学校读者我要写书评

暂无评论

Analysis of javascript Web Applications Using SAFE 2.0 17

Analysis of JavaScript Web Applications Using SAFE 2.0

引用

IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)

作者： Park, Jihyeok Ryou, Yeonhee Park, Joonyoung Ryu, Sukyoung Korea Adv Inst Sci & Technol Daejeon South Korea

ISBN: (纸本)9781538615898

javascript has been the language for web applications, and the growing prevalence of web environments in various devices makes javascript web applications even more ubiquitous. However, because javascript and web environments are extremely dynamic, javascript web applications are often vulnerable to type-related errors and security attacks. To lessen the problem, researchers have developed various analysis techniques in different analyzers, but such analyzers are not especially aimed for ease of use by analysis developers. In this paper, we present SAFE 2.0, a scalable analysis framework for ECMAscript especially designed as a playground for advanced research in javascript web applications. SAFE 2.0 is light-weight, which supports pluggability, extensibility, and debuggability. Demo video: https://***/ZI_emiRMoxQ

关键词： Browsers Sensitivity HTML Computer bugs Concrete Detectors Security web applications Browsers HyperText Markup Language Concrete Safes Security Analysers java script Sports grounds Analysis detector

来源：评论

学校读者我要写书评

暂无评论

OUAT MUSHROOM BASE: A DATABASE ON MUSHROOM OF ODISHA

OUAT MUSHROOM BASE: A DATABASE ON MUSHROOM OF ODISHA

引用

作者： DIPALI PATTANAIK ORISSA UNIVERSITY OF AGRICULTURE AND TECHNOLOGY

学位级别：硕士

Mushroom center at Orissa University of Agriculture and Technology has been conducted extensive research in mushroom and providing intensive training for a long time. As a result many success stories regarding economical growth and women empowerment have been occurred. Today mushroom has become a very common dish and available at a cheap price. But still rate of spawn production is not sufficient as per the demand of the state. Mushroom cultivation has not reached to ground level as a kitchen garden to support the economical growth of a farmer or a common man. To reduce this gap and to improve livelihood of each individual of the state, an online portal on mushroom is highly essential. Like OUAT other NGOs are also conducting training programs for farmers. But due to lack online systems, information couldn't reach to each corner of state. Besides that some poor farmers interested in mushroom cultivation couldn't bear the cost to reach at the Centre. Therefore the present work is planned to develop a mushroom online portal in the context of Odisha state. The database is named as "OUAT mushroom Base" and is a first database of its own kind. The database has been developed using java script, PHP, CSS to develop the front end and RDBMS technology implemented through SQL for developing back. It includes online portal of mushroom database in the context of Odisha and offer services for the benefit of researchers, farmers and common people to improve their livelihood and economical growth. The database also provides information towards different components of mushroom cultivation and research like cultivation, spawn collection, spawn incubation, waste management, production, trial, value addition, and marketing etc. In other hand, this platform will be like a hub to connect different researchers those are conducting variety of experimental research on medicinal and different indigenous mushroom of Odisha. The database is currently in offline mode and different kinds of mus

关键词： Mushroom java script PHP RDBMS SQL OUAT mushroom Base

来源：评论

学校读者我要写书评

暂无评论

DEVELOPMENT AND IMPLEMENTATION OF FINANCIAL MANAGEMENT SYSTEM FOR E-GOVERNANCE AT PUNJAB AGRICULTURAL UNIVERSITY

DEVELOPMENT AND IMPLEMENTATION OF FINANCIAL MANAGEMENT SYSTE...

引用

作者： Ashu Mittal Punjab Agricultural University

学位级别：硕士

These days, it seems like everything is happening online, and accounting is no exception. While many financial bookkeeping practices have been computerized for some time, online accounting and bookkeeping is still relatively new. In a large organization, accounting requires a lot of paperwork, and maintaining accurate records can be terribly difficult. So there is an essence of computer software that provides applications for easy data entry and record of financial transactions. Keeping this in mind, Financial Management System application software has been developed. FMS application software enhances the way organizations record financial transactions and flow information through their divisions and departments. It allows easy updation of financial records electronically, without having to deal with stacks of paper. Also software application help speed the time it takes to update records and keep employees informed of important financial information. FMS plays significant role in decision making processes. This software helps senior management to prepare financial statements such as income statements. The database has been designed using MySQL and the application has been developed using PHP, javascript, AJAX, CSS and HTML.

关键词： Financial Management System (FMS) My SQL PHP java script AJAX CSS HTML

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：