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

Optimal assignment of mobile agents for software authorization and protection

COMPUTER COMMUNICATIONS 1999年第1期22卷 46-55页

作者： Shieh, SP Lin, CT Wu, SY Natl Chiao Tung Univ Dept Comp Sci & Informat Engn Hsinchu 30010 Taiwan

In this paper, a model for software authorization and protection in mobile code systems is proposed. In the model, a software is partitioned into objects, called mobile agents, and the privileges to access these agents are separated and distributed to the user's local system and a number of trusted servers called trusted computational proxies. The execution of a program (software) is conducted by cooperation of the agents and the proxies that contain them. Two agents are dependent if there is a message passing between them. To reduce the risk of software being attacked,dependent agents are distributed to different proxies. In this way, if a proxy is compromized, minimal information of the software will be disclosed. Methods for assigning agents to proxies are also proposed to minimize, under the security constraints, computation load of the proxies as well as communication load between the user's local system and proxies. (C) 1999 Elsevier Science B.V. All rights reserved.

关键词： software protection mobile code remote execution java language proxy

来源：评论

学校读者我要写书评

暂无评论

Research on dynamic update transaction for java classes

引用

中国高等学校学术文摘·计算机科学 2007年第3期1卷 313-321页

作者： ZHANG Shi HUANG Linpeng Department of Computer Science and Engineering Shanghai Jiao Tong UniversityShanghai 200240China School of Mathematics and Computer Science Fujian Normal UniversityFuzhou 350007China Department of Computer Science and Engineering Shanghai Jiao Tong UniversityShanghai 200240China

Dynamic software updating is critical for many systems that must provide continuous *** addition,the java language is gaining increasing popularity in developing distributed *** previous works on updating are concerned with safely updating one class every *** has many limitations on updating classes,such as not allowing deleting methods invoked in other *** this paper,the update transaction is purposed to dynamically update the class set,and some of its properties are discussed,such as atomicity,consistency,isolation,and durability (ACID).Then the property of type-safety is proven *** order to update without changing the java Virtual Ma chine (JVM) and the java programming language,this paper proposes a new implementation *** method makes use of the java class loading mechanism and reflection *** also present how to design an updatable java program and a java updating *** the end of the paper,an experiment is made for analysis.

关键词： dynamic software update update transaction java language program design

来源：评论

学校读者我要写书评

暂无评论

Tele-medical imaging conference system based on the Web

引用

COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE 2002年第3期68卷 223-231页

作者： Choi, HK Park, SM Kang, JH Kim, SK Choi, HM Inje Univ Sch Informat & Comp Engn Kim Hae Kyung Nam 621749 South Korea

In this paper, a medical imaging conference system is presented, which is carried out in the Web environment using the distributed object technique, CORBA. Independent of platforms and different developing languages, the CORBA-based medical imaging conference system is very powerful for system development, extension and maintenance. With this Web client/server, one could easily execute a medical imaging conference using Applets on the Web. The java language, which is object-oriented and independent of platforms, has the advantage of free usage wherever the Web browser is. By using the proposed system, we envisage being able to open a tele-conference using medical images, e.g. CT, MRI, X-ray etc., easily and effectively among remote hospitals. (C) 2002 Elsevier Science Ireland Ltd. All rights reserved.

关键词： medical imaging conference system distributed object technique CORBA java language Web browser

来源：评论

学校读者我要写书评

暂无评论

A java Implementation of Prime and Binary Fields

引用

IEEE LATIN AMERICA TRANSACTIONS 2015年第9期13卷 3010-3019页

作者： Gutierrez, I. S. Villanueva, R. L. Univ Norte Dept Matemat & Estadist Barranquilla Colombia Univ Simon Bolivar Dept Ingn Sistemas & Ciencias Computac Barranquilla Colombia

This paper introduces a java software library intended to be used by cryptographers, programmers and practitioners. Basically, the library provides efficient implementations for performing calculations on finite fields. The main operations supported are addition;multiplication, division, square roots and they are speeded-up for parameters specified by standardization entities. The programming library is presented as a set of classes and the main algorithms implemented on them and their performance.

关键词： java language Finite fields Prime fields Binary fields Computation Efficiency

来源：评论

学校读者我要写书评

暂无评论

Multijava: Design rationale, compiler implementation, and applications

引用

ACM TRANSACTIONS ON PROGRAMMING languageS AND SYSTEMS 2006年第3期28卷 517-575页

作者： Clifton, Curtis Millstein, Todd Leavens, Gary T. Chambers, Craig Rose Hulman Inst Technol Dept Comp Sci & Software Engn Terre Haute IN 47803 USA Univ Calif Los Angeles Dept Comp Sci Los Angeles CA 90095 USA Iowa State Univ Dept Comp Sci Ames IA 50011 USA Univ Washington Dept Comp Sci & Engn Seattle WA 98195 USA

Multijava is a conservative extension of the java programming language that adds symmetric multiple dispatch and open classes. Among other benefits, multiple dispatch provides a solution to the binary method problem. Open classes provide a solution to the extensibility problem of object-oriented programming languages, allowing the modular addition of both new types and new operations to an existing type hierarchy. This article illustrates and motivates the design of Multijava and describes its modular static typechecking and modular compilation strategies. Although Multijava extends java, the key ideas of the language design are applicable to other object-oriented languages, such as C# and C++, and even, with some modifications, to functional languages such as ML. This article also discusses the variety of application domains in which Multijava has been successfully used by others, including pervasive computing, graphical user interfaces, and compilers. Multijava allows users to express desired programming idioms in a way that is declarative and supports static typechecking, in contrast to the tedious and type-unsafe workarounds required in java. Multijava also provides opportunities for new kinds of extensibility that are not easily available in java.

关键词： open objects extensible classes extensible external methods external methods multimethods method families generic functions object-oriented programming languages single dispatch multiple dispatch encapsulation modularity static type-checking subtyping inheritance java language Multijava language separate compilation expression problem binary method problem augmenting method problem

来源：评论

学校读者我要写书评

暂无评论

VisualJVM: A visual tool for teaching java technology

引用

IEEE TRANSACTIONS ON EDUCATION 2008年第1期51卷 86-92页

作者： Garrido Abenza, Pedro Pablo Olivo, Angel Grediaga Latorre, Bernardo Ledesma Miguel Hernandez Univ Dept Phys & Comp Architecture Elche 03202 Spain Univ Alicante Dept Comp & Informat Technol Alicante 03690 Spain

This paper presents a laboratory session of an Advanced Programming course to introduce students to the technology involved with the java programming language. In this special lab session the educational software tool VisualJVM is used, providing a graphical front-end to a java virtual machine (JVM). This tool helps students learn about JVM architecture, learn how JVM works, and consequently, to understand why a java program is platform independent. The student reaction to this experience was very positive and the authors are planning to use the tool in other contexts.

关键词： educational technology java language object-oriented programming (OOP) program interpreters user interfaces

来源：评论

学校读者我要写书评

暂无评论

MobileJMS: A global adaptation solution for nomadic applications

引用

ANNALS OF TELECOMMUNICATIONS 2007年第3-4期62卷 464-485页

作者： Kaddour, Mejdi Pautet, Laurent Telecom Paris GET F-75634 Paris 13 France

Middleware technologies have emerged as a key element of future mobile systems. In this paper, we argue that Message Oriented Middleware Systems (MOMS) provides a valuable solution to nomadic environment issues. They are characterized by a communication style allowing a strong decoupling between distributed entities. The first part describes Mobile IMS, a MOM system characterized by communication adaptability and context-awareness. Its communication module is based on components which can be plugged and configured dynamically to deal with various events such as bandwidth variation or frequent disconnections. The second part is related to an overall adaptation model that makes adaptation decisions by considering user preferences, application requirements and execution context state. The key function of the model is the selection of the most appropriate policy to the current context.

关键词： mobile radiocommunication middleware adaptive system variability java language system architecture theoretical study case study experimentation

来源：评论

学校读者我要写书评

暂无评论

Model variables: cleanly supporting abstraction in design by contract

引用

SOFTWARE-PRACTICE & EXPERIENCE 2005年第6期35卷 583-599页

作者： Cheon, Y Leavens, G Sitaraman, M Edwards, S Univ Texas Dept Comp Sci El Paso TX 79902 USA Iowa State Univ Dept Comp Sci Ames IA 50010 USA Clemson Univ Dept Comp Sci Clemson SC 29634 USA Virginia Tech Dept Comp Sci Blacksburg VA 24061 USA

In design by contract (DBC), assertions are typically written using program variables and query methods. The lack of separation between program code and assertions is confusing, because readers do not know what code is intended for use in the program and what code is only intended for specification purposes. This lack of separation also creates a potential runtime performance penalty, even when runtime assertion checks are disabled, due to both the increased memory footprint of the program and the execution of code maintaining that part of the program's state intended for use in specifications. To solve these problems, we present a new way of writing and checking DBC assertions without directly referring to concrete program states, using 'model', i.e. specification-only, variables and methods. The use of model variables and methods does not incur the problems mentioned above, but it also allow one to write more easily assertions that are abstract, concise, and independent of representation details, and hence more readable and maintainable. We implemented these features in the runtime assertion checker for the java Modeling language (JML), but the approach could also be implemented in other DBC tools. Copyright (c) 2005 John Wiley & Sons, Ltd.

关键词： assertions model variables runtime assertion checking design by contract java language JML language specifications

来源：评论

学校读者我要写书评

暂无评论

Evaluation of the 'replace constructors with creation methods' refactoring in java systems

引用

IET SOFTWARE 2010年第5期4卷 318-333页

作者： Counsell, S. Loizou, G. Najjar, R. Brunel Univ Sch Informat Syst Comp & Math Uxbridge UB8 3PH Middx England Univ London Sch Comp Sci & Informat Syst London WC1E 7HX England Univ Cyprus Dept Comp Sci CY-1678 Nicosia Cyprus

Class constructors play an indispensable role in the java language as a mechanism for object creation. However, little empirical evidence exists on constructors, trends in their composition and how a class with too many constructors might influence its understandability by developers. Herein, the authors investigate the applicability of the 'replace constructors with creation methods' (RCwCM) refactoring of Kerievsky in five java systems. The RCwCM was manually applied to a set of classes from each of the five systems in classes containing three or more constructors. The benefits of this refactoring include improved code readability and encapsulation, program understanding and to a lesser extent possible elimination of code duplication. Within each of the five systems, evidence of scope for applying the RCwCM refactoring based on the number of classes with multiple constructors was found. However, problems were encountered that limited its application. These are the nature of inheritance and the different styles of accessing class constructors. In the former, account has to be taken of multiple dependencies if the class is not a leaf class;in the latter, the 'super' construct requires careful handling. When considered against the benefits that the RCwCM provides, care needs to be exercised. As with any refactoring effort, the short and long-term benefits need to be compared with the expense outlay (developer time and effort) as well as the opportunity cost.

关键词： code readability object creation mechanism code duplication java language High level languages java RCwCM method Object-oriented programming object-oriented programming RCwCM refactoring code encapsulation replace constructors with creation methods class constructors

来源：评论

学校读者我要写书评

暂无评论

Fast and accurate synthesis of electronically reconfigurable annular ring monopole antennas using particle swarm optimisation and artificial bee colony algorithms

引用

IET MICROWAVES ANTENNAS & PROPAGATION 2016年第4期10卷 362-369页

作者： Brito Rodrigues, Eduardo Jorge Castro Lins, Hertz Wilton D'Assuncao, Adaildo Gomes Univ Fed Rio Grande do Norte UFRN Dept Commun Engn Caixa Postal 1655 BR-59072970 Natal RN Brazil Anatel Natl Agcy Telecommun BR-58043010 Joao Pessoa Paraiba Brazil

The synthesis of a simple electronically reconfigurable annular ring monopole antenna using a designing optimisation process based on particle swarm optimisation (PSO) and artificial bee colony (ABC) algorithms is proposed. Several antenna dimensions are selected as objective functions of PSO and ABC and their best solutions are considered as the optimised dimensions of the antenna geometry. Two radio-frequency p-i-n diodes, connecting the antenna feeding line to two microstrip stubs are used to change the antenna frequency response from ultra-wideband (UWB), from 3.1 to 10.6 GHz, to narrowband (NB) operation about 5.8 GHz. The antenna design and simulation are performed using Ansoft high-frequency structure simulator software. PSO and ABC algorithms are written in java language. Thereafter, antenna prototypes are fabricated and measured for validation purposes. Simulation and measurement results are obtained showing good agreement. The measured optimised impedance bandwidths of the UWB and NB bands are up to 128 and 23%, respectively. Additionally, simulated and measured radiation patterns are very similar when the reconfigurable antenna is operating in OFF-state (UWB sensing antenna) and in ON-state (NB transmitting antenna) modes, indicating the proposed antenna geometry as a promising candidate for applications such as UWB and cognitive radio.

关键词： monopole antennas particle swarm optimisation ultra wideband antennas frequency response java antenna radiation patterns electrical engineering computing electronically reconfigurable annular ring monopole antenna synthesis particle swarm optimisation artificial bee colony bioinspired algorithms antenna dimensions objective functions antenna geometry radiofrequency p-i-n diodes antenna feeding line microstrip stubs frequency response ultrawideband antenna antenna design PSO algorithms ABC algorithms java language ANSOFT high-frequency structure simulator software antenna prototypes validation purposes impedance bandwidths antenna radiation patterns OFF-state modes ON-state modes cognitive radio NB transmitting antenna UWb sensing antenna

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：