- Subscribe to this page:
- RSS
- Email Alert
java
(1187 results)-
Whitepapers
IBM Tivoli Composite Application Manager for Web Resources: J2EE Agent Problem Determination Guide
Nov 2007
This paper provides instructions for installing and configuring the J2EE Data Collector for IBM Tivoli Composite Application Manager for Web Resources (ITCAM for Web Resources). The Data Collector...
Provided by IBM
-
Whitepapers
Handle Industry-Standard XSDs in Java Using IBM Rational Software Architect
Oct 2008
Many applications need to represent data in one or more industry-standard message formats specified using XSD. XSD is often an ideal way to specify industry-standard message formats because it's...
Provided by IBM
-
White Papers
Enabling Peer-to-Peer Web Service Architectures With JXTA-SOAP
Apr 2008
Service Oriented Architectures (SOA) are nowadays the de-facto standard for IT infrastructure integration in the business and commerce domain. To better cope with fundamental issues such as...
Provided by Università degli Studi di Parma
-
White Papers
A Java-Based Programming Language Support of Location Management in Pervasive Systems
Jun 2008
This paper presents an effort towards incorporating programming language support for pervasive systems development activities through extending on an already existing and stable programming...
Provided by American University in Cairo
-
White Papers
Java Type Inference Is Broken: Can We Fix It?
Oct 2008
Java 5 introduced a number of sophisticated features, including a major extension to the type system. While the technical details of these new features are complex, much of this complexity is...
Provided by Association for Computing Machinery
-
White Papers
Enforcing Java Run-Time Properties Using Bytecode Rewriting
Jan 2008
Bytecode rewriting is a portable way of altering Java's behavior by changing Java classes themselves as they are loaded. This mechanism allows programmers to modify the semantics of Java while...
Provided by Rice University
-
White Papers
State Extensions for Java PathFinder
May 2008
Java PathFinder (JPF) is an explicit-state model checker for Java programs. JPF implements a backtrackable Java Virtual Machine (JVM) that provides non-deterministic choices and control over...
Provided by Association for Computing Machinery
-
White Papers
jPredictor: A Predictive Runtime Analysis Tool for Java
Jan 2008
jPredictor is a tool for detecting concurrency errors in Java programs. The Java program is instrumented to emit property-relevant events at runtime and then executed. The resulting execution...
Provided by Association for Computing Machinery
-
White Papers
Optimized Execution of Deterministic Blocks in Java PathFinder
Jan 2008
Java PathFinder (JPF) is an explicit-state model checker for Java programs. It explores all executions that a given program can have due to different thread interleavings and nondeterministic...
Provided by University of Illinois
-
Case Studies
Managing Mission Critical J2EE Applications Using InsideApps
Apr 2008
Businesses all over the world are making more and more investment in enterprise technology to support their business objectives and deliver additional value to customers. In this case study, a...
Provided by determyne
-
Case Studies
Online Testing Service Adds Biometric Identification
Apr 2008
KRYTERION's core testing technology, Webassessor, delivers tests to candidates in the field for certification, accreditation, or licensing. Webassessor is back-ended with the open-sourced Tomcat...
Provided by JNBridge
-
White Papers
Dealing With Numeric Fields in Termination Analysis of Java-Like Languages
Dec 2008
Termination analysis tools strive to find proofs of termination for as wide a class of (terminating) programs as possible. Though several tools exist which are able to prove termination of...
Provided by Universidad Politecnica de Madrid
-
White Papers
Types for Atomicity: Static Checking and Inference for Java
Jul 2008
Atomicity is a fundamental correctness property in multithreaded programs. A method is atomic if, for every execution, there is an equivalent serial execution in which the actions of the method...
Provided by Association for Computing Machinery
-
White Papers
Constraint-Based Secure Information Flow Inference for a Java-Like Language
Jan 2009
This paper addresses the problem of checking programs written in a Java-like language, to ensure that they satisfy information flow policies like confidentiality and integrity in the presence of...
Provided by Kansas State University
-
White Papers
Using Access Control for Secure Information Flow in a Java-Like Language
Jan 2008
Access control mechanisms are widely used with the intent of enforcing confidentiality and other policies, but few formal connections have been made between information flow and access control....
Provided by Kansas State University
-
White Papers
Mostly-Functional Behavior in Java Programs
Oct 2008
This paper presents a lightweight type-and-effect system for Java programs that features two major innovations over extant object-oriented effects systems: initialization effects, which are writes...
Provided by University of Wisconsin
-
White Papers
Titanium: A High-Performance Java Dialect
Jan 2008
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allowing programmers to...
Provided by University of California
-
White Papers
JR: Flexible Distributed Programming in an Extended Java
Jan 2009
Java provides a clean object-oriented programming model and allows for inherently system-independent programs. Unfortunately, Java has a limited concurrency model, providing only threads and...
Provided by University of California
-
White Papers
Characterizing the SPEC JVM98 Benchmarks on the Java Virtual Machine
Jan 2009
This paper presents the results of a characterization analysis performed on the Java Virtual Machine (JVM) using the SPEC JVM98 benchmarks. An instrument is developed that runs inside the JVM that...
Provided by Northeastern University
-
White Papers
NEUStore (Version 1.4): A Simple Java Package for the Construction of Disk-Based, Paginated, and Buffered Indices
Sep 2008
This paper describes NEUStore, a Java package that aims to support the development of disk-based, paginated, and buffered index structures. It starts with an overview figure with 16 classes. Three...
Provided by Northeastern University
-
White Papers
Distributed, Multi-Threaded Verification of Java Programs
Jan 2008
Extended Static Checking (ESC) is a fully automated formal verification technique and is generally quite efficient, as far as verification tools go, but it is still orders of magnitude slower than...
Provided by Concordia University
-
White Papers
Adapting JML to Generic Types and Java 1.6
Jan 2008
Despite the effort to implement the Java Modeling Language for Java 1.5, and in particular for generic types, there has been no analysis of the effect of such a transition on JML itself, nor of...
Provided by Eastman Kodak Company
-
White Papers
StockMaster: A Java-Based Stock Portfolio Manager
Jan 2008
This paper introduces StockMaster, a stock portfolio manager which uses Java applets and applications to provide portfolio information for users through a web interface. Stock-Master uses a...
Provided by University of California
-
Case Studies
Ensuring Justice Remains Available - and Accessible - 24 Hours a Day
Nov 2007
Justice Technology Services (JTS) was established to provide a variety of shared technologies to assist major agencies within South Australia's justice system. Making information readily and...
Provided by CA
-
White Papers
Mobile AJAX Applications: Going Far Without the Bars
Aug 2008
Mobile application developers face two kinds of difficulties due to weak connectivity: dealing with heterogeneous data access models and performing data synchronization. This paper explores how a...
Provided by Oracle
-
White Papers
Race Condition in Ajax-Based Web Application
Jul 2008
The automicity is an important issue in asynchronous based data communication. In the modern web application today, asynchronous introduces hazardous effect causing unexpected results. This paper...
Provided by Southern Polytechnic State University
-
White Papers
Exploring Small-Scale and Large-Scale CMP Architectures for Commercial Java Servers
Nov 2006
As users enter the era of Chip MultiProcessor (CMP) architectures, it is important that to explore the scaling characteristics of mainstream server workloads on these platforms. This paper...
-
White Papers
Data Flow Analysis for Software Prefetching Linked Data Structures in Java
Jan 2008
This paper describes an effective compile-time analysis for software prefetching in Java. Previous work in software data prefetching for pointer-based codes uses simple compiler algorithms and...
Provided by University of Massachusetts
-
White Papers
Java Debug Hardware Models Using JBits
Jan 2008
This paper presents a methodology for extending FPGA bitstream-level debug and simulation capabilities, through the inclusion of Java/JBits-based hardware device models. Using the JBits API,...
Provided by Virginia Polytechnic Institute and State University
-
White Papers
Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications
Jan 2008
Widespread usage of independently developed COTS components or frameworks facilitates construction of large software systems, but complicates the task of ensuring their availability, because error...
Provided by Association for Computing Machinery
-
White Papers
A Lightweight Java Taskspaces Framework for Scientific Computing on Computational Grids
Jan 2008
A prototype Taskspaces framework for grid computing of scientific computing problems that require intertask communication is presented. The Taskspaces framework is characterized by three major...
Provided by University of Colorado
-
White Papers
Discovering Documentation for Java Container Classes
Dec 2007
Modern programs make extensive use of reusable software libraries. Given the extensive code reuse in Java programs, it is important for the reusable interfaces to have clear and unambiguous...
Provided by University of Colorado
-
White Papers
Developing and Debugging Algebraic Specifications for Java Classes
Dec 2007
Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in those applications...
Provided by Association for Computing Machinery
-
White Papers
A Technique for Dynamic Updating of Java Software
Jan 2008
During maintenance, systems are updated to correct faults, improve functionality, and adapt the software to changes in its execution environment. The typical software update process consists of...
Provided by Georgia Institute of Technology
-
White Papers
Distributed Process Networks in Java
Jan 2008
Kahn defines a formal model for networks of processes that communicates through channels carrying streams of data tokens. The mathematical results show the necessary conditions for an...
Provided by COLGATE UNIVERSITY
-
White Papers
Improving TLB Energy for Java Applications on JVM
Jan 2008
Java platforms are widely deployed and used ranging from ultra-mobile embedded devices to servers for their portability and security. The TLB, a content addressable memory, can consume a...
Provided by Georgia Institute of Technology
-
White Papers
From Motes to Java Stamps: Smart Sensor Network Testbeds
Jan 2008
University of Utah has proposed Smart Sensor Networks (SNets) as an architecture and set of distributed algorithms to extract interpret and exploit networked sensor devices. Heretofore, the...
Provided by University of Utah
-
White Papers
Nested Java Processes: OS Structure for Mobile Code
Jan 2008
The majority of work on protection in single-language mobile code environments focuses on information security issues and depends on the language environment for solutions to the problems of...
Provided by University of Utah
-
White Papers
Flexible Task Graphs: A Unified Restricted Thread Programming Model for Java
Jun 2008
This paper presents Flexible Task Graphs (Flexotasks), a single system that allows different isolation policies and mechanisms to be combined in an orthogonal manner, subsuming four previously...
Provided by Association for Computing Machinery
-
White Papers
The Non-Linearity of Volatile in Java
Jun 2008
Linear logic and related logics (such as separation logic and fractional permissions) have proven useful in verifying concurrent programs because they make it easy to reason about heap separation...
Provided by University of Wisconsin
-
Whitepapers
Deal With Errors in XML Parsing: Handle Errors in XML Parsing With SAX
Jul 2008
With the ease of XML parsing in the newer Java language APIs, from JAXP to JAXB to JAX-WS, XML parsing has become foundational to Java programming. But with the abstractions and higher-level APIs...
Provided by IBM
-
White Papers
A Home for Your Chrome: Easily Enforce Consistent Look and Feel With Page Templates
Jul 2008
When creating a professional-looking presentation, one defines a consistent layout and style for all the slides by editing the "Master slide." One can concentrate on the content and easily change...
Provided by Oracle
-
White Papers
Basic Java Persistence API Best Practices: Consider and Employ These Simple Approaches to Make Your Java Persistence API Applications More Maintainable
May 2008
The Java Persistence API (JPA), which is part of the Enterprise JavaBeans (EJB) 3.0 spec and is now the standard API for persistence and object/relational mapping for the Java EE platform,...
Provided by Oracle
-
White Papers
Oracle Workshop's Support for Java EE 5 Web Standards: Learn How to Develop Java EE Web Applications, Using Oracle Workshop for WebLogic
Aug 2008
For a long time, J2EE seemed a powerful, complex technology. If one took the time to fully understand it, however, one would have discovered ingenious solutions for building scalable...
Provided by Oracle
-
White Papers
NetBeans, Solaris, GlassFish: The Ruby's Red Slippers Fit
Jun 2008
Opening the JVM to Ruby and the advent of JRuby on Rails marks an advance in Java technology. It enables the faster creation of easily maintained and rich web sites in the Web 2.0 era. Of...
Provided by Sun Microsystems
-
White Papers
How Java Plays With Scripting Languages
Jun 2008
Off late Google search trends show that searches for the word "Java" are declining slightly, and searches for scripting language names, like JavaScript, PHP, Ruby, Python, and Rails, are...
Provided by Sun Microsystems
-
White Papers
Using UI Components in Compiled JavaFX Script Technology
Apr 2008
The previous paper of this series, Creating Rich Internet Applications With Compiled JavaFX Script Technology, covered how to develop, compile, and run a simple JavaFX Script technology-based...
Provided by Sun Microsystems
-
White Papers
Using Java Objects Within JavaFX Programs
May 2008
The seamless integration of JavaFX Script with pure Java code is one of the most interesting features of JavaFX Script. Using Java objects within JavaFX Script is simple, because JavaFX Script was...
Provided by Sun Microsystems
-
White Papers
Learning Curve Journal, Part 4: Accessing a Web Service
Jul 2008
This Learning Curve Journal series introduced a number of basic concepts and techniques to help one get started using the JavaFX Script programming language (shortened in this series to JavaFX...
Provided by Sun Microsystems
-
White Papers
Learning Curve Journal, Part 3: JavaFX Script Functions
Jul 2008
Use functions to add behavior to JavaFX applications. UI components have attributes that map to functions. One can define those functions to handle UI events such as action, onMouseClicked, and...
Provided by Sun Microsystems
-
White Papers
Learning Curve Journal, Part 2: Declarative User Interfaces
Jul 2008
Having used the Java programming language to define user interfaces for nearly a decade, the author's first experiences with JavaFX Script quickly highlighted a major difference between the two...
Provided by Sun Microsystems
-
White Papers
Learning Curve Journal, Part 1: Exploring JavaFX Script
Jul 2008
JavaFX Script is a new scripting language that developers can use to create dynamic graphical content. On the desktop, the language provides libraries to help the developer use the Swing User...
Provided by Sun Microsystems
-
White Papers
New Gaming Experiences With OpenGL ES and the Mobile Sensor API
Apr 2008
For game developers focused on Java ME, there are two APIs available for creating 3D graphics, the Mobile 3D API (JSR-184) and the OpenGL ES bindings for Java ME (JSR-239). The Mobile 3D API is...
Provided by Sun Microsystems
-
White Papers
Java ME Technology: Everything a Developer Needs for the Mobile Market
Jul 2008
Before describing how to learn Java ME technology, it is important to answer why one would benefit from learning about it. With the myriad of technology choices, what makes Java ME a good...
Provided by Sun Microsystems
-
White Papers
Using JAX-WS With Maven
Jan 2008
Java API for XML-Based Web Services, JAX-WS, is a fundamental technology for developing SOAP-based and RESTful Java Web services, and is a key part of project Metro, the web services technology...
Provided by Sun Microsystems
-
White Papers
Extended Persistence Context in Stateful Session Beans
Feb 2008
The Java Persistence Architecture, a part of the Enterprise JavaBeans 3.0 (EJB 3.0) specification, simplified the development of EJB applications using data persistence. A major simplification was...
Provided by Sun Microsystems
-
White Papers
Adding Voice to Java EE With SIP Servlets
Feb 2008
Session Initiation Protocol (SIP) is a signaling protocol that is used to set up, modify, and terminate a session between two endpoints. SIP can be used to set up a two-party call, a multi-party...
Provided by Sun Microsystems
-
White Papers
Referencing Multiple Web Services From an Application Client
Mar 2008
JSR 109: Implementing Enterprise Web Services defines the programming model and runtime architecture for implementing web services in Java. The architecture builds on the Java EE component...
Provided by Sun Microsystems
-
White Papers
Better Programming With Java EE: A Conversation With Java Champion Adam Bien
Apr 2008
The truth is that building J2EE applications has never been really complex but is work- or typing-intensive. The developer had to accomplish rather boring activities. To deploy a simple...
Provided by Sun Microsystems
-
White Papers
Using JMaki With PHP on OpenSolaris
Jun 2008
OpenSolaris is an Operating System (OS), an open source project, and a community. The project's goals are innovation, collaboration, and the extension of OpenSolaris technologies such as Solaris...
Provided by Sun Microsystems
-
White Papers
Introducing Java SE 6 Update 10 RC
Apr 2008
The upcoming Java SE 6 update 10 (currently in RC release) is a very different animal than the updates that preceded it. Java SE 6u10 pushes the envelope by adding more new features and...
Provided by Sun Microsystems
-
White Papers
How to Create Translucent and Shaped Windows
Aug 2008
JavaFX Script is a capable new language that offers a set of APIs for creating RIAs. It also provides the user with access to the rich features of the standard Java language. One of the major...
Provided by Sun Microsystems
-
White Papers
Next Generation in Applet Java Plug-in Technology
Jun 2008
The introduction of JNLP support in the Java Plug-in opens up many new possibilities for applet deployment and represents a large step forward in the unification of the deployment of Java content...
Provided by Sun Microsystems
-
White Papers
The New Draggable Applet Feature in the Java SE 6 Update 10 Plug-In
Jul 2008
Starting in Java SE 6 Update 10, currently in beta release, the new Java Plug-in includes a draggable feature for applets. This feature allows users to bring together their browser and desktop...
Provided by Sun Microsystems
-
White Papers
An Introduction to Real-Time Java Technology: Part 1, the Real-Time Specification for Java (JSR 1)
Jul 2008
Real-time computing is often associated with high speed, but this is only one part of the picture. At its core, real-time computing is about predictability - the knowledge that the system will...
Provided by Sun Microsystems
-
White Papers
An Introduction to Real-Time Java Technology: Part 2, Garbage Collection and the Sun Java Real-Time System (Java RTS)
Jul 2008
Because Garbage Collection (GC) is one of the largest sources of unpredictability in Java applications, a real-time Virtual Machine (VM) must find a way to prevent collection pauses from causing...
Provided by Sun Microsystems
-
Webcasts
MSDN Webcast: Programming a Full-Blown AJAX Enterprise Application in 20 Minutes (Level 100)
Jun 2008
It is all about simplicity when programming next-generation, complex Asynchronous JavaScript And XML (AJAX) applications. This webcast develops a fully blown AJAX enterprise application by...
Provided by Microsoft
-
White Papers
BEA Liquid Operations Control: Application Virtualization for Enterprise Java
Feb 2008
BEA Liquid Operations Control is an enterprise application virtualization product that enables centralized governance and control over Java applications, including dynamic activation and...
Provided by BEA Systems
-
White Papers
Enterprise Java Virtualization - Understanding the TCO Implications: An Executive Brief
Jan 2008
There are a number of possible deployment models for running enterprise Java applications on hypervisor-based virtualization platforms such as VMware's Virtual Infrastructure. Which one the user...
Provided by BEA Systems
-
Whitepapers
Debugging a Custom Content Manager OnDemand Web Enablement Kit Java API Web Application
Dec 2007
This paper delineates how to debug the most common mistakes made while writing a Java application which uses the IBM Content Manager OnDemand Web Enablement Kit Application Programming Interface...
Provided by IBM
-
Case Studies
Creating a Customer-Focused, Agile Airline
Dec 2007
British Airways is one of the world's largest international airlines. At the time it was revolutionary, but it was based on proprietary technology, it was difficult to scale and it lacked robust...
Provided by BEA Systems
-
Webcasts
MSDN Webcast: Designer Series (Part 4 of 5): Working With JavaScript and Publishing Your Work (Level 200)
Dec 2007
Microsoft Expression Encoder makes encoding and working with media a cinch. The presenter of this webcast explains how to create markers in the code that allows calling events. The presenter shows...
Provided by Microsoft Tips
-
Whitepapers
Create Ajax-Style Architectures With the IBM Web 2.0 Feature Pack
Mar 2008
This paper shows the user how a Java 2 Platform, Enterprise Edition (J2EE) application was enhanced with an Ajax-style architecture by using the IBM WebSphere Application Server Feature Pack for...
Provided by IBM
-
White Papers
The Meanings and Motivations of Open-Source Communities
Aug 2007
At the heart of Phipps's analysis is a process of decentralization that is affecting the lives of people across the globe. With the advent of the web and broadband, and with large-scale...
Provided by Sun Microsystems
-
White Papers
Java SE 6 Performance White Paper
Dec 2007
One of the principal design centers for Java Platform, Standard Edition 6 (Java SE 6) was to improve performance and scalability by targeting performance deficiencies highlighted by some of the...
Provided by Sun Microsystems
-
White Papers
Using Java Persistence API Within a Visual Web JSF Application
Dec 2007
Using NetBeans IDE 6.0 and the Visual Web tools, one can write applications that connect to database tables using the Java Persistence API (JPA) in addition to the Visual Web JSF data provider...
Provided by Sun Microsystems
-
White Papers
Creating Rich Internet Applications With Compiled JavaFX Script Technology
Jan 2008
The JavaFX family of technologies currently contains two products: the JavaFX Script and the JavaFX Mobile platforms. The latter is a platform for mobile phones and other mobile devices. The focus...
Provided by Sun Microsystems
-
White Papers
Using Subversion, NetBeans IDE, and Sun Java System Web Server With Java ME
Jan 2008
A great deal of software is available to developers, even in what many would consider the small Java Platform, Mobile Edition (Java ME) space. With so much choice, it's difficult to determine...
Provided by Sun Microsystems
-
White Papers
JSFTemplating and Woodstock: Component Authoring Made Easy
Dec 2007
In a recent paper, JSFTemplating was applied to writing JavaServer Faces components. That article presents a simple way to develop a JavaServer Faces component Renderer, moving the markup for a...
Provided by Sun Microsystems
-
Case Studies
Fairfield Residential LLC Improves Information Access With Flexible Human Capital Management Solution
Feb 2008
Fairfield Residential LLC is a leader in the multi-family home industry and consistently ranks among the largest multi-family home developers, builders, and redevelopers nationwide. Fairfield...
Provided by Oracle
-
White Papers
A Java-Based Programming Language Support of Location Management in Pervasive Systems
Jun 2008
This paper presents an effort towards incorporating programming language support for pervasive systems development activities through extending on an already existing and stable programming...
Provided by American University in Cairo
-
White Papers
Java Type Inference Is Broken: Can We Fix It?
Oct 2008
Java 5 introduced a number of sophisticated features, including a major extension to the type system. While the technical details of these new features are complex, much of this complexity is...
Provided by Association for Computing Machinery
-
White Papers
Enforcing Java Run-Time Properties Using Bytecode Rewriting
Jan 2008
Bytecode rewriting is a portable way of altering Java's behavior by changing Java classes themselves as they are loaded. This mechanism allows programmers to modify the semantics of Java while...
Provided by Rice University
-
White Papers
Comp 511 Project: A Staged Interpreter for Featherweight Java
Jan 2008
The staged interpreter presented in this paper is very specific: it breaks execution into several stages with respect to the values that must be supplied to the methods that are invoked in a...
Provided by Rice University
-
White Papers
State Extensions for Java PathFinder
May 2008
Java PathFinder (JPF) is an explicit-state model checker for Java programs. JPF implements a backtrackable Java Virtual Machine (JVM) that provides non-deterministic choices and control over...
Provided by Association for Computing Machinery
-
White Papers
jPredictor: A Predictive Runtime Analysis Tool for Java
Jan 2008
jPredictor is a tool for detecting concurrency errors in Java programs. The Java program is instrumented to emit property-relevant events at runtime and then executed. The resulting execution...
Provided by Association for Computing Machinery
-
White Papers
Optimized Execution of Deterministic Blocks in Java PathFinder
Jan 2008
Java PathFinder (JPF) is an explicit-state model checker for Java programs. It explores all executions that a given program can have due to different thread interleavings and nondeterministic...
Provided by University of Illinois
-
Case Studies
Managing Mission Critical J2EE Applications Using InsideApps
Apr 2008
Businesses all over the world are making more and more investment in enterprise technology to support their business objectives and deliver additional value to customers. In this case study, a...
Provided by determyne
-
Case Studies
Online Testing Service Adds Biometric Identification
Apr 2008
KRYTERION's core testing technology, Webassessor, delivers tests to candidates in the field for certification, accreditation, or licensing. Webassessor is back-ended with the open-sourced Tomcat...
Provided by JNBridge
-
White Papers
Dealing With Numeric Fields in Termination Analysis of Java-Like Languages
Dec 2008
Termination analysis tools strive to find proofs of termination for as wide a class of (terminating) programs as possible. Though several tools exist which are able to prove termination of...
Provided by Universidad Politecnica de Madrid
-
White Papers
Types for Atomicity: Static Checking and Inference for Java
Jul 2008
Atomicity is a fundamental correctness property in multithreaded programs. A method is atomic if, for every execution, there is an equivalent serial execution in which the actions of the method...
Provided by Association for Computing Machinery
-
White Papers
Constraint-Based Secure Information Flow Inference for a Java-Like Language
Jan 2009
This paper addresses the problem of checking programs written in a Java-like language, to ensure that they satisfy information flow policies like confidentiality and integrity in the presence of...
Provided by Kansas State University
-
White Papers
Using Access Control for Secure Information Flow in a Java-Like Language
Jan 2008
Access control mechanisms are widely used with the intent of enforcing confidentiality and other policies, but few formal connections have been made between information flow and access control....
Provided by Kansas State University
-
White Papers
Mostly-Functional Behavior in Java Programs
Oct 2008
This paper presents a lightweight type-and-effect system for Java programs that features two major innovations over extant object-oriented effects systems: initialization effects, which are writes...
Provided by University of Wisconsin
-
White Papers
Titanium: A High-Performance Java Dialect
Jan 2008
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allowing programmers to...
Provided by University of California
-
White Papers
JR: Flexible Distributed Programming in an Extended Java
Jan 2009
Java provides a clean object-oriented programming model and allows for inherently system-independent programs. Unfortunately, Java has a limited concurrency model, providing only threads and...
Provided by University of California
-
White Papers
Characterizing the SPEC JVM98 Benchmarks on the Java Virtual Machine
Jan 2009
This paper presents the results of a characterization analysis performed on the Java Virtual Machine (JVM) using the SPEC JVM98 benchmarks. An instrument is developed that runs inside the JVM that...
Provided by Northeastern University
-
White Papers
NEUStore (Version 1.4): A Simple Java Package for the Construction of Disk-Based, Paginated, and Buffered Indices
Sep 2008
This paper describes NEUStore, a Java package that aims to support the development of disk-based, paginated, and buffered index structures. It starts with an overview figure with 16 classes. Three...
Provided by Northeastern University
-
White Papers
Distributed, Multi-Threaded Verification of Java Programs
Jan 2008
Extended Static Checking (ESC) is a fully automated formal verification technique and is generally quite efficient, as far as verification tools go, but it is still orders of magnitude slower than...
Provided by Concordia University
-
White Papers
Adapting JML to Generic Types and Java 1.6
Jan 2008
Despite the effort to implement the Java Modeling Language for Java 1.5, and in particular for generic types, there has been no analysis of the effect of such a transition on JML itself, nor of...
Provided by Eastman Kodak Company
-
White Papers
StockMaster: A Java-Based Stock Portfolio Manager
Jan 2008
This paper introduces StockMaster, a stock portfolio manager which uses Java applets and applications to provide portfolio information for users through a web interface. Stock-Master uses a...
Provided by University of California
-
Case Studies
Ensuring Justice Remains Available - and Accessible - 24 Hours a Day
Nov 2007
Justice Technology Services (JTS) was established to provide a variety of shared technologies to assist major agencies within South Australia's justice system. Making information readily and...
Provided by CA
-
White Papers
Mobile AJAX Applications: Going Far Without the Bars
Aug 2008
Mobile application developers face two kinds of difficulties due to weak connectivity: dealing with heterogeneous data access models and performing data synchronization. This paper explores how a...
Provided by Oracle
-
White Papers
Race Condition in Ajax-Based Web Application
Jul 2008
The automicity is an important issue in asynchronous based data communication. In the modern web application today, asynchronous introduces hazardous effect causing unexpected results. This paper...
Provided by Southern Polytechnic State University
-
White Papers
Exploring Small-Scale and Large-Scale CMP Architectures for Commercial Java Servers
Nov 2006
As users enter the era of Chip MultiProcessor (CMP) architectures, it is important that to explore the scaling characteristics of mainstream server workloads on these platforms. This paper...
-
White Papers
Data Flow Analysis for Software Prefetching Linked Data Structures in Java
Jan 2008
This paper describes an effective compile-time analysis for software prefetching in Java. Previous work in software data prefetching for pointer-based codes uses simple compiler algorithms and...
Provided by University of Massachusetts
-
White Papers
Java Debug Hardware Models Using JBits
Jan 2008
This paper presents a methodology for extending FPGA bitstream-level debug and simulation capabilities, through the inclusion of Java/JBits-based hardware device models. Using the JBits API,...
Provided by Virginia Polytechnic Institute and State University
-
White Papers
Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications
Jan 2008
Widespread usage of independently developed COTS components or frameworks facilitates construction of large software systems, but complicates the task of ensuring their availability, because error...
Provided by Association for Computing Machinery
-
White Papers
A Lightweight Java Taskspaces Framework for Scientific Computing on Computational Grids
Jan 2008
A prototype Taskspaces framework for grid computing of scientific computing problems that require intertask communication is presented. The Taskspaces framework is characterized by three major...
Provided by University of Colorado
-
White Papers
Discovering Documentation for Java Container Classes
Dec 2007
Modern programs make extensive use of reusable software libraries. Given the extensive code reuse in Java programs, it is important for the reusable interfaces to have clear and unambiguous...
Provided by University of Colorado
-
White Papers
Developing and Debugging Algebraic Specifications for Java Classes
Dec 2007
Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in those applications...
Provided by Association for Computing Machinery
-
White Papers
A Technique for Dynamic Updating of Java Software
Jan 2008
During maintenance, systems are updated to correct faults, improve functionality, and adapt the software to changes in its execution environment. The typical software update process consists of...
Provided by Georgia Institute of Technology
-
White Papers
Distributed Process Networks in Java
Jan 2008
Kahn defines a formal model for networks of processes that communicates through channels carrying streams of data tokens. The mathematical results show the necessary conditions for an...
Provided by COLGATE UNIVERSITY
-
White Papers
Improving TLB Energy for Java Applications on JVM
Jan 2008
Java platforms are widely deployed and used ranging from ultra-mobile embedded devices to servers for their portability and security. The TLB, a content addressable memory, can consume a...
Provided by Georgia Institute of Technology
-
White Papers
From Motes to Java Stamps: Smart Sensor Network Testbeds
Jan 2008
University of Utah has proposed Smart Sensor Networks (SNets) as an architecture and set of distributed algorithms to extract interpret and exploit networked sensor devices. Heretofore, the...
Provided by University of Utah
-
White Papers
Nested Java Processes: OS Structure for Mobile Code
Jan 2008
The majority of work on protection in single-language mobile code environments focuses on information security issues and depends on the language environment for solutions to the problems of...
Provided by University of Utah
-
White Papers
Flexible Task Graphs: A Unified Restricted Thread Programming Model for Java
Jun 2008
This paper presents Flexible Task Graphs (Flexotasks), a single system that allows different isolation policies and mechanisms to be combined in an orthogonal manner, subsuming four previously...
Provided by Association for Computing Machinery
-
White Papers
The Non-Linearity of Volatile in Java
Jun 2008
Linear logic and related logics (such as separation logic and fractional permissions) have proven useful in verifying concurrent programs because they make it easy to reason about heap separation...
Provided by University of Wisconsin
-
White Papers
Performance Comparison of Web Service Engines in PHP, Java, and C
Jan 2008
This paper performs a thorough study of the capability of PHP as a web service engine in both qualitative and quantitative aspects while comparing it with other web service engines implemented in...
Provided by Institute of Electrical and Electronics Engineers
-
Whitepapers
WebSphere Application Server V7.0: Technical Overview
Dec 2008
WebSphere Application Server is the implementation by IBM of the Java Platform, Enterprise Edition (Java EE) platform. It conforms to the Java EE 5 specification. WebSphere Application Server is...
Provided by IBM
