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

Techniques for secure execution of mobile code:: a review

ANNALES DES TELECOMMUNICATIONS-ANNALS OF TELECOMMUNICATIONS 2000年第7-8期55卷 379-387页

作者： Mas-Ribés, JM Macq, B Univ Catholique Louvain Telecommun Lab B-1348 Louvain Belgium

Code mobility can be defined as the capability to dynamically change the bindings between code fragments and the location in which they are executed. The concept of code mobility is not new, but in recent years has become a hot topic. Web browsers are able to download programs attached to web pages that are executed locally. On the other hand, mobile agent technology allows for agents to autonomously migrate to new hosts. A major concern involved in the use of these technologies is security: the integrity of the receiving host must not be compromised by the execution of mobile code. The local host needs to define a security policy that specifies which resources are made available to mobile code, potentially untrusted. On the other hand, the runtime system must, somehow enforce such policy. In this paper;we present a survey of different techniques aimed at resolving the problem of secure resource management, and argue within which context they are appropriate.

关键词： mobile software security java language resource management program execution review

来源：评论

学校读者我要写书评

暂无评论

Simulating multiple inheritance and generics in java

引用

COMPUTER languageS 1999年第4期25卷 189-210页

作者： Thirunarayan, K Kniesel, G Hampapuram, H Wright State Univ Dept Comp Sci & Engn Dayton OH 45435 USA Univ Bonn Comp Sci Dept 3 D-53117 Bonn Germany Intrinsa Corp Mountain View CA 94041 USA

This paper presents java language from an object-oriented software construction perspective. It explains the implications of banning generics and multiple inheritance of classes, and explores the patterns and the idioms used by the java designers and programmers to redeem their benefits. The paper also discusses an alternative to multiple inheritance, as incorporated in Lava, which extends java with constructs for type-safe automatic forwarding. (C) 2001 Elsevier Science Ltd. All rights reserved.

关键词： java language object-oriented programming design patterns multiple inheritance generics delegation

来源：评论

学校读者我要写书评

暂无评论

ISVSF: Intelligent Vulnerability Detection Against java via Sentence-Level Pattern Exploring

引用

IEEE SYSTEMS JOURNAL 2022年第1期16卷 1032-1043页

作者： Zhang, Haibin Bi, Yifei Guo, Hongzhi Sun, Wen Li, Jianpeng Xidian Univ Xian 710071 Peoples R China Northwestern Polytech Univ Sch Cyber Engn Xian 710072 Peoples R China

When software vulnerabilities threaten the security of users, new research on approaches to reduce security vulnerabilities must be explored. The development of deep learning has opened up the era of automatic code vulnerability detection, extricated humans from multifarious pattern definition, and feature selection. However, existing deep learning based vulnerability detection schemes are still in their early stage, most of them adopted token-level representing schemes, losing the logical information above token level and resulting in the narrowing of differences between codes. They always had low accuracy and high false positive rate. In addition, it is noticed that most code vulnerability detection methods focused on C/C++, and little work can be found on java. In light of this, we propose an intelligent sentence-level vulnerability self-detection framework (ISVSF), which considers the syntax characteristics of java and adopts sentence-level method representation and pattern exploration. Experimental results demonstrate that the ISVSF outperforms the existing token-level vulnerability detection schemes in terms of accuracy, false positive rate, detection time, etc. In addition, fast and strong vulnerability feature extraction enables ISVSF to learn vulnerability-related features quickly and achieve high accuracy with providing little training samples, thereby reducing the demand for training dataset effectively.

关键词： java Semantics Syntactics Generators Feature extraction Tools Sun Code feature java language vulnerability detection vulnerability pattern

来源：评论

学校读者我要写书评

暂无评论

Nondeterministic Programming in java with JSetL

引用

FUNDAMENTA INFORMATICAE 2015年第3-4期140卷 393-412页

作者： Rossi, Gianfranco Bergenti, Federico Univ Parma Dipartimento Matemat & Informat I-43124 Parma Italy

JSetL is a java library that endows java with a number of facilities that are intended to support declarative and constraint (logic) programming. In this paper we show how JSetL can be used to support general forms of nondeterministic programming in an object-oriented framework. This is obtained by combining different but related facilities, such as logical variables, set data structures, unification, along with a constraint solver that allows the user to solve nondeterministic constraints as well as to define new constraints using the nondeterminism handling facilities provided by the solver itself. Thus, the user can define her/his own general nondeterministic procedures as new constraints, letting the constraint solver handle them. The proposed solutions are illustrated through a number of concrete java programs using JSetL, including the implementation of simple Definite Clause Grammars.

关键词： Nondeterministic Programming Constraint Programming Set-based Programming java language

来源：评论

学校读者我要写书评

暂无评论

JCLAL: A java Framework for Active Learning

引用

JOURNAL OF MACHINE LEARNING RESEARCH 2016年第1期17卷 3271-3275页

作者： Reyes, Oscar Perez, Eduardo del Carmen Rodriguez-Hernandez, Maria Fardoun, Habib M. Ventura, Sebastian Univ Holguin Dept Comp Sci Holguin Cuba Univ Zaragoza Dept Comp Sci & Syst Engn Zaragoza Spain King Abdulaziz Univ Dept Informat Syst Jeddah Saudi Arabia Univ Cordoba Dept Comp Sci & Numer Anal Cordoba Spain

Active Learning has become an important area of research owing to the increasing number of real-world problems which contain labelled and unlabelled examples at the same time. JCLAL is a java Class Library for Active Learning which has an architecture that follows strong principles of object-oriented design. It is easy to use, and it allows the developers to adapt, modify and extend the framework according to their needs. The library offers a variety of active learning methods that have been proposed in the literature. The software is available under the GPL license.

关键词： active learning framework java language object-oriented design

来源：评论

学校读者我要写书评

暂无评论

Simulation for Collaborative Competition Based on Multi-Agent

Simulation for Collaborative Competition Based on Multi-Agen...

引用

20th International Conference on Multiple Criteria Decision Making

作者： Ge, Zhiyuan Liu, Jiamei Beijing Univ Technol Sch Econ & Management Beijing 100124 Peoples R China

ISBN: (纸本)9783642022975

The system of collaborative competition shows swarm intelligence features through individual co-interactive. Based on the predominance of Multi-Agents Simulation in describing and modeling a complex system, a model of the enterprise collaborative competition was built. The model defined every enterprise as an agent and defined agent actions combining Holland's ECHO model. In the model, the mechanism of behaviors and simulation parameters were designed. The dynamic competitive behavior of the enterprises was simulated through java language. Finally the results of the simulation were analyzed.

关键词： multi-agent collaborative competition simulation java language

来源：评论

学校读者我要写书评

暂无评论

Competition on Software Verification and Witness Validation: SV-COMP 2023 29th

Competition on Software Verification and Witness Validation:...

引用

29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

作者： Beyer, Dirk Ludwig Maximilians Univ Munchen Munich Germany

ISBN: (纸本)9783031308192;9783031308208

The 12th edition of the Competition on Software Verification (SV-COMP 2023) is again the largest overview of tools for software verification, evaluating 52 verification systems from 34 teams from 10 countries. Besides providing an overview of the state of the art in automatic software verification, the goal of the competition is to establish standards, provide a platform for exchange to developers of such tools, educate PhD students on reproducibility approaches and benchmarking, and provide computing resources to developers that do not have access to compute clusters. The competition consisted of 23 805 verification tasks for C programs and 586 verification tasks for java programs. The specifications include reachability, memory safety, overflows, and termination. This year, the competition introduced a new competition track on witness validation, where validators for verification witnesses are evaluated with respect to their quality.

关键词： Formal Verification Program Analysis Competition Software Verification Verification Tasks Benchmark C language java language SV-Benchmarks BENCHEXEC CoVERITEAM

来源：评论

学校读者我要写书评

暂无评论

Distance Learning Support System for Game Programming with java

Distance Learning Support System for Game Programming with J...

引用

14th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems

作者： Yoshida, Kouji Yaoi, Takumu Miyaji, Isao Yamada, Kunihiro Fujii, Satoru Shonan Inst Technol 1-1-25 Tsujido Nishikaigan Kanagawa 2518511 Japan Okayama Univ Sci Okayama 7008530 Japan Tokai Univ Hiratsuka Kanagawa 25912 Japan Matsue Natl Coll Technol Matsue Shimane 690 Japan

ISBN: (纸本)9783642153921

In recent years, students have confronted the importance of developing intermediate level programming skills. Many students are weak not only in programming: they are also not good at cooperation and collaboration when designing a program. Therefore, we produced a distance-learning support system using java. Generally, students can acquire knowledge that is constant in distance learning, but they find that it is difficult to finish a program independently. In distance learning, it is important to use mutual teaching and regular communication among students. When interesting programming of contents exists, games can make more effectively using java software. This paper presents java programming techniques that are necessary for game programming. Moreover this system supports upper level functions of game programming.

关键词： E-Learning java language Game programming Group work

来源：评论

学校读者我要写书评

暂无评论

An effective configuration method for java-internet computing environment

引用

Parallel Processing Letters 2000年第1期10.0卷 73-86页

作者： Chung, Chun-Mok Software Lab. Information OBU LG Information and Communications Ltd. Seoul 153-023 South Korea

For a distributed parallel computing platform with multiple computers connected to the Internet, java-Internet Computing Environment (JICB) is designed with multithreading and remote method invocation (RMI) mechanisms provided in java. In general, the performance of communication on parallel applications causes a significant impact on the overall performance under network-based environment. To decrease communication time that is a bottleneck of performance enhancement, a method of system configuration, called as a grouping, is proposed. Grouping is how to divide a set of distributed nodes into several working groups based on the optimal communication tune. Performance of grouping is evaluated through the analysis of communication time under JICE, and verified through the simulation. According to the analysis, the effective number of groups can be determined depending on the ratio of shared memory write references. Grouping can enhance the performance of JICE about 2 ∼ 3 times in those applications with a reasonably high ratio of shared memory references. © World Scientific Publishing Company.

关键词： Distributed parallel computing platform Internet computing java language Shared memory system Web computing

来源：评论

学校读者我要写书评

暂无评论

Object equality profiling

Object equality profiling

引用

18th Annual Conference on Object-Oriented Programming, Systems, languages and Applications (OOPSLA 2003)

作者： Marinov, D O'Callahan, R MIT Comp Sci Lab Cambridge MA 02139 USA IBM Corp Div Res TJ Watson Res Ctr Yorktown Hts NY 10598 USA

We present Object Equality Profiling (OEP), a new technique for helping programmers discover optimization opportunities in programs. OEP discovers opportunities for replacing a set of equivalent object instances with a single representative object. Such a set represents an opportunity for automatically or manually applying optimizations such as hash consing, heap compression, lazy allocation, object caching, invariant hoisting, and more. To evaluate OEP, we implemented a tool to help programmers reduce the memory usage of java programs. Our tool performs a dynamic analysis that records all the objects created during a particular program run. The tool partitions the objects into equivalence classes, and uses collected timing information to determine when elements of an equivalence class could have been safely collapsed into a single representative object without affecting the behavior of that program run. We report the results of applying this tool to benchmarks, including two widely used Web application servers. Many benchmarks exhibit significant amounts of object equivalence, and in most benchmarks our profiler identifies optimization opportunities clustered around a small number of allocation sites. We present a case study of using our profiler to find simple manual optimizations that reduce the average space used by live objects in two SpecJVM benchmarks by 47% and 38% respectively.

关键词： object equality object mergeability profiling profile-guided optimization space savings java language

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：