- Subscribe to this page:
- RSS
- Email Alert
object-oriented
(889 results)-
White Papers
An Interpreter for Server-Side Hop
Oct 2011
HOP is a Scheme-based multi-tier programming language for the Web. The client-side of a program is compiled to JavaScript, while the server-side is executed by a mix of natively compiled code and...
Provided by Association for Computing Machinery
-
White Papers
The SCOOP Concurrency Model in Java-Like Languages
Aug 2009
SCOOP is a minimal extension to the sequential object-oriented programming model for concurrency. The extension consists of one keyword (separate) that avoids explicit thread declarations,...
Provided by IOS Press
-
White Papers
Deadlock Freedom Through Object Ownership
Jul 2009
Active objects are an attractive method of introducing concurrency into Java-like languages by decoupling method execution from invocation. In this paper, the authors show how ownership is used in...
Provided by Association for Computing Machinery
-
White Papers
Towards Automatic Generation and Regeneration of Logic Representation for Object-Oriented Programming Languages
Jun 2008
Logic based representation has great potential for program analysis and transformation. Such a logic support for a programming language can be manually provided by modeling the grammar and writing...
Provided by Politehnica University of Timisoara
-
White Papers
Computer Aided Modelling Exercises
Jan 2012
The main goal of the course "Object-oriented business modelling" is to familiarise students with object-oriented analysis techniques and to have them acquire the necessary skills to actually...
Provided by Katholieke Universiteit Leuven
-
White Papers
Static Correspondence and Correlation Between Field Defects and Warnings Reported by a Bug Finding Tool
Dec 2011
Despite the interest and the increasing number of static analysis tools for detecting defects in software systems, there is still no consensus on the actual gains that such tools introduce in...
Provided by Springer Science+Business Media
-
White Papers
Modularizing Communication Middleware Concerns Using Aspects
Jan 2008
Software engineers often rely on communication middleware platforms to design and implement distributed systems. However, middleware functionality is usually invasive, pervasive and tangled with...
Provided by Institute of Informatics and Telematics (IIT)
-
White Papers
A Remote Display System for Java-Based Mobile Applications
Mar 2008
Remote presentation is an interesting model for executing applications in mobile devices since applications can be executed on a server and their interfaces displayed on mobile clients. This paper...
Provided by Association for Computing Machinery
-
White Papers
A Gentle Introduction to OSGi
Sep 2008
The Open Services Gateway Initiative (OSGi) is a framework that supports the implementation of component-based, service-oriented applications in Java. The framework manages the lifecycle of...
Provided by Institute of Informatics and Telematics (IIT)
-
White Papers
Object-Oriented Transformations for Extracting Aspects
Feb 2008
In the migration of object-oriented systems towards the aspect technology, after locating fragments of code presenting a crosscutting behavior and before extracting such code to aspects,...
Provided by Reed Elsevier
-
White Papers
A Dependency Constraint Language to Manage Object-Oriented Software Architectures
Apr 2009
This paper presents a domain-specific dependency constraint language that allows software architects to restrict the spectrum of structural dependencies, which can be established in...
Provided by John Wiley & Sons
-
White Papers
Animating the Formalised Semantics of a Java-Like Language
May 2011
Considerable effort has gone into the techniques of extracting executable code from formal specifications and animating them. The authors show how to apply these techniques to the large...
Provided by Technische Universitat Munchen
-
White Papers
CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types
Dec 2007
The authors describe an executable specification of the Java Virtual Machine (JVM) within the Coq proof assistant. The principal features of the development are that it is executable, meaning that...
Provided by University of Edinburgh
-
White Papers
On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols
Jan 2012
This paper introduces Expi2Java, a new code generator for cryptographic protocols that translates models written in an extensible variant of the Spi calculus into executable code in a substantial...
Provided by Saarland University
-
White Papers
BicolanoMT: A Formalization of Multi-Threaded Java at Bytecode Level
Apr 2008
This paper describes a formalization of multi-threaded Java bytecode in Coq. The formalization builds on the existing Bicolano formalization for sequential Java bytecode - which captures basically...
Provided by INRIA
-
White Papers
Object-Oriented Programming Semantics Representation Utilizing Agents
Oct 2011
Comprehending Object-Oriented Programming (OOP) is not an easy task especially by novice students. The problem occurs during the transition from learning fundamental programming language concept...
Provided by Journal of Theoretical and Applied Information Technology
-
White Papers
By Performance Metrics Analysis of CLR & JVM- A Survey
Aug 2011
This paper is mainly designed to show the evidence to prove difference between the Java Virtual Machine (JVM) and Common Language Run-time (CLR). The performance is measured with Execution time,...
Provided by Raipur Institute of Technology (RITEE)
-
White Papers
Model-Based Run-Time Checking of Security Permissions Using Guarded Objects
Feb 2008
In this paper, the authors deal with the application of run-time checking to enforce requirements which, because of their nature, cannot be enforced statically. More specifically, it deals with...
Provided by Open University
-
White Papers
Enumeration Refactoring: A Tool for Automatically Converting Java Constants to Enumerated Types
Sep 2010
Java 5 introduces several new features that offer significant improvements over older Java technology. The authors consider the new enum construct, which provides language support for enumerated...
Provided by Association for Computing Machinery
-
White Papers
Automated Refactoring of Legacy Java Software to Enumerated Types
Jul 2007
Java 1.5 introduces several new features that offer significant improvements over older Java technology. In this paper, the authors consider the new enum construct, which provides language support...
Provided by Ohio State University
-
White Papers
IDS: An Immune-Inspired Approach for the Detection of Software Design Smells
Jul 2010
The authors propose a parallel between object-oriented system designs and living creatures. They suggest that, like any living creature, system designs are subject to diseases, which are design...
Provided by Universite de Montreal
-
White Papers
A Dynamic Fault Localization Technique With Noise Reduction for Java Programs
May 2011
Existing fault localization techniques combine various program features and similarity coefficients with the aim of precisely assessing the similarities among the dynamic spectra of these program...
Provided by Zhejiang University
-
White Papers
Heap Cloning: Enabling Dynamic Symbolic Execution of Java Programs
Sep 2011
The dynamic symbolic-execution technique can automatically perform symbolic execution of programs that use problematic features of Java, such as native methods. However, to compute precise...
Provided by Georgia Institute of Technology
-
White Papers
Flow-Sensitive Type Recovery in Linear-Log Time
Oct 2011
The flexibility of dynamically typed languages such as JavaScript, Python, Ruby, and Scheme comes at the cost of run-time type checks. Some of these checks can be eliminated via control-flow...
Provided by Association for Computing Machinery
-
White Papers
Resolving and Exploiting the K-CFA Paradox
Jun 2010
Low-level program analysis is a fundamental problem, taking the shape of "Flow analysis" in functional languages and "Points-to" analysis in imperative and object-oriented languages. Despite the...
Provided by Association for Computing Machinery
-
White Papers
Study of Network Monitoring System Using Java RMI
Dec 2011
The corporate world looks at IT as that critical function having a say on day-to-day business, the choice of a network monitoring solution is a must factor in the business. In this paper, the...
Provided by International Journal of Electronics Communication and Computer Engineering
-
White Papers
Java Based High Performance of Parallel Processing Application With JavaParty
Dec 2011
To achieve better performance in parallel processing, which is implemented based on java application. In this paper, the authors work on high performance of parallel processing in a local network...
Provided by International Journal of Computer Science and Telecommunications
-
White Papers
A Jabber Based Framework for Building Communication Capable Java Mobile Applications
May 2009
The main aim of this framework and library is to provide Java Micro Edition developers a powerful mechanism that facilitates the process of building communication capable mobile applications. The...
Provided by American University in Cairo
-
White Papers
Single Block Attacks and Statistical Tests on CubeHash
Aug 2010
The authors have reported an attack on the CubeHash one-way hash function that finds a second pre-image consisting of a single message block. The attack requires minimal memory and was implemented...
Provided by Rochester Institute of Technology
-
White Papers
Conceptual Cohesion of Classes in Object Oriented Systems
Jul 2011
Cohesion measures in Object-oriented software reflect particular interpretations, High cohesion positively impacts understanding, reuse and maintenance. This paper proposes a new measure based on...
Provided by International Journal of Computer Science and Telecommunications
-
White Papers
Objects in Context: An Empirical Study of Object Relationships
May 2008
Object collaborations are at the core of all object-oriented programming, yet current class-based object-oriented programming languages do not provide an explicit construct to capture the...
Provided by ETH Zurich
-
White Papers
A Case Study for Aspect-Based Updating
Aug 2008
Rather than upgrading a software system to the next version by installing a new binary, software systems could be updated "On-the-fly" during their execution. The authors are developing a software...
Provided by ETH Zurich
-
White Papers
RPython: A Step Towards Reconciling Dynamically and Statically Typed OO Languages
Oct 2007
Although the C-based interpreter of Python is reasonably fast, implementations on the CLI or the JVM platforms offers some advantages in terms of robustness and interoperability. Unfortunately,...
Provided by Association for Computing Machinery
-
White Papers
Exploiting Task Order Information for Optimizing Sequentially Consistent Java Programs
Aug 2011
Java was designed as a secure language that supports running untrusted code as part of trusted applications. For safety reasons, Java therefore defines a memory model that prevents undefined...
Provided by ETH Zurich
-
White Papers
Modular Reasoning About Invariants Over Shared State With Interposed Data Members
Jan 2010
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and thus to confine a...
Provided by Association for Computing Machinery
-
White Papers
Reflective Parallel Programming Extensible and High-Level Control of Runtime, Compiler, and Application Interaction
Apr 2010
Thread support in most languages is opaque and low-level. Primitives like wait and signal do not allow users to determine the relative ordering of statements in different threads in advance. In...
Provided by ETH Zurich
-
White Papers
Dynamically Inferring, Refining, and Checking API Usage Protocols
Oct 2009
Using a set of API methods often requires compliance with a protocol, whose violation can lead to errors in the program. However, most APIs lack explicit and formal definitions of these protocols....
Provided by Association for Computing Machinery
-
White Papers
Programming With Intervals
Sep 2009
Intervals are a new, higher-level primitive for parallel programming with which programmers directly construct the program schedule. Programs using intervals can be statically analyzed to ensure...
Provided by ETH Zurich
-
White Papers
Dynamic Optimization for Efficient Strong Atomicity
Oct 2008
Transactional Memory (TM) is a promising concurrency control alternative to locks. Recent work has highlighted important memory model issues regarding TM semantics and exposed problems in existing...
Provided by Association for Computing Machinery
-
White Papers
Thread Safety Through Partitions and Effect Agreements
Sep 2008
This paper describes a safety analysis for a multithreaded system based upon transactional memory. The analysis guarantees that shared data is always read and written from within a transaction,...
Provided by ETH Zurich
-
White Papers
Fault Predictions in Object Oriented Software
Dec 2009
The dynamic software development organizations optimize the usage of resources to deliver the products in the specified time with the fulfilled requirements. This requires prevention or repairing...
Provided by Cornell University
-
White Papers
An Overview of Portable Distributed Techniques
May 2010
In this paper, the authors reviewed of several portable parallel programming paradigms for use in a distributed programming environment. The Techniques reviewed here are portable. These are mainly...
Provided by Rajiv Gandhi Proudyogiki Vishwavidyalaya
-
White Papers
Using Clustering and Blade Clusters in the TeraByte Task
Jan 2011
Web search engines exploit conjunctive queries and special ranking criteria which differ from the disjunctive queries typically used for ad-hoc retrieval. The authors wanted to asses the...
Provided by University of Pisa
-
White Papers
Goanna: Syntactic Software Model Checking
Aug 2008
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf NuSMV model...
Provided by University of New South Wales
-
White Papers
Computation of Fifth Degree of Spline Function Model by Using C++ Programming
Jan 2011
In this paper, a new quintic spline method developed for computing approximate solution of differential equations. It is shown that the present method is of the order three and four derivatives...
Provided by University of Sulaimani
-
White Papers
Compile-Time Analysis and Specialization of Clocks in Concurrent Programs
Jan 2009
Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms and thus spare the...
Provided by Columbia University
-
White Papers
Research on Embedded Java Virtual Machine and Its Porting
Sep 2007
Embedded Java Virtual Machine has seen wide applications with the fast development of embedded field. More and more embedded platforms choose the KVM porting to support Java Virtual Machine. This...
Provided by Nanjing University of Posts and Telecommunications
-
White Papers
An UML Statechart Diagram-Based MM-Path Generation Approach for Object-Oriented Integration Testing
Jun 2009
MM-Path, an acronym for Method/Message Path, describes the dynamic interactions between methods in object-oriented systems. This paper discusses the classifications of MM-Path, based on the...
Provided by Beijing University Of Technology
-
White Papers
Alternative Methods to Rank the Impact of Object Oriented Metrics in Fault Prediction Modeling Using Neural Networks
Jun 2009
The aim of this paper is to rank the impact of Object Oriented(OO) metrics in fault prediction modeling using Artificial Neural Networks(ANNs). Past studies on empirical validation of object...
Provided by GGS Indraprastha University
-
White Papers
Energy Conscious Builder Design Pattern With C# and Intermediate Language
Jun 2009
Design Patterns have gained more and more acceptances since their emerging in software development world last decade and become another de facto standard of essential knowledge for Object-Oriented...
Provided by Rangsit University
-
White Papers
Generating State-Based Testing Models for Object-Oriented Framework Interface Classes
Jun 2009
An application framework provides a reusable design and implementation for a family of software systems. Application developers extend the framework to build their particular applications using...
Provided by Kuwait University
-
White Papers
A Type and Effect System for Deterministic Parallelism in Object-Oriented Languages
Feb 2009
The authors describe a type and effect system for ensuring deterministic semantics in a concurrent object-oriented language. The system provides several new capabilities over previous work,...
Provided by University of Illinois
-
White Papers
Types, Regions, and Effects for Safe Programming With Object-Oriented Parallel Frameworks
Sep 2009
Object-oriented frameworks can make parallel programming easier by providing generic parallel algorithms such as map, reduce, or scan, and letting the user fill in the details with sequential...
Provided by University of Illinois
-
White Papers
libDAI: A Free and Open Source C++ Library for Discrete Approximate Inference in Graphical Models
Aug 2010
This paper describes the software package libDAI, a free & open source C++ library that provides implementations of various exact and approximate inference methods for graphical models with...
Provided by Radboud Universiteit Nijmegen
-
White Papers
JSCOOP: A High-Level Concurrency Framework for Java
Dec 2008
SCOOP is a minimal extension to the sequential object-oriented programming model for concurrency. The extension consists of one keyword (separate) that avoids explicit thread declarations,...
Provided by York University
-
White Papers
A Reusability Evaluation Model for OO-Based Software Components
Dec 2010
The requirement to improve software productivity has promoted the research on software metric technology. There are metrics for identifying the quality of reusable components but the function that...
Provided by Guru Nanak Dev University
-
White Papers
Representing Shared Join Points With State Charts: A High Level Design Approach
Jun 2009
Aspect Oriented Programming promises many advantages at programming level by incorporating the cross cutting concerns into separate units, called aspects. Join Points are distinguishing features...
Provided by Islamic University
-
White Papers
An Empirical Study of a Repeatable Method for Reengineering Procedural Software Systems to Object-Oriented Systems
Aug 2008
This paper describes a repeatable method for reengineering a procedural system to an object-oriented system. The method uses coupling metrics to assist a domain expert in identifying candidate...
Provided by Virginia Polytechnic Institute and State University
-
White Papers
Comprehending Object-Oriented Software Frameworks API Through Dynamic Analysis
Oct 2007
A common practice followed by many application developers is to use existing framework applications as a guide to understand how to implement a framework-provided concept of interest....
Provided by University of Waterloo
-
White Papers
Object-Oriented Intensional Programming: Intensional Classes Using Java and Lucid
Sep 2009
This paper introduces Object-Oriented Intensional Programming (OO-IP), a new hybrid language between Object-Oriented and Intensional Programming Languages in the sense of the latest evolutions of...
Provided by Concordia University
-
White Papers
OSM-Logic: A Fact-Oriented, Time-Dependent Formalization of Object-Oriented Systems Modeling
Apr 2011
The lack of fact-oriented, time-dependent formalizations of conceptual models leads to difficulties in inspecting and reasoning about system properties and predicting future behavior from past...
Provided by Utah State University
-
White Papers
State-Driven Test Generation Based on UML
Oct 2007
The authors report the investigation about test case generation based on UML in this paper. Since statechart diagram can capture system behaviors and at the same time can be expressed in a formal...
Provided by Iowa State University
-
White Papers
Comparison of Class Inheritance and Interface Usage in Object Oriented Programming Through Complexity Measures
Dec 2010
It is widely acknowledged that in software engineering, the usage of metrics at the initial phases of the object oriented software can help designers to make better decisions. The quality of class...
Provided by SRI VIDYA COLLEGE OF ENGINEERING COLLEGE & TECHNOLOGY
-
White Papers
Inheritance Metrics for Object-Oriented Design
Dec 2010
The inheritance metrics gives the people information about the inheritance tree of the system. Inheritance is a key feature of the Object-Oriented (OO) paradigm. This mechanism supports the class...
Provided by Birla Institute of Technology
-
White Papers
An Integrated Crosscutting Concern Migration Strategy and Its Application to JHoTDraw
Jul 2007
In this paper the authors propose a systematic strategy for migrating crosscutting concerns in existing object-oriented systems to aspect-based solutions. The proposed strategy consists of four...
Provided by Delft University of Technology
-
White Papers
Object-Oriented Approach for Integration of Heterogeneous Databases in a Multidatabase System and Local Schemas Modifications Propagation
Nov 2009
One of the challenging problems in the multidatabase systems is to find the most viable solution to the problem of interoperability of distributed heterogeneous autonomous local component...
Provided by Indian Institute of Technology Kharagpur
-
White Papers
Resource Control of Object-Oriented Programs
Jul 2007
A sup-interpretation is a tool which provides an upper bound on the size of a value computed by some symbol of a program. Supinterpretations have shown their interest to deal with the complexity...
Provided by Nancy Universite
-
White Papers
Object-Relational Database Based Category Data Model for Natural Language Interface to Database
Jan 2011
Domain specific question answering technique allows users to use natural language to express their queries so that users need not have the knowledge about the structures of the information source....
Provided by Visvesvaraya National Institute of Technology
-
White Papers
A Step-Indexed Semantics of Imperative Objects
Mar 2009
Step-indexed semantic interpretations of types were proposed as an alternative to purely syntactic proofs of type safety using subject reduction. The types are interpreted as sets of values...
Provided by Saarland University
-
White Papers
An Analysis of Bug Distribution in Object Oriented Systems
May 2009
The authors introduced a new approach to describe Java software as graph, where nodes represent a Java file called Compilation Unit (CU) and an edges represent a relations between them. The...
Provided by University of Cagliari
-
White Papers
An Object-Oriented and Fast Lexicon for Semantic Generation
May 2009
Delilah consists of a parser and a generator for complex Dutch sentences, in (ISO) Prolog. It yields full syntactic and semantic representations by unification of comprehensive lexical structures,...
Provided by Leiden University
-
White Papers
Enforcing User-Defined Constraints During the Run-Time in OODB
Oct 2008
In this paper a run-time model is proposed. The run-time model enforces integrity constraints for attributes that are derived from composition and inheritance hierarchies. The run-time model is...
Provided by Zarqa Private University
-
Whitepapers
Cloud computing: Innovative solutions for test environments
Apr 2011
This whitepaper features valuable insights pertaining to cloud usage and implementation scenarios for test cloud environments. Includes helpful guidance and scenarios for IT Managers and CIOs...
Provided by IBM
-
White Papers
New Approach for Conception and Implementation of Object Oriented Expert System Using UML
Jan 2009
Since conception is the primary part in the realization of a computer system and in order to help designers describe their software, several languages and tools such as the UML modeling language...
Provided by Association of Colleges of Computing and Information
-
White Papers
A New Allocation Technique for Methods and Attributes in Distributed Object-Oriented Databases Using Genetic Algorithms
Jan 2009
With the wide increase in using distributed object-oriented databases, it became important to find an efficient technique to store large-scale databases on the different sites. The allocation of...
Provided by Tanta University
-
White Papers
On Object-Orientation
Oct 2010
The use of the concepts of Object-Orientation (OO) in programming predates the existance of programming languages. In the 1960s the programming language Simula appears, which is considered the...
Provided by University of Amsterdam
-
White Papers
A Comparative Study of the Usability of Two Object-Oriented Concurrent Programming Languages
Nov 2010
Concurrency has been rapidly gaining importance in general-purpose computing, caused by the recent turn towards multicore processing architectures. As a result, an increasing number of developers...
Provided by University of Toronto
-
White Papers
Comparative Studies of 10 Programming Languages Within 10 Diverse Criteria
Sep 2010
There are many programming languages in the world today. Each language has their advantage and disadvantage. In this paper, the authors will discuss ten programming languages: C++, C#, Java,...
Provided by Concordia University
-
White Papers
A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode
Dec 2010
The authors propose a light-weight approach for certification of monitor inlining for sequential Java bytecode using proof-carrying code. The goal is to enable the use of monitoring for quality...
Provided by KTH
-
White Papers
Classdesc and Graphcode: Support for Scientific Programming in C++
Oct 2008
Object-oriented programming languages such as Java and Objective C have become popular for implementing agent-based and other object-based simulations since objects in those languages can reflect...
Provided by University of Tokyo
-
White Papers
The SCOOP Concurrency Model in Java-Like Languages
Aug 2009
SCOOP is a minimal extension to the sequential object-oriented programming model for concurrency. The extension consists of one keyword (separate) that avoids explicit thread declarations,...
Provided by IOS Press
-
White Papers
Deadlock Freedom Through Object Ownership
Jul 2009
Active objects are an attractive method of introducing concurrency into Java-like languages by decoupling method execution from invocation. In this paper, the authors show how ownership is used in...
Provided by Association for Computing Machinery
-
White Papers
Towards Automatic Generation and Regeneration of Logic Representation for Object-Oriented Programming Languages
Jun 2008
Logic based representation has great potential for program analysis and transformation. Such a logic support for a programming language can be manually provided by modeling the grammar and writing...
Provided by Politehnica University of Timisoara
-
White Papers
Computer Aided Modelling Exercises
Jan 2012
The main goal of the course "Object-oriented business modelling" is to familiarise students with object-oriented analysis techniques and to have them acquire the necessary skills to actually...
Provided by Katholieke Universiteit Leuven
-
White Papers
Static Correspondence and Correlation Between Field Defects and Warnings Reported by a Bug Finding Tool
Dec 2011
Despite the interest and the increasing number of static analysis tools for detecting defects in software systems, there is still no consensus on the actual gains that such tools introduce in...
Provided by Springer Science+Business Media
-
White Papers
Modularizing Communication Middleware Concerns Using Aspects
Jan 2008
Software engineers often rely on communication middleware platforms to design and implement distributed systems. However, middleware functionality is usually invasive, pervasive and tangled with...
Provided by Institute of Informatics and Telematics (IIT)
-
White Papers
A Remote Display System for Java-Based Mobile Applications
Mar 2008
Remote presentation is an interesting model for executing applications in mobile devices since applications can be executed on a server and their interfaces displayed on mobile clients. This paper...
Provided by Association for Computing Machinery
-
White Papers
A Gentle Introduction to OSGi
Sep 2008
The Open Services Gateway Initiative (OSGi) is a framework that supports the implementation of component-based, service-oriented applications in Java. The framework manages the lifecycle of...
Provided by Institute of Informatics and Telematics (IIT)
-
White Papers
Object-Oriented Transformations for Extracting Aspects
Feb 2008
In the migration of object-oriented systems towards the aspect technology, after locating fragments of code presenting a crosscutting behavior and before extracting such code to aspects,...
Provided by Reed Elsevier
-
White Papers
A Dependency Constraint Language to Manage Object-Oriented Software Architectures
Apr 2009
This paper presents a domain-specific dependency constraint language that allows software architects to restrict the spectrum of structural dependencies, which can be established in...
Provided by John Wiley & Sons
-
White Papers
Animating the Formalised Semantics of a Java-Like Language
May 2011
Considerable effort has gone into the techniques of extracting executable code from formal specifications and animating them. The authors show how to apply these techniques to the large...
Provided by Technische Universitat Munchen
-
White Papers
CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types
Dec 2007
The authors describe an executable specification of the Java Virtual Machine (JVM) within the Coq proof assistant. The principal features of the development are that it is executable, meaning that...
Provided by University of Edinburgh
-
White Papers
On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols
Jan 2012
This paper introduces Expi2Java, a new code generator for cryptographic protocols that translates models written in an extensible variant of the Spi calculus into executable code in a substantial...
Provided by Saarland University
-
White Papers
BicolanoMT: A Formalization of Multi-Threaded Java at Bytecode Level
Apr 2008
This paper describes a formalization of multi-threaded Java bytecode in Coq. The formalization builds on the existing Bicolano formalization for sequential Java bytecode - which captures basically...
Provided by INRIA
-
White Papers
Object-Oriented Programming Semantics Representation Utilizing Agents
Oct 2011
Comprehending Object-Oriented Programming (OOP) is not an easy task especially by novice students. The problem occurs during the transition from learning fundamental programming language concept...
Provided by Journal of Theoretical and Applied Information Technology
-
White Papers
By Performance Metrics Analysis of CLR & JVM- A Survey
Aug 2011
This paper is mainly designed to show the evidence to prove difference between the Java Virtual Machine (JVM) and Common Language Run-time (CLR). The performance is measured with Execution time,...
Provided by Raipur Institute of Technology (RITEE)
-
White Papers
Model-Based Run-Time Checking of Security Permissions Using Guarded Objects
Feb 2008
In this paper, the authors deal with the application of run-time checking to enforce requirements which, because of their nature, cannot be enforced statically. More specifically, it deals with...
Provided by Open University
-
White Papers
Enumeration Refactoring: A Tool for Automatically Converting Java Constants to Enumerated Types
Sep 2010
Java 5 introduces several new features that offer significant improvements over older Java technology. The authors consider the new enum construct, which provides language support for enumerated...
Provided by Association for Computing Machinery
-
White Papers
Automated Refactoring of Legacy Java Software to Enumerated Types
Jul 2007
Java 1.5 introduces several new features that offer significant improvements over older Java technology. In this paper, the authors consider the new enum construct, which provides language support...
Provided by Ohio State University
-
White Papers
IDS: An Immune-Inspired Approach for the Detection of Software Design Smells
Jul 2010
The authors propose a parallel between object-oriented system designs and living creatures. They suggest that, like any living creature, system designs are subject to diseases, which are design...
Provided by Universite de Montreal
-
White Papers
A Dynamic Fault Localization Technique With Noise Reduction for Java Programs
May 2011
Existing fault localization techniques combine various program features and similarity coefficients with the aim of precisely assessing the similarities among the dynamic spectra of these program...
Provided by Zhejiang University
-
White Papers
Heap Cloning: Enabling Dynamic Symbolic Execution of Java Programs
Sep 2011
The dynamic symbolic-execution technique can automatically perform symbolic execution of programs that use problematic features of Java, such as native methods. However, to compute precise...
Provided by Georgia Institute of Technology
-
White Papers
Flow-Sensitive Type Recovery in Linear-Log Time
Oct 2011
The flexibility of dynamically typed languages such as JavaScript, Python, Ruby, and Scheme comes at the cost of run-time type checks. Some of these checks can be eliminated via control-flow...
Provided by Association for Computing Machinery
-
White Papers
Resolving and Exploiting the K-CFA Paradox
Jun 2010
Low-level program analysis is a fundamental problem, taking the shape of "Flow analysis" in functional languages and "Points-to" analysis in imperative and object-oriented languages. Despite the...
Provided by Association for Computing Machinery
-
White Papers
Study of Network Monitoring System Using Java RMI
Dec 2011
The corporate world looks at IT as that critical function having a say on day-to-day business, the choice of a network monitoring solution is a must factor in the business. In this paper, the...
Provided by International Journal of Electronics Communication and Computer Engineering
-
White Papers
Java Based High Performance of Parallel Processing Application With JavaParty
Dec 2011
To achieve better performance in parallel processing, which is implemented based on java application. In this paper, the authors work on high performance of parallel processing in a local network...
Provided by International Journal of Computer Science and Telecommunications
-
White Papers
A Jabber Based Framework for Building Communication Capable Java Mobile Applications
May 2009
The main aim of this framework and library is to provide Java Micro Edition developers a powerful mechanism that facilitates the process of building communication capable mobile applications. The...
Provided by American University in Cairo
-
White Papers
Single Block Attacks and Statistical Tests on CubeHash
Aug 2010
The authors have reported an attack on the CubeHash one-way hash function that finds a second pre-image consisting of a single message block. The attack requires minimal memory and was implemented...
Provided by Rochester Institute of Technology
-
White Papers
Conceptual Cohesion of Classes in Object Oriented Systems
Jul 2011
Cohesion measures in Object-oriented software reflect particular interpretations, High cohesion positively impacts understanding, reuse and maintenance. This paper proposes a new measure based on...
Provided by International Journal of Computer Science and Telecommunications
-
White Papers
Objects in Context: An Empirical Study of Object Relationships
May 2008
Object collaborations are at the core of all object-oriented programming, yet current class-based object-oriented programming languages do not provide an explicit construct to capture the...
Provided by ETH Zurich
-
White Papers
A Case Study for Aspect-Based Updating
Aug 2008
Rather than upgrading a software system to the next version by installing a new binary, software systems could be updated "On-the-fly" during their execution. The authors are developing a software...
Provided by ETH Zurich
-
White Papers
RPython: A Step Towards Reconciling Dynamically and Statically Typed OO Languages
Oct 2007
Although the C-based interpreter of Python is reasonably fast, implementations on the CLI or the JVM platforms offers some advantages in terms of robustness and interoperability. Unfortunately,...
Provided by Association for Computing Machinery
-
White Papers
Exploiting Task Order Information for Optimizing Sequentially Consistent Java Programs
Aug 2011
Java was designed as a secure language that supports running untrusted code as part of trusted applications. For safety reasons, Java therefore defines a memory model that prevents undefined...
Provided by ETH Zurich
-
White Papers
Modular Reasoning About Invariants Over Shared State With Interposed Data Members
Jan 2010
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and thus to confine a...
Provided by Association for Computing Machinery
-
White Papers
Reflective Parallel Programming Extensible and High-Level Control of Runtime, Compiler, and Application Interaction
Apr 2010
Thread support in most languages is opaque and low-level. Primitives like wait and signal do not allow users to determine the relative ordering of statements in different threads in advance. In...
Provided by ETH Zurich
-
White Papers
Dynamically Inferring, Refining, and Checking API Usage Protocols
Oct 2009
Using a set of API methods often requires compliance with a protocol, whose violation can lead to errors in the program. However, most APIs lack explicit and formal definitions of these protocols....
Provided by Association for Computing Machinery
-
White Papers
Programming With Intervals
Sep 2009
Intervals are a new, higher-level primitive for parallel programming with which programmers directly construct the program schedule. Programs using intervals can be statically analyzed to ensure...
Provided by ETH Zurich
-
White Papers
Dynamic Optimization for Efficient Strong Atomicity
Oct 2008
Transactional Memory (TM) is a promising concurrency control alternative to locks. Recent work has highlighted important memory model issues regarding TM semantics and exposed problems in existing...
Provided by Association for Computing Machinery
-
White Papers
Thread Safety Through Partitions and Effect Agreements
Sep 2008
This paper describes a safety analysis for a multithreaded system based upon transactional memory. The analysis guarantees that shared data is always read and written from within a transaction,...
Provided by ETH Zurich
-
White Papers
Annotations for Seamless Aspect-Based Software Evolution
Aug 2008
The authors are developing a dynamic software evolution system that leverages aspect technology to encapsulate software updates. Ideally, an evolution system provides as much automation as...
Provided by ETH Zurich
