1,492,530 research outputs found
OCB : An object/class browser for Java
No full text'This work is partially supported by the EPSRC under grant GR/J 67611 “Delivering the Benefits of Persistence to System Construction”'This paper describes an interactive browser used for exploring the structure of Java objects and their classes. It is implemented in Java and uses JDK 1.1 core reflection classes to discover details of the objects passed to it. The initial motivation for development arose from the need to browse persistent Java stores; the browser may also be useful as a symbolic debugging and visualisation tool
Hyper-programming in Java
No full textHyper-programming is a technology only available in persistent systems since hyper-program source contains both text and links to persistent objects. A hyper-programming system has already been prototyped in the persistent programming language Napier88. Here we report on the transfer of that technology to a more commercial platform, Java. The component technologies required for hyper-programming include linguistic reflection, a persistent store, and a browsing mechanism, all of which have been reported elsewhere. The topics of discussion here are the additional technologies of: the specification of denotable hyper-links in Java; a mechanism for preserving links over traditional compilation; a hyper-program editor; and the integration of the editor and the browser with the hyper-programming user interface. We describe their design and implementation. In total these technologies constitute a hyper-programming system in Java
Partial Evaluation for Java Malware Detection
No full textThe fact that Java is platform independent gives hackers the opportunity to write exploits that can target users on any platform, which has a JVM implementation. Metasploit is a well-known source of Java exploits and to circumvent detection by Anti Virus (AV) software, obfuscation techniques are routinely applied to make an exploit more difficult to recognise. Popular obfuscation techniques for Java include string obfuscation and applying reflection to hide method calls; two techniques that can either be used together or independently. This paper shows how to apply partial evaluation to remove these obfuscations and thereby improve AV matching. The paper presents a partial evaluator for Jimple, which is a typed three-address code suitable for optimisation and program analysis, and also demonstrates how the residual Jimple code, when transformed back into Java, improves the detection rates of a number of commercial AV products
Kala defanged: Managing power in Java away from the centre
No full textCopyright © 2012 Koninklijk Instituut voor Taal-, Land- en Volkenkunde. Content is licensed under a Creative Commons Attribution 3.0 License.If discussions of power in Indonesia have been too Java-centric, power talk about Java has been equally overcentralized. This article presents an alternative view to the top-down, hierarchical, exemplary-centre approach of Anderson, Geertz and others: the view from Banyuwangi in East Java. Through an analysis of local rituals, popular theatre and political action it proposes a different model based on consensus, relativism, and ritual containment
Java Programming Interviews Exposed
No full textIf you are a skilled Java programmer but are concerned about the Java coding interview process, this real-world guide can help you land your next position Java is a popular and powerful language that is a virtual requirement for businesses making use of IT in their daily operations. For Java programmers, this reality offers job security and a wealth of employment opportunities. But that perfect Java coding job won't be available if you can't ace the interview. If you are a Java programmer concerned about interviewing, Java Programming Interviews Exposed is a great resource to prepare for your next opportunity. Author Noel Markham is both an experienced Java developer and interviewer, and has loaded his book with real examples from interviews he has conducted. Review over 150 real-world Java interview questions you are likely to encounter Prepare for personality-based interviews as well as highly technical interviews Explore related topics, such as middleware frameworks and server technologies Make use of chapters individually for topic-specific help Use the appendix for tips on Scala and Groovy, two other languages that run on JVMs Veterans of the IT employment space know that interviewing for a Java programming position isn't as simple as sitting down and answering questions. The technical coding portion of the interview can be akin to a difficult puzzle or an interrogation. With Java Programming Interviews Exposed, skilled Java coders can prepare themselves for this daunting process and better arm themselves with the knowledge and interviewing skills necessary to succee
Automatic Translation from Combined B and CSP specification to Java Programs
No full textA recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifically in the ProB model checking tool. At the implementation end of the development, concurrent programming in Java remains a demanding and error-prone activity, because of the need to verify critical properties of safety and liveness as well as functional correctness. This work contributes to the automated development of concurrent Java programs from such integrated specifications. The JCSP package was originally designed as a proven clean Java concurrency vehicle for the implementation of certain CSP specifications. In the context of best current Java concurrent programming practice, we extend the original JCSP package to support the integrated B and CSP specification by implementing new channel classes. We propose rules for the automated translation of the integrated specification to multi-threaded Java using the extended JCSP channel classes. We briefly present a prototype translation tool which extends ProB, with a worked example, and conclude with a strategy for formally verifying the translation
Failure of Bottom-Up Implementation: A Case Study the Improving Welfare Program in West Java
No full textPolicy implementation is one of the stages in public policy process. This process often faces diverse issues and challenges. This paper aims to analyse models of policy implementation in a governance system in Indonesia. The Indonesian government introduced top-down policy implementation system for more than three decades. The fundamental policy implementation changes in Indonesia following the fall of the new order regime, Indonesia introduced a bottom-up policy implementation system. The bottom-up approach often faces diverse issues and challenges. The failure of implementation in the improving welfare program in West Java Provincial triggers researcher’s intention to investigate it. Thus, this paper examines the bottom-up model in two different levels of autonomy such as province (provinsi), regencies and municipalities (Kabupaten and Kota) in West Java. This research utilizes applies the intensive interviews technique to gather perspectives from many informants purposively including civil servant, former government officio, NGOs, target groups, and individuals. The qualitative analysis applies the integrated analysis to display the informants’ opinions by integrating their voices in the arguments and discussions. The significant contribution of this paper composes of two emphases such as first, the paper explicates the bottom-up model integration is unfit to be applied in the improving welfare program in West Java. Second an efficient implementation must have remained governed by policy makers, because it will lead to abuse of authority
Formal Analysis of Concurrent Java Systems
No full textJava threads are synchronised through primitives based upon monitor concepts developed in the early 1970s. The semantics of Java's primitives have only been presented in natural language ? this paper remedies this with a simple and formal CSP model. In view of the dif?culties encountered in reasoning about any non-trivial interactions between Java threads, being able to perform that reasoning in a formal context (where careless errors can be highlighted by mechanical checks) should be a considerable con?dence boost. Further, automated model-checking tools can be used to root out dangerous states (such as deadlock and livelock), ?nd overlooked race hazards and prove equivalence between algorithms (e.g. between optimised and unoptimised
versions). A case study using the CSP model to prove the correctness of the JCSP and CTJ channel implementations (which are built using standard Java monitor synchronisation)
is presented. In addition, the JCSP mechanism for ALTing (i.e. waiting for and, then, choosing between multiple events) is veri?ed. Given the history of erroneous implementations of this key primitive, this is a considerable relief
JACK: A Framework for Process Algebra Implementation in Java
No full textThe construction of concurrent programs is especially complex due mainly to the inherent non-determinism of their execution, which makes it difficult to repeat test scenarios. Process algebras have been used to design and reason about these programs. This paper presents an approach to developing concurrent programs using a set of process algebra constructs implemented as an object-oriented framework in Java, called JACK. The main objective of the framework is the design and implementation of process algebra constructs that provides as naturally as possible, the algebraic idiom as an extension package to Java. This work emphasises the use of design patterns and pattern languages to properly build frameworks like this, achieving desired software engineering properties and software quality requirements. The user of the JACK framework is able to describe its process specification in Java
- …
