- Subscribe to this page:
- RSS
- Email Alert
java
(1204 results)-
White Papers
Discovering Algorithms With Matrix Code
May 8, 2012 12:00am PDT
In first-year programming courses it is often difficult to show students how an algorithm can be discovered. In this paper, the authors present a program format that supports the development from...
Provided by: University of Victoria
-
White Papers
Implementation of Longitudinal Redundancy Check and Cyclic Redundancy Check Algorithms Using Netsim
May 5, 2012 12:00am PDT
Network Simulation is a comprehensive tool for studying computer networks. NetSim features state of the art network simulation technology, and comes with additional offerings that enhance and...
Provided by: Universal Association of Computer and Electronics Engineers
-
White Papers
Web Services for Converged IP Networks
May 5, 2012 12:00am PDT
Rapid growth of computer network leading to converging necessitates management of servers by a server. Simple Network Management Protocol (SNMP) based management cannot be used for the converged...
Provided by: Universal Association of Computer and Electronics Engineers
-
White Papers
Software-Based Decoy System for Insider Threats
May 4, 2012 12:00am PDT
Decoy technology and the use of deception are useful in securing critical computing systems by confounding and confusing adversaries with fake information. Deception leverages uncertainty forcing...
Provided by: Association for Computing Machinery
-
White Papers
Information-Flow Security for a Core of JavaScript
April 18, 2012 12:00am PDT
Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and resolving them. The...
Provided by: Chalmers University of Technology
-
-
White Papers
Simplified Coupling Metrics for Object-Oriented Software
April 17, 2012 12:00am PDT
Coupling in software has been linked with maintainability and existing metrics are used as predictors of external software quality attributes such as fault-proneness, impact analysis, ripple...
Provided by: International Journal of Computer Science and Information Technologies
-
White Papers
Programming With Permissions: An Introduction to HaMLet
April 13, 2012 12:00am PDT
The authors present the design of HaMLet, a programming language in the ML tradition, which places strong emphasis on the control of aliasing and access to mutable memory. A balance between...
Provided by: INRIA
-
White Papers
The KeY Approach for the Cryptographic Verification of JAVA Programs: A Case Study
April 2, 2012 12:00am PDT
In this paper, the authors report on an ongoing case study in which they use the KeY tool, a theorem prover for checking functional correctness and noninterference properties of JAVA programs, to...
Provided by: Karlsruhe Institute of Technology
-
White Papers
Scalable Parametric Runtime Monitoring
April 1, 2012 12:00am PDT
Run-time monitoring is an effective means to improve the reliability of systems. In recent years, parametric monitoring, which is highly suitable for object-oriented systems, has gained...
Provided by: University of Illinois
-
White Papers
Extending Java for Android Programming
April 1, 2012 12:00am PDT
Android is one of the most popular platforms for developing mobile applications. However, its framework relies on programming conventions and styles to implement framework-specific concepts like...
Provided by: University of Texas
-
White Papers
Lightweight Polymorphic Effects
March 29, 2012 12:00am PDT
Type-and-effect systems are a well-studied approach for reasoning about the computational behavior of programs. Nevertheless, there is only one example of an effect system that has been adopted in...
Provided by: EPFL
-
White Papers
A Framework for the Cryptographic Verification of Java-Like Programs
March 23, 2012 12:00am PDT
The authors consider the problem of establishing cryptographic guarantees - in particular, computational indistinguishability - for Java or Java-like programs that use cryptography. For this...
Provided by: University of Trier
-
White Papers
JavaMOP: Efficient Parametric Runtime Monitoring Framework
March 23, 2012 12:00am PDT
Runtime monitoring is a technique usable in all phases of the software development cycle, from initial testing, to debugging, to actually maintaining proper function in production code. Of...
Provided by: University of Illinois
-
White Papers
A Method to Annotate Programs With High-Level Knowledge of Computation
March 3, 2012 12:00am PST
When programming in languages such as C, Java, etc., it is difficult to reconstruct the programmer's ideas only from the program code. This occurs mainly because, much of the programmer's ideas...
Provided by: World Academy of Science, Engineering and Technology
-
White Papers
Software Metrics to Estimate Software Quality Using Software Component Reusability
March 1, 2012 12:00am PST
Today, most of the applications developed using some existing libraries, codes, open sources, etc. As a code is accessed in a program, it is represented as the software component. Such as in java...
Provided by: International Journal of Computer Science Issues
-
White Papers
A Calculus for Constraint-Based Flow Typing
March 1, 2012 12:00am PST
Flow typing offers an alternative to the traditional Hindley-Milner approach to type inference. A key distinction is that variables may have different types at different program points. Flow...
Provided by: Victoria University
-
White Papers
Development of a Scalable Architecture for Dynamic Web-Based Applications
March 1, 2012 12:00am PST
Web-based applications play a major role in the development and deployment of online services. Due to their unique medium of operation, they also have unique requirements when it comes to data...
Provided by: IRPN Press
-
White Papers
Towards Categorizing and Formalizing the JDK API
March 1, 2012 12:00am PST
Formal specification of correct library usage is extremely useful, both for software developers and for the formal analysis tools they use, such as model checkers or runtime monitoring systems....
Provided by: University of Illinois
-
White Papers
Using Built-In Domain-Specific Modeling Support to Guide Model-Based Test Generation
February 29, 2012 12:00am PST
The authors present a model-based testing approach to support automated test generation with domain-specific concepts. This includes a language expert who is an expert at building test models and...
Provided by: VTT
-
White Papers
Uncovering Performance Problems in Java Applications With Reference Propagation Profiling
February 29, 2012 12:00am PST
Many applications suffer from run-time bloat: excessive memory usage and work to accomplish simple tasks. Bloat significantly affects scalability and performance, and exposing it requires good...
Provided by: University of California
