Enterprise javaBeans (EJB) technology has become a staple in distributed object and component architectures. However, like most technologies, EJB provides technology tradeoffs that must be weighted by the architect co...
详细信息
ISBN:
(纸本)0769510507
Enterprise javaBeans (EJB) technology has become a staple in distributed object and component architectures. However, like most technologies, EJB provides technology tradeoffs that must be weighted by the architect contemplating its use. Furthermore, like most technologies, EJB cannot save a poor system design. Design issues surrounding an enterprise system, in particular design issues of an EJB system, can be addressed at two levels. EJB design at the "macro" level is concerned with system architectural issues such as determining whether EJB technology is right for a project, how to model EJBs, and how to select an appropriate EJB server. EJB design from a "micro" level perspective concentrates on the use and organization of the various EJB types in an application. These "micro" issues include. when and where to use entity versus session beans, the granularity (fine or coarse) of EJBs, and the impact of the underlying database on bean design.
An extended distribution of computations for multi threading java applications, requires an extended communication infrastructure. Since large scientific communities wish to adopt the java paradigm as basis language f...
详细信息
ISBN:
(纸本)9780769526744
An extended distribution of computations for multi threading java applications, requires an extended communication infrastructure. Since large scientific communities wish to adopt the java paradigm as basis language for their resource-consuming and space-consuming algorithms, then wide JVM computational farms represent an important goal. We propose an interesting experiment, called JASMINA, concerning the deploying of JVMs instances on JXTA platform. JASMINA purposes is to show the first attempt to discover, aggregating and manage a wide JVM farms over JXTA platform. We discuss about the adopted embedding of JXTA paradigm into JVM architecture, and we show some observed behaviours from the effects of JXTA properties on the execution and distribution of java applications.
This paper presents a component model for designing and implementing flexible software components in java. Our model defines a mapping of how the fundamental concepts of component-based development (CBD) should be imp...
详细信息
ISBN:
(纸本)0769520359
This paper presents a component model for designing and implementing flexible software components in java. Our model defines a mapping of how the fundamental concepts of component-based development (CBD) should be implemented using the object-oriented (OO) constructs, available in the java programming language. The benefit of this mapping is to shorten the distance between a component-based software architecture and its implementation, enhancing the reusability, adaptability and maintainability of component-based software systems.
Providing useful feedback to students about both the functional correctness and the internal structure of their submissions is the most labor-intensive part of teaching programming courses. The former can be automated...
详细信息
ISBN:
(纸本)9781457703485
Providing useful feedback to students about both the functional correctness and the internal structure of their submissions is the most labor-intensive part of teaching programming courses. The former can be automated through test scripts and other similar mechanisms;however, the latter typically requires a detailed inspection of the submitted code. This paper introduces AutoGradeMe, a tool that automates much (but not all) of the work required to grade the internal structure of a student submission in the java programming language. It integrates with the Eclipse IDE and multiple third-party plug-ins to provide instructors with an easy-to-use grading environment. More importantly, unlike other automatic grading tools currently in use, it gives students continuous feedback about their work during the development process.
Mobile agents were introduced as a design paradigm for distributed systems to reduce network traffic as compared to client-server based approaches, simply by moving code close to the data instead of moving large amoun...
详细信息
ISBN:
(纸本)0769524168
Mobile agents were introduced as a design paradigm for distributed systems to reduce network traffic as compared to client-server based approaches, simply by moving code close to the data instead of moving large amount of data to the client. Although this thesis has been proved in many application scenarios, it was also shown that the performance of mobile agents suffers from too simple migration strategies in many other scenarios. In this paper we identify several reasons for mobile agents' poor performance, most of them related to the java programming language. We propose solutions to all of these problems and present results of first experiments to show the effectiveness of our approaches.
Android provides native development kit through JNI for developing high-performance applications (or simply apps). Although recent years have witnessed a considerable increase in the number of apps employing native li...
详细信息
ISBN:
(纸本)9781479922338
Android provides native development kit through JNI for developing high-performance applications (or simply apps). Although recent years have witnessed a considerable increase in the number of apps employing native libraries, only a few systems can examine them. However, none of them scrutinizes the interactions through JNI in them. In this paper, we conduct a systematic study on tracking information flows through JNI in apps. More precisely, we first perform a large-scale examination on apps using JNI and report interesting observations. Then, we identify scenarios where information flows uncaught by existing systems can result in information leakage. Based on these insights, we propose and implement NDroid, an efficient dynamic taint analysis system for checking information flows through JNI. The evaluation through real apps shows NDroid can effectively identify information leaks through JNI with low performance overheads.
The Gas Electron Multiplier (GEM) is one of the most popular and powerful technologies for gaseous ionization detectors used in high energy physics, medical physics and other applications. One of the fundamental eleme...
详细信息
ISBN:
(纸本)9781467394611
The Gas Electron Multiplier (GEM) is one of the most popular and powerful technologies for gaseous ionization detectors used in high energy physics, medical physics and other applications. One of the fundamental elements of a GEM are foils with micro perforations;the quality of such perforations is determinant for an optimal performance of the GEM. In this work we study and develop different computational methods (implemented in java programming language), in order to determine the quality of GEM-foils from high resolution images of the foils. This computational method will provide an automatic and high precision alternative to the present procedures which are very expensive, time taking and imprecise, limiting the development and application of this important technology of detectors. The present method can be extended to other high resolution image analysis useful for nanostructures and microstructures. A preliminary study of the method applied to lower resolution images is also presented.
Splitting a JSP (javaServer Pages) page into fragments can improve the execution performance of JSP pages when the Web application server can separately cache the Web page fragments obtained by executing the JSP fragm...
详细信息
ISBN:
(纸本)0769520685
Splitting a JSP (javaServer Pages) page into fragments can improve the execution performance of JSP pages when the Web application server can separately cache the Web page fragments obtained by executing the JSP fragments. If a JSP page is split into fragments according to the update frequency of each portion of the Web page obtained by executing the JSP page, all of the split JSPfragments do not need to be executed again when only a single cached part of a Web page expires. In addition, the fragments of a JSP page can be reused by other JSP pages. In both cases, the execution results of all of the JSPfragments split from the JSP page must be the same as from the JSP page before it was split. In this paper we propose JSP splitting,which is a method of splitting a JSP page into fragments maintaining the data and control dependences existing in the original JSP page. JSP splitting automatically detects the portions needed to maintain the data and control dependences of a JSP page for the portions that developers want to split from the JSP page. We implemented JSP splitting with a GUI tool, and confirmed that the split JSP fragments were executed in the same as the way as the JSP page before the split. Experimental results show that the response time to access a Web page can be reduced by splitting a JSP page into fragments and setting different caching periods for the Web page fragments obtained by executing the JSP fragments.
We present how common J(AVA) C-ARD security properties can be formalised in Dynamic Logic and verified, mostly automatically, with the KeY system. The properties we consider, are a large subset of properties that are ...
详细信息
ISBN:
(纸本)354025420X
We present how common J(AVA) C-ARD security properties can be formalised in Dynamic Logic and verified, mostly automatically, with the KeY system. The properties we consider, are a large subset of properties that are of importance to the smart card industry. We discuss the properties one by one, illustrate them with examples of real-life, industrial size, J(AVA) C-ARD applications, and show how the properties are verified with the KeY Prover - an interactive theorem prover for J(AVA) C-ARD source code based on a version of Dynamic Logic that models the full J(AVA) C-ARD standard. We report on the experience related to formal verification Of J(AVA) C-ARD programs we gained during the course of this work. Thereafter, we present the current state of the art of formal verification techniques offered by the KeY system and give an assessment of interactive theorem proving as an alternative to static analysis.
The java object serialization is designed generic to handle all possible objects, and performs a considerable amount of interpretation in determining the properties of objects before taking an appropriate action. In t...
详细信息
ISBN:
(纸本)0769511538
The java object serialization is designed generic to handle all possible objects, and performs a considerable amount of interpretation in determining the properties of objects before taking an appropriate action. In this paper we present a mechanism by which the java serialization is specialized using the partial evaluation techniques to reduce the amount of interpretation that happens at run-time. Our approach specializes the serialization code using the information about variables and arguments whose values or types are statically bound. To generate optimized code in a context-sensitive manner it performs an interprocedural binding-time analysis. The performance measurements show an average of 13% improvement in serialization with some cases showing as high as 18% improvement. Our approach is not restricted to serialization, rather we believe it gives a basis for a more general solution applicable to other aspects of java applications.
暂无评论